Pith Number

pith:GIGG4PXZ

pith:2018:GIGG4PXZ34TVFY3QVB5JUJKTOX

not attested not anchored not stored refs pending

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

Alvin Cheung, Brendan Murphy, Dan Suciu, Jared Roesch, Shumo Chu

arxiv:1802.02229 v3 · 2018-02-06 · cs.DB · cs.PL

Open paper page JSON Open Graph Bundle Merged state Verified badge What is a Pith Number?

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{GIGG4PXZ34TVFY3QVB5JUJKTOX}

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

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints

Receipt and verification

First computed	2026-05-18T00:15:04.995774Z
Builder	pith-number-builder-2026-05-17-v1
Signature	Pith Ed25519 (`pith-v1-2026-05`) · public key
Schema	pith-number/v1.0

Canonical hash

320c6e3ef9df2752e370a87a9a255375efc831d9640bbb76fa829ff1e5c31ee7

Aliases

arxiv: 1802.02229 · arxiv_version: 1802.02229v3 · doi: 10.48550/arxiv.1802.02229 · pith_short_12: GIGG4PXZ34TV · pith_short_16: GIGG4PXZ34TVFY3Q · pith_short_8: GIGG4PXZ

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/GIGG4PXZ34TVFY3QVB5JUJKTOX \
  | 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: 320c6e3ef9df2752e370a87a9a255375efc831d9640bbb76fa829ff1e5c31ee7

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "e210f321a09eb84cb4bc4024458f37263bfe975f1b3edf5f694f45367105e6fe",
    "cross_cats_sorted": [
      "cs.PL"
    ],
    "license": "http://creativecommons.org/licenses/by-nc-sa/4.0/",
    "primary_cat": "cs.DB",
    "submitted_at": "2018-02-06T21:40:50Z",
    "title_canon_sha256": "92aced30ec4282c5b618da009c15ac484cb6fa7b1def5c0101a3dc1ee48d473f"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1802.02229",
    "kind": "arxiv",
    "version": 3
  }
}