pith. sign in
Pith Number

pith:BXP7VM7T

pith:2014:BXP7VM7TCZ4Z7QZNPK32LPJMSK
not attested not anchored not stored refs pending

Proceedings 7th Interaction and Concurrency Experience

Alberto Lluch Lafuente (DTU Compute, Ana Sokolova (University of Salzburg (Austria)), Hugo Torres Vieira (LaSIGE, Ivan Lanese (Focus Team, Technical University of Denmark (Denmark)), University of Bologna/INRIA (Italy)), University of Lisbon (Portugal))

arxiv:1410.7013 v1 · 2014-10-26 · cs.LO · cs.PL · cs.SE

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

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

Canonical hash

0ddffab3f316799fc32d7ab7a5bd2c92ba95eeb3d22f24f0239be1abc485adb7

Aliases

arxiv: 1410.7013 · arxiv_version: 1410.7013v1 · doi: 10.48550/arxiv.1410.7013 · pith_short_12: BXP7VM7TCZ4Z · pith_short_16: BXP7VM7TCZ4Z7QZN · pith_short_8: BXP7VM7T
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/BXP7VM7TCZ4Z7QZNPK32LPJMSK \
  | 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: 0ddffab3f316799fc32d7ab7a5bd2c92ba95eeb3d22f24f0239be1abc485adb7
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "05fcfd689eef41b8bc5e385a658e8ed330d50cfd5ba83db8888dadc9766cb183",
    "cross_cats_sorted": [
      "cs.PL",
      "cs.SE"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2014-10-26T10:49:11Z",
    "title_canon_sha256": "6f774aa7e8dc5879da00a31f01825b0a271e24461bd82f15f405fda605b4a1a1"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1410.7013",
    "kind": "arxiv",
    "version": 1
  }
}