{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:XYDNP4K3IWB3YEKEIP4UXBRRJN","short_pith_number":"pith:XYDNP4K3","canonical_record":{"source":{"id":"1401.6312","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-24T11:13:43Z","cross_cats_sorted":[],"title_canon_sha256":"13e3ed7bb78bc8bbea030cae3c31cc403002e687bc1b20b0b2a7a7771512c9c4","abstract_canon_sha256":"7fef369223dbd13e4a9c4e1fbce1c113e9dc7d722f1d4a825dc978f16702674a"},"schema_version":"1.0"},"canonical_sha256":"be06d7f15b4583bc114443f94b86314b4f934a294ef446f6acf4f694c7e488f0","source":{"kind":"arxiv","id":"1401.6312","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6312","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6312v3","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6312","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"pith_short_12","alias_value":"XYDNP4K3IWB3","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XYDNP4K3IWB3YEKE","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XYDNP4K3","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:XYDNP4K3IWB3YEKEIP4UXBRRJN","target":"record","payload":{"canonical_record":{"source":{"id":"1401.6312","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-24T11:13:43Z","cross_cats_sorted":[],"title_canon_sha256":"13e3ed7bb78bc8bbea030cae3c31cc403002e687bc1b20b0b2a7a7771512c9c4","abstract_canon_sha256":"7fef369223dbd13e4a9c4e1fbce1c113e9dc7d722f1d4a825dc978f16702674a"},"schema_version":"1.0"},"canonical_sha256":"be06d7f15b4583bc114443f94b86314b4f934a294ef446f6acf4f694c7e488f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:29.525703Z","signature_b64":"TpljjRdKgCVdzdlt4ycHf3Xc7AMIdeMqljSVASlJQECEV8CrAkIRPX+r87MffhFPmkJU3pE7meZhy33u0UjECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be06d7f15b4583bc114443f94b86314b4f934a294ef446f6acf4f694c7e488f0","last_reissued_at":"2026-05-18T00:21:29.524957Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:29.524957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.6312","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:21:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aGvBaf984U8DnCzknJdjYc1/F4j19VtpfuvKrlJgXsNPysdlIsTFGJ1FubYBbBsRgsIp8W/SRfOV4FInYxQYCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:35:43.478808Z"},"content_sha256":"b2e8fd1da453a73ae409aedc96e94f42dd7ea64038367030c0262dd9a40fa714","schema_version":"1.0","event_id":"sha256:b2e8fd1da453a73ae409aedc96e94f42dd7ea64038367030c0262dd9a40fa714"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:XYDNP4K3IWB3YEKEIP4UXBRRJN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Predicate Logic as a Modelling Language: The IDP System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bart Bogaerts, Broes De Cat, Gerda Janssens, Marc Denecker, Maurice Bruynooghe","submitted_at":"2014-01-24T11:13:43Z","abstract_excerpt":"With the technology of the time, Kowalski's seminal 1974 paper {\\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the use of the Horn clause logic fragment of classical logic, which was soon extended with negation as failure, on the procedural side the procedural interpretation which made it possible to write algorithms in the formalism.\n  Since then, strong progress was made both on the declarative understanding of the logic programming formalism and in automated reasoning t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6312","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:21:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"phdA4CtwWD7V9ttFXO/i5ZHIC90DNTt9nuxkR1fl2yH+8dGdTfitAsjbbGFxFVeUAP2hotie27bBBOKq5uvPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:35:43.479462Z"},"content_sha256":"afc212c48bdf803d15771a60b3112612104077558948e3a81fa5b0e6974bb05d","schema_version":"1.0","event_id":"sha256:afc212c48bdf803d15771a60b3112612104077558948e3a81fa5b0e6974bb05d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/bundle.json","state_url":"https://pith.science/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T13:35:43Z","links":{"resolver":"https://pith.science/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN","bundle":"https://pith.science/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/bundle.json","state":"https://pith.science/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XYDNP4K3IWB3YEKEIP4UXBRRJN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:XYDNP4K3IWB3YEKEIP4UXBRRJN","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":"7fef369223dbd13e4a9c4e1fbce1c113e9dc7d722f1d4a825dc978f16702674a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-24T11:13:43Z","title_canon_sha256":"13e3ed7bb78bc8bbea030cae3c31cc403002e687bc1b20b0b2a7a7771512c9c4"},"schema_version":"1.0","source":{"id":"1401.6312","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6312","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6312v3","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6312","created_at":"2026-05-18T00:21:29Z"},{"alias_kind":"pith_short_12","alias_value":"XYDNP4K3IWB3","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XYDNP4K3IWB3YEKE","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XYDNP4K3","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:afc212c48bdf803d15771a60b3112612104077558948e3a81fa5b0e6974bb05d","target":"graph","created_at":"2026-05-18T00:21:29Z","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":"With the technology of the time, Kowalski's seminal 1974 paper {\\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It introduced two fundamental ideas: on the declarative side, the use of the Horn clause logic fragment of classical logic, which was soon extended with negation as failure, on the procedural side the procedural interpretation which made it possible to write algorithms in the formalism.\n  Since then, strong progress was made both on the declarative understanding of the logic programming formalism and in automated reasoning t","authors_text":"Bart Bogaerts, Broes De Cat, Gerda Janssens, Marc Denecker, Maurice Bruynooghe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-24T11:13:43Z","title":"Predicate Logic as a Modelling Language: The IDP System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6312","kind":"arxiv","version":3},"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:b2e8fd1da453a73ae409aedc96e94f42dd7ea64038367030c0262dd9a40fa714","target":"record","created_at":"2026-05-18T00:21:29Z","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":"7fef369223dbd13e4a9c4e1fbce1c113e9dc7d722f1d4a825dc978f16702674a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-24T11:13:43Z","title_canon_sha256":"13e3ed7bb78bc8bbea030cae3c31cc403002e687bc1b20b0b2a7a7771512c9c4"},"schema_version":"1.0","source":{"id":"1401.6312","kind":"arxiv","version":3}},"canonical_sha256":"be06d7f15b4583bc114443f94b86314b4f934a294ef446f6acf4f694c7e488f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be06d7f15b4583bc114443f94b86314b4f934a294ef446f6acf4f694c7e488f0","first_computed_at":"2026-05-18T00:21:29.524957Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:29.524957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TpljjRdKgCVdzdlt4ycHf3Xc7AMIdeMqljSVASlJQECEV8CrAkIRPX+r87MffhFPmkJU3pE7meZhy33u0UjECw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:29.525703Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.6312","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2e8fd1da453a73ae409aedc96e94f42dd7ea64038367030c0262dd9a40fa714","sha256:afc212c48bdf803d15771a60b3112612104077558948e3a81fa5b0e6974bb05d"],"state_sha256":"c285ac13d3fde0db4562d1e60cbb60ea835b20a00bcf5e45080a5f1d0dc6bc9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ot5WCQAovCf4/fwRsa3XhXurC0Asy207Ed0XtTNV3l8K8vI0BsEMA8hw2i9Q/zduSarKL9Hz022Hx8Bada6jAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T13:35:43.482708Z","bundle_sha256":"a12aec4e4743288ad5196b6ed38484f04f7a031e94b477e67979d30e0d6cea97"}}