pith. sign in
Pith Number

pith:2T6GBGK7

pith:2013:2T6GBGK7AYHJEM7EZOMYSLTYWP
not attested not anchored not stored refs pending

Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey

Michael Fink, Yuliya Lierler

arxiv:1312.7422 v1 · 2013-12-28 · cs.AI

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{2T6GBGK7AYHJEM7EZOMYSLTYWP}

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

Canonical hash

d4fc60995f060e9233e4cb99892e78b3e7be836c82c95e5139bf892c905496bc

Aliases

arxiv: 1312.7422 · arxiv_version: 1312.7422v1 · doi: 10.48550/arxiv.1312.7422 · pith_short_12: 2T6GBGK7AYHJ · pith_short_16: 2T6GBGK7AYHJEM7E · pith_short_8: 2T6GBGK7
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/2T6GBGK7AYHJEM7EZOMYSLTYWP \
  | 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: d4fc60995f060e9233e4cb99892e78b3e7be836c82c95e5139bf892c905496bc
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "c7dd6dc0259469b11d53f8a4c58c273d093e272a71c597af39319ea07a774879",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.AI",
    "submitted_at": "2013-12-28T11:08:35Z",
    "title_canon_sha256": "dcbbab8a043adde076e35ff8b6a00edeea18bdd9584272ee85ad450f2380b492"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1312.7422",
    "kind": "arxiv",
    "version": 1
  }
}