pith. sign in
Pith Number

pith:DTKGMRPU

pith:2018:DTKGMRPUSAZKMKE4YBDUGLV2A2
not attested not anchored not stored refs pending

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Andreas Solti, Artem Polyvyanyy, Claudio Di Ciccio, Jan Mendling, Matthias Weidlich

arxiv:1812.07334 v2 · 2018-12-18 · cs.FL

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

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

Canonical hash

1cd46645f49032a6289cc047432eba06a949779f5acb3cc2864dcd0eca3dcb9e

Aliases

arxiv: 1812.07334 · arxiv_version: 1812.07334v2 · doi: 10.48550/arxiv.1812.07334 · pith_short_12: DTKGMRPUSAZK · pith_short_16: DTKGMRPUSAZKMKE4 · pith_short_8: DTKGMRPU
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/DTKGMRPUSAZKMKE4YBDUGLV2A2 \
  | 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: 1cd46645f49032a6289cc047432eba06a949779f5acb3cc2864dcd0eca3dcb9e
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "cc105686001dce6dfab832b0295f6b6922552b683209b1e56312d8921b56b088",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.FL",
    "submitted_at": "2018-12-18T12:46:54Z",
    "title_canon_sha256": "e6485c2079895c7a7ea92b5c44ddd1222b51f9acb87c59d46f5e0752399f12e3"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1812.07334",
    "kind": "arxiv",
    "version": 2
  }
}