Pith Number

pith:ZS66ILHU

pith:2021:ZS66ILHU3MZA4NWMLJ7DRFAKIF

not attested not anchored not stored refs pending

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Bernd Finkbeiner, Christopher Hahn, Dennis Dimov, Juli\'an M\'endez, Niklas Metzger, Norine Coenen, Raimund Dachselt, Tamara Flemisch, Tom Horak

arxiv:2108.03698 v1 · 2021-08-08 · cs.HC · 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{ZS66ILHU3MZA4NWMLJ7DRFAKIF}

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

Canonical hash

ccbde42cf4db320e36cc5a7e38940a414f478dfccdc99c055647257f9c67b2f4

Aliases

arxiv: 2108.03698 · arxiv_version: 2108.03698v1 · doi: 10.48550/arxiv.2108.03698 · pith_short_12: ZS66ILHU3MZA · pith_short_16: ZS66ILHU3MZA4NWM · pith_short_8: ZS66ILHU

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/ZS66ILHU3MZA4NWMLJ7DRFAKIF \
  | 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: ccbde42cf4db320e36cc5a7e38940a414f478dfccdc99c055647257f9c67b2f4

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "a763ffda62bf20986a9e6debe1d552d315a2eece03d42ad44eaf3ae6de1f5595",
    "cross_cats_sorted": [
      "cs.LO"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.HC",
    "submitted_at": "2021-08-08T17:59:13Z",
    "title_canon_sha256": "b5efc3c71a9e8b23eb71acf9d553aad8f7bbb50f4935161e966a0e19c639490b"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2108.03698",
    "kind": "arxiv",
    "version": 1
  }
}