pith. sign in
Pith Number

pith:HAAWEI7Q

pith:2025:HAAWEI7Q44MJ7Z3STVWOKHG2Z2
not attested not anchored not stored refs pending

An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints

Corinna Wambsganz, Dirk Nowotka, Klaus Jansen, Lis Pirotton, Max Wiedenh\"oft

arxiv:2512.07476 v3 · 2025-12-08 · cs.FL · cs.CC · math.CO

Add to your LaTeX paper
\usepackage{pith}
\pithnumber{HAAWEI7Q44MJ7Z3STVWOKHG2Z2}

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

Canonical hash

38016223f0e7189fe7729d6ce51cdace95a07ebdb837a8429edb2243c14e3448

Aliases

arxiv: 2512.07476 · arxiv_version: 2512.07476v3 · doi: 10.48550/arxiv.2512.07476 · pith_short_12: HAAWEI7Q44MJ · pith_short_16: HAAWEI7Q44MJ7Z3S · pith_short_8: HAAWEI7Q
Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/HAAWEI7Q44MJ7Z3STVWOKHG2Z2 \
  | 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: 38016223f0e7189fe7729d6ce51cdace95a07ebdb837a8429edb2243c14e3448
Canonical record JSON
{
  "metadata": {
    "abstract_canon_sha256": "e8f92ed1dd864b0642a7071626d2ce8c68d51ef5a391e59497afbbc9ae5c1449",
    "cross_cats_sorted": [
      "cs.CC",
      "math.CO"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "primary_cat": "cs.FL",
    "submitted_at": "2025-12-08T11:59:02Z",
    "title_canon_sha256": "e70f77937f7b76523c542b93ae555db41efd2e904c0ca90081e87a69c0eebf67"
  },
  "schema_version": "1.0",
  "source": {
    "id": "2512.07476",
    "kind": "arxiv",
    "version": 3
  }
}