pith. sign in
Pith Number

pith:ZOCGQZD5

pith:2017:ZOCGQZD552R2Z2T2H5DY6XA6XF
not attested not anchored not stored refs pending

Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis

Austria), France), Georg Moser (Universit\"at Innsbruck, Guillaume Bonfante (Universit\'e de Lorraine

arxiv:1704.05169 v1 · 2017-04-18 · cs.LO · cs.CC · cs.PL · cs.SE

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

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

Canonical hash

cb8468647deea3acea7a3f478f5c1eb95afa120548b71324678b3a5f96c49bcd

Aliases

arxiv: 1704.05169 · arxiv_version: 1704.05169v1 · doi: 10.48550/arxiv.1704.05169 · pith_short_12: ZOCGQZD552R2 · pith_short_16: ZOCGQZD552R2Z2T2 · pith_short_8: ZOCGQZD5
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/ZOCGQZD552R2Z2T2H5DY6XA6XF \
  | 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: cb8468647deea3acea7a3f478f5c1eb95afa120548b71324678b3a5f96c49bcd
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "c27ba2530078d9ac41c10b517a5dea2dc985759025e01a0fa24d210c0e96453f",
    "cross_cats_sorted": [
      "cs.CC",
      "cs.PL",
      "cs.SE"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2017-04-18T01:52:49Z",
    "title_canon_sha256": "67640ad1bee2f125778f4718702a09e9437f964e53e37b4bf135a4cd32c43154"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1704.05169",
    "kind": "arxiv",
    "version": 1
  }
}