pith. sign in
Pith Number

pith:IACQU3OF

pith:2015:IACQU3OFRCPWZBHMSBER7IQZM3
not attested not anchored not stored refs pending

Abstract Model Repair

Borzoo Bonakdarpour (University of Waterloo, Canada), George Chatzieleftheriou (Aristotle University of Thessaloniki, Greece), NY, Panagiotis Katsaros (Aristotle University of Thessaloniki, Scott A. Smolka (Stony Brook University, USA)

arxiv:1506.06165 v2 · 2015-06-19 · cs.LO

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{IACQU3OFRCPWZBHMSBER7IQZM3}

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-18T00:53:09.032210Z
Builder pith-number-builder-2026-05-17-v1
Signature Pith Ed25519 (pith-v1-2026-05) · public key
Schema pith-number/v1.0

Canonical hash

40050a6dc5889f6c84ec90491fa21966d6c9c1a2ed8e3daf1873a9f5f5df902d

Aliases

arxiv: 1506.06165 · arxiv_version: 1506.06165v2 · doi: 10.48550/arxiv.1506.06165 · pith_short_12: IACQU3OFRCPW · pith_short_16: IACQU3OFRCPWZBHM · pith_short_8: IACQU3OF
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/IACQU3OFRCPWZBHMSBER7IQZM3 \
  | 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: 40050a6dc5889f6c84ec90491fa21966d6c9c1a2ed8e3daf1873a9f5f5df902d
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "8df9e15e87df6c67bcab4ca0bc957005c7924cb0f966d607fecafa531cd69177",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2015-06-19T21:44:05Z",
    "title_canon_sha256": "2af0fbcd0960ed7a6c263228150f0a1632c620cfb8053483912c0f07a35a31cb"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1506.06165",
    "kind": "arxiv",
    "version": 2
  }
}