{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VNU6GOODII4KKHBTVZDPP5JDYZ","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":"687ecf0ff5c00f2f7ee189560f33054f0f272a870744559b4097a25efe54f2ed","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-03-04T18:50:49Z","title_canon_sha256":"85b1255a17d9ca37c47811089de57a7eb09810d7933a8d8ca14685f01cff2c74"},"schema_version":"1.0","source":{"id":"1503.01412","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.01412","created_at":"2026-05-18T02:25:34Z"},{"alias_kind":"arxiv_version","alias_value":"1503.01412v1","created_at":"2026-05-18T02:25:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.01412","created_at":"2026-05-18T02:25:34Z"},{"alias_kind":"pith_short_12","alias_value":"VNU6GOODII4K","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VNU6GOODII4KKHBT","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VNU6GOOD","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:d33adb43676346c9b501cce43c1030ee636a9c118153d306d8765ec0829a24e0","target":"graph","created_at":"2026-05-18T02:25:34Z","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":"Herbrand's Fundamental Theorem provides a constructive characterization of derivability in first-order predicate logic by means of sentential logic. Sometimes it is simply called \"Herbrand's Theorem\", but the longer name is preferable as there are other important \"Herbrand theorems\" and Herbrand himself called it \"Th\\'eor\\`eme fondamental\". It was ranked by Bernays [1957] as follows: \"In its proof-theoretic form, Herbrand's Theorem can be seen as the central theorem of predicate logic. It expresses the relation of predicate logic to propositional logic in a concise and felicitous form.\" And by","authors_text":"Claus-Peter Wirth","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-03-04T18:50:49Z","title":"Herbrand's Fundamental Theorem - an encyclopedia article"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.01412","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:7641f36507d0affbbeef60962ba44ce2bb99ecb6c33ec441519bb7fc84a796e7","target":"record","created_at":"2026-05-18T02:25:34Z","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":"687ecf0ff5c00f2f7ee189560f33054f0f272a870744559b4097a25efe54f2ed","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-03-04T18:50:49Z","title_canon_sha256":"85b1255a17d9ca37c47811089de57a7eb09810d7933a8d8ca14685f01cff2c74"},"schema_version":"1.0","source":{"id":"1503.01412","kind":"arxiv","version":1}},"canonical_sha256":"ab69e339c34238a51c33ae46f7f523c67197bfa3b11787e72d88da01171db086","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab69e339c34238a51c33ae46f7f523c67197bfa3b11787e72d88da01171db086","first_computed_at":"2026-05-18T02:25:34.597985Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:25:34.597985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eOC72Uw2CyKANnkWbNhAnD9w/oX+tPAG62DpCVUmGD9K3KLv7CAUVmhjnUSTJJFcAa7mpQEcbhYbqNGkmGueAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:25:34.598444Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.01412","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7641f36507d0affbbeef60962ba44ce2bb99ecb6c33ec441519bb7fc84a796e7","sha256:d33adb43676346c9b501cce43c1030ee636a9c118153d306d8765ec0829a24e0"],"state_sha256":"738df5da69d568a0a30e3fadcb836856689bda407d324ba235f896e11c0d71d0"}