Pith Number

pith:SZBV4ASW

pith:2013:SZBV4ASWTDLRR5GKDIUJ726H7C

not attested not anchored not stored refs pending

Relation lifting, with an application to the many-valued cover modality

Academy of Sciences of the Czech Republic), Alexander Kurz (University of Leicester, Czech R), Czech Technical University in Prague, Daniela Petrisan (University of Leicester, Jiri Velebil (Faculty of Electrical Engineering, Marta Bilkova (Institute of Computer Science, UK)

arxiv:1307.4682 v3 · 2013-07-17 · 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{SZBV4ASWTDLRR5GKDIUJ726H7C}

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

Canonical hash

96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43

Aliases

arxiv: 1307.4682 · arxiv_version: 1307.4682v3 · doi: 10.48550/arxiv.1307.4682 · pith_short_12: SZBV4ASWTDLR · pith_short_16: SZBV4ASWTDLRR5GK · pith_short_8: SZBV4ASW

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/SZBV4ASWTDLRR5GKDIUJ726H7C \
  | 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: 96435e025698d718f4ca1a289febc7f8a08fa0652c65ce204636c89db555fc43

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "af6b71842f34d612cf19a43bd2cef175e43d958fa775de9b96b9022a543b030d",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2013-07-17T15:59:12Z",
    "title_canon_sha256": "8d0f0a6fab15787bc0bddc2de9c50795da903d2f35e53e99e6a188493bc4692b"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1307.4682",
    "kind": "arxiv",
    "version": 3
  }
}