{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YCNZAOZJ6CX2LHFGQLUAAQJTZW","short_pith_number":"pith:YCNZAOZJ","canonical_record":{"source":{"id":"1809.05771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-15T21:18:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ee7ccc4a4971b1c54dcc9128cff3f4356cb7579916230db238bd4e83eb0842af","abstract_canon_sha256":"07369bfde012783fdef82edf455ba8966f2a9cd2c0b468c65b9017a1a38d9205"},"schema_version":"1.0"},"canonical_sha256":"c09b903b29f0afa59ca682e8004133cd8cb0da71f65809f01d6934fe9f177806","source":{"kind":"arxiv","id":"1809.05771","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.05771","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"1809.05771v1","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.05771","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"YCNZAOZJ6CX2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YCNZAOZJ6CX2LHFG","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YCNZAOZJ","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YCNZAOZJ6CX2LHFGQLUAAQJTZW","target":"record","payload":{"canonical_record":{"source":{"id":"1809.05771","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-15T21:18:26Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ee7ccc4a4971b1c54dcc9128cff3f4356cb7579916230db238bd4e83eb0842af","abstract_canon_sha256":"07369bfde012783fdef82edf455ba8966f2a9cd2c0b468c65b9017a1a38d9205"},"schema_version":"1.0"},"canonical_sha256":"c09b903b29f0afa59ca682e8004133cd8cb0da71f65809f01d6934fe9f177806","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:36.550169Z","signature_b64":"mxFOC5FjhxvpngPBCbKsqzx/rqVIPQjHZXn48TBUV6wzEkKZiNOcnQrI0rVGYEpsa3o4T81KDpxCZt/NXRCeDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c09b903b29f0afa59ca682e8004133cd8cb0da71f65809f01d6934fe9f177806","last_reissued_at":"2026-05-18T00:05:36.549761Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:36.549761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.05771","source_version":1,"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:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ZaUqg16af8Skfc+rFU16VYYokMRvROOzigf8ABLVveg5SFErvy1NUbkSyCv+epe3RGV5qTcHai+vkSma7hcAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:29:46.773252Z"},"content_sha256":"d1586094f02775d6d77237d7bc76608d9df00a2cf36645acd6708e3dc36d9d13","schema_version":"1.0","event_id":"sha256:d1586094f02775d6d77237d7bc76608d9df00a2cf36645acd6708e3dc36d9d13"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YCNZAOZJ6CX2LHFGQLUAAQJTZW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Description, Implementation, and Evaluation of a Generic Design for Tabled CLP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Joaqu\\'in Arias, Manuel Carro","submitted_at":"2018-09-15T21:18:26Z","abstract_excerpt":"Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP + tabling. Previous designs of TCLP systems did not fully use entailment to determine call / answer subsumption and did not provide a simple and well-documented interface to facilitate the integration of constraint solvers in existing tabling systems. We study the role of projection and entailment in the termination, soundness and completeness of TCLP systems, and present the design and an experimental evaluation of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.05771","kind":"arxiv","version":1},"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:05:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uuc9Q4x1dfml6ujItOv/xKziMSoN/xJWg7ub3ItRc/UGpZ4wycWq9N3sz6dy62h22yqOFjhUIJTUO+i3LBVyCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:29:46.773812Z"},"content_sha256":"053ba7e624d68f25e84e615035d173e256cc90c56fc7855996b482a37f847c67","schema_version":"1.0","event_id":"sha256:053ba7e624d68f25e84e615035d173e256cc90c56fc7855996b482a37f847c67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/bundle.json","state_url":"https://pith.science/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/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-06-05T07:29:46Z","links":{"resolver":"https://pith.science/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW","bundle":"https://pith.science/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/bundle.json","state":"https://pith.science/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YCNZAOZJ6CX2LHFGQLUAAQJTZW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YCNZAOZJ6CX2LHFGQLUAAQJTZW","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":"07369bfde012783fdef82edf455ba8966f2a9cd2c0b468c65b9017a1a38d9205","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-15T21:18:26Z","title_canon_sha256":"ee7ccc4a4971b1c54dcc9128cff3f4356cb7579916230db238bd4e83eb0842af"},"schema_version":"1.0","source":{"id":"1809.05771","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.05771","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"arxiv_version","alias_value":"1809.05771v1","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.05771","created_at":"2026-05-18T00:05:36Z"},{"alias_kind":"pith_short_12","alias_value":"YCNZAOZJ6CX2","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YCNZAOZJ6CX2LHFG","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YCNZAOZJ","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:053ba7e624d68f25e84e615035d173e256cc90c56fc7855996b482a37f847c67","target":"graph","created_at":"2026-05-18T00:05:36Z","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":"Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and in some cases more efficient than LP, CLP or LP + tabling. Previous designs of TCLP systems did not fully use entailment to determine call / answer subsumption and did not provide a simple and well-documented interface to facilitate the integration of constraint solvers in existing tabling systems. We study the role of projection and entailment in the termination, soundness and completeness of TCLP systems, and present the design and an experimental evaluation of ","authors_text":"Joaqu\\'in Arias, Manuel Carro","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-15T21:18:26Z","title":"Description, Implementation, and Evaluation of a Generic Design for Tabled CLP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.05771","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:d1586094f02775d6d77237d7bc76608d9df00a2cf36645acd6708e3dc36d9d13","target":"record","created_at":"2026-05-18T00:05:36Z","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":"07369bfde012783fdef82edf455ba8966f2a9cd2c0b468c65b9017a1a38d9205","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-15T21:18:26Z","title_canon_sha256":"ee7ccc4a4971b1c54dcc9128cff3f4356cb7579916230db238bd4e83eb0842af"},"schema_version":"1.0","source":{"id":"1809.05771","kind":"arxiv","version":1}},"canonical_sha256":"c09b903b29f0afa59ca682e8004133cd8cb0da71f65809f01d6934fe9f177806","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c09b903b29f0afa59ca682e8004133cd8cb0da71f65809f01d6934fe9f177806","first_computed_at":"2026-05-18T00:05:36.549761Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:36.549761Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mxFOC5FjhxvpngPBCbKsqzx/rqVIPQjHZXn48TBUV6wzEkKZiNOcnQrI0rVGYEpsa3o4T81KDpxCZt/NXRCeDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:36.550169Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.05771","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d1586094f02775d6d77237d7bc76608d9df00a2cf36645acd6708e3dc36d9d13","sha256:053ba7e624d68f25e84e615035d173e256cc90c56fc7855996b482a37f847c67"],"state_sha256":"429e5e0ecb897894bfb816b88b43881d007b4311e8a5ae0d7d028a7f17c0bda9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Z8YSdvZ99nh6FRuFzrgT3J15mo5vFlUMbTM8hF8GCOjnasdM8S/UeJ3yftThmKj5gHO+gW7AxDQ+wcoMpoKAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T07:29:46.776639Z","bundle_sha256":"b5a5cf5be0d64d02dc957abb63d8b0161983e16e60061654e48c6027795e9cbb"}}