Pith Number

pith:SKIN7YFM

pith:2013:SKIN7YFMAZ4Q6TFVWWVM52VLHO

not attested not anchored not stored refs pending

Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3

Anthony Labarre, Bart Bogaerts, Broes De Cat, Hendrik Blockeel, Jan Ramon, Joachim Jansen, Marc Denecker, Maurice Bruynooghe, Sicco Verwer, Stef De Pooter

arxiv:1309.6883 v2 · 2013-09-26 · cs.LO · cs.AI

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

Add to your LaTeX paper

\usepackage{pith}
\pithnumber{SKIN7YFMAZ4Q6TFVWWVM52VLHO}

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

Canonical hash

9290dfe0ac06790f4cb5b5aaceeaab3b829858837adf5da491e09af26342e14d

Aliases

arxiv: 1309.6883 · arxiv_version: 1309.6883v2 · doi: 10.48550/arxiv.1309.6883 · pith_short_12: SKIN7YFMAZ4Q · pith_short_16: SKIN7YFMAZ4Q6TFV · pith_short_8: SKIN7YFM

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/SKIN7YFMAZ4Q6TFVWWVM52VLHO \
  | 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: 9290dfe0ac06790f4cb5b5aaceeaab3b829858837adf5da491e09af26342e14d

Canonical record JSON

{
  "metadata": {
    "abstract_canon_sha256": "7eafdd455c5da7494c8a1e035f05b7accbf4547ba406c5edf280ef7e97969840",
    "cross_cats_sorted": [
      "cs.AI"
    ],
    "license": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
    "primary_cat": "cs.LO",
    "submitted_at": "2013-09-26T13:18:05Z",
    "title_canon_sha256": "0575d87cb395e9f51d0e38152315598924b299de573fea3973d9dacf566d0763"
  },
  "schema_version": "1.0",
  "source": {
    "id": "1309.6883",
    "kind": "arxiv",
    "version": 2
  }
}