Pith Number

pith:WNT4BI5Q

pith:2020:WNT4BI5QDRGQYG7GN4G37XJFSA

not attested not anchored not stored refs pending

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

Cambridge), Clare Hall, Grant Passmore (Imandra, Inc., Ruben Gamboa (University of Wyoming)

arxiv:2009.12521 v1 · 2020-09-26 · cs.LO · cs.AI

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{WNT4BI5QDRGQYG7GN4G37XJFSA}

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-07-05T01:38:06.000821Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

b367c0a3b01c4d0c1be66f0dbfdd25902aed010607afc4ec0541a28739c55bf2

Aliases

arxiv: 2009.12521 · arxiv_version: 2009.12521v1 · doi: 10.48550/arxiv.2009.12521 · pith_short_12: WNT4BI5QDRGQ · pith_short_16: WNT4BI5QDRGQYG7G · pith_short_8: WNT4BI5Q

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/WNT4BI5QDRGQYG7GN4G37XJFSA \
  | 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: b367c0a3b01c4d0c1be66f0dbfdd25902aed010607afc4ec0541a28739c55bf2

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "ecacb4245cc61b9b6eca1f7e3c52413afe25e7bef6aa372600fcbfea9106a2fd",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2020-09-26T05:19:33Z",
    "title_canon_sha256": "d0d45b2507775256b9d7b21362d0cdbceab2c1fc2ae5c585aed319b609423864"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2009.12521",
    "kind": "arxiv",
    "version": 1
  }
}