Pith Number

pith:UK2W43GC

pith:2016:UK2W43GCPNUUGRNBTDNLSSAF6Y

not attested not anchored not stored refs pending

Proceedings of the Fourth International Workshop on Verification and Program Transformation

Alexei Lisitsa (The University of Liverpool, Andrei P. Nemytykh (Program Systems Institute of RAS, Geoff Hamilton (Dublin City University, Republic of Ireland), Russia), UK)

arxiv:1607.01835 v1 · 2016-07-06 · cs.PL · cs.SE

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{UK2W43GCPNUUGRNBTDNLSSAF6Y}

Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge

Record completeness

1 Bitcoin timestamp

2 Internet Archive

3 Author claim open · sign in to claim

4 Citations open

5 Replications open

✓ Portable graph bundle live · download bundle · merged state

The bundle contains the canonical record plus signed events. A mirror can host it anywhere and recompute the same current state with the deterministic merge algorithm.

Receipt and verification

First computed	2026-05-18T01:11:23.162305Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49

Aliases

arxiv: 1607.01835 · arxiv_version: 1607.01835v1 · doi: 10.48550/arxiv.1607.01835 · pith_short_12: UK2W43GCPNUU · pith_short_16: UK2W43GCPNUUGRNB · pith_short_8: UK2W43GC

Agent API

Resolver JSON Graph JSON Events JSON Schema Signing key

Verify this Pith Number yourself

curl -sH 'Accept: application/ld+json' https://pith.science/pith/UK2W43GCPNUUGRNBTDNLSSAF6Y \
  | jq -c '.canonical_record' \
  | python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: a2b56e6cc27b694345a198dab94805f632ba175931ff2f0a3b4b663b0c3d0f49

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "6c9811d351384f2c575696b137ebb86327766594f24e1705be4e2a775a2db758",
    "cross_cats_sorted": [
      "cs.SE"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.PL",
    "submitted_at": "2016-07-06T22:46:53Z",
    "title_canon_sha256": "9e2e62b4be94252069ac6a8b0b353d4d3ebf7011a6ee5b11b5db6afa8a2df506"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1607.01835",
    "kind": "arxiv",
    "version": 1
  }
}