{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:KLPNCK47XW3KAQISJQDMLOGB7K","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0c94a089a10f88f72e0e4b36c5bc97f25472b545daa1699a5603429850a9ea2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:24:21Z","title_canon_sha256":"769f6e0bd6199b0aa4a556bf7af2ebbe66b286c1350b122bd5f5fceeb0107016"},"schema_version":"1.0","source":{"id":"1112.3782","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.3782","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"arxiv_version","alias_value":"1112.3782v1","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.3782","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"pith_short_12","alias_value":"KLPNCK47XW3K","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_16","alias_value":"KLPNCK47XW3KAQIS","created_at":"2026-05-18T12:26:32Z"},{"alias_kind":"pith_short_8","alias_value":"KLPNCK47","created_at":"2026-05-18T12:26:32Z"}],"graph_snapshots":[{"event_id":"sha256:6fe0b3bda3ed6c46170e439ccd436d4c3d9d06f25b10d7d77124fcc145b289b3","target":"graph","created_at":"2026-05-18T04:06:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"e use Prolog as a flexible meta-language to provide executable specifications of some fundamental mathematical objects and their transformations. In the process, isomorphisms are unraveled between natural numbers and combinatorial objects (rooted ordered trees representing hereditarily finite sequences and rooted ordered binary trees representing G\\\"odel's System {\\bf T} types).\n  This paper focuses on an application that can be seen as an unexpected \"paradigm shift\": we provide recursive definitions showing that the resulting representations are directly usable to perform symbolically arbitra","authors_text":"Paul Tarau","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:24:21Z","title":"Computing with Hereditarily Finite Sequences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.3782","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3002623f121022573188fc5629a82d378aee34f26af23dd851da4c4a63b04f50","target":"record","created_at":"2026-05-18T04:06:08Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0c94a089a10f88f72e0e4b36c5bc97f25472b545daa1699a5603429850a9ea2e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:24:21Z","title_canon_sha256":"769f6e0bd6199b0aa4a556bf7af2ebbe66b286c1350b122bd5f5fceeb0107016"},"schema_version":"1.0","source":{"id":"1112.3782","kind":"arxiv","version":1}},"canonical_sha256":"52ded12b9fbdb6a041124c06c5b8c1fabe3660a9bc5bd6e507aa9fee81110fb1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"52ded12b9fbdb6a041124c06c5b8c1fabe3660a9bc5bd6e507aa9fee81110fb1","first_computed_at":"2026-05-18T04:06:08.798565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:06:08.798565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e0z92Nw5LfwqNOW3E1hnQvR07xJENeA8zhR939aZGMDQ4vQstg4x895MdrseRxzhF7IfQxVv+c0a5xhCvH2OCA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:06:08.799097Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.3782","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3002623f121022573188fc5629a82d378aee34f26af23dd851da4c4a63b04f50","sha256:6fe0b3bda3ed6c46170e439ccd436d4c3d9d06f25b10d7d77124fcc145b289b3"],"state_sha256":"3122a6916c69fe338ad9efe06fc219a30ad8bb19d3dcc4dfa7015008f40293de"}