Pith Number

pith:EIYRXM7E

pith:2019:EIYRXM7E44NSE5RKCC6ZGLW22G

not attested not anchored not stored refs pending

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Adam Walker, Ayrat Khalimov, Bernd Finkbeiner, Felix Klein, Leander Tentrup, Maximilien Colange, Michael Luttenberger, Mouhammad Sakr, Peter Faymonville, Philipp J. Meyer, Roderick Bloem, Salomon Sickert, Swen Jacobs, Thibaud Michaud

arxiv:1904.07736 v1 · 2019-04-15 · 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{EIYRXM7E44NSE5RKCC6ZGLW22G}

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.

Cited by

1 paper in Pith

Partial Solvers for Generalized Parity Games

Receipt and verification

First computed	2026-05-17T23:48:24.347538Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

22311bb3e4e71b22762a10bd932edad19b9dfd71365d9ecded5691fe171d15e8

Aliases

arxiv: 1904.07736 · arxiv_version: 1904.07736v1 · doi: 10.48550/arxiv.1904.07736 · pith_short_12: EIYRXM7E44NS · pith_short_16: EIYRXM7E44NSE5RK · pith_short_8: EIYRXM7E

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/EIYRXM7E44NSE5RKCC6ZGLW22G \
  | 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: 22311bb3e4e71b22762a10bd932edad19b9dfd71365d9ecded5691fe171d15e8

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "0dcc692441c61f9463a404438a3480415a0b7ed577843c6ef6e4098fa1a4224c",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2019-04-15T09:36:53Z",
    "title_canon_sha256": "2ed4107dd6c03e175f1c562c7a3fbc8690293ac46aa043d15e9201b2177854a5"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1904.07736",
    "kind": "arxiv",
    "version": 1
  }
}