Pith Number

pith:MKYVSCJS

pith:2010:MKYVSCJSSXMO2VXUKEEBJ7MXFM

not attested not anchored not stored refs pending

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Ecole polytechnique, France), James McKinna (Radboud University, Nijmegen, Roy Dyckhoff (School of Computer Science, Scotland), St\'ephane Jean Eric Lengrand (CNRS, the Netherlands), University of St Andrews

arxiv:1012.3372 v2 · 2010-12-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{MKYVSCJSSXMO2VXUKEEBJ7MXFM}

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

Canonical hash

62b159093295d8ed56f4510814fd972b04e58d4e749b43503697f6949df30d83

Aliases

arxiv: 1012.3372 · arxiv_version: 1012.3372v2 · doi: 10.48550/arxiv.1012.3372 · pith_short_12: MKYVSCJSSXMO · pith_short_16: MKYVSCJSSXMO2VXU · pith_short_8: MKYVSCJS

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/MKYVSCJSSXMO2VXUKEEBJ7MXFM \
  | 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: 62b159093295d8ed56f4510814fd972b04e58d4e749b43503697f6949df30d83

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "1b749f1c75e59eb2dbb4ee987143b7ece5c3dd4f740e72a22d94abd5e763c834",
    "cross_cats_sorted": [],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2010-12-15T16:04:02Z",
    "title_canon_sha256": "a82e110ea121909c260d54c873d6b86434ba8bc57a86f7d06132593aa0960908"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1012.3372",
    "kind": "arxiv",
    "version": 2
  }
}