Pith Number

pith:XDBPFJ3D

pith:2014:XDBPFJ3DQX57HKFJPQZUUVDLEB

not attested not anchored not stored refs pending

Cost Preserving Bisimulations for Probabilistic Automata

Andrea Turrini (State Key Laboratory of Computer Science, Beijing, China), Chinese Academy of Sciences, Germany), Holger Hermanns (Saarland University -- Computer Science, Institute of Software, Saarbruecken

arxiv:1410.8314 v3 · 2014-10-30 · cs.FL · cs.LO

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{XDBPFJ3DQX57HKFJPQZUUVDLEB}

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

Canonical hash

b8c2f2a76385fbf3a8a97c334a546b207d74ad2b8b7076d4341ac61823482cd8

Aliases

arxiv: 1410.8314 · arxiv_version: 1410.8314v3 · doi: 10.48550/arxiv.1410.8314 · pith_short_12: XDBPFJ3DQX57 · pith_short_16: XDBPFJ3DQX57HKFJ · pith_short_8: XDBPFJ3D

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/XDBPFJ3DQX57HKFJPQZUUVDLEB \
  | 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: b8c2f2a76385fbf3a8a97c334a546b207d74ad2b8b7076d4341ac61823482cd8

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "4c85d0209d75bc8e0065f75f0e51ed01c688ad6e2644cf60f63ee0c5418b2c10",
    "cross_cats_sorted": [
      "cs.LO"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.FL",
    "submitted_at": "2014-10-30T10:26:58Z",
    "title_canon_sha256": "5ce574f6f0426b9035812e3d20d5200dcffa3fd70be57722d683d5cef586e762"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1410.8314",
    "kind": "arxiv",
    "version": 3
  }
}