{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GXTPSND3BZME7GMG43SOL4VAZW","short_pith_number":"pith:GXTPSND3","canonical_record":{"source":{"id":"1009.2178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-11T14:56:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e3c6edbab7e66900d48b797132a330a43e2cb6de6b120b13abf654cbfca120d5","abstract_canon_sha256":"b30abe131a3be12174344e7a46c75aecdde80dc32da8ec586cb39336e1ba8d0e"},"schema_version":"1.0"},"canonical_sha256":"35e6f9347b0e584f9986e6e4e5f2a0cd8c3f917d4db9abb8af8a18bd9a666efc","source":{"kind":"arxiv","id":"1009.2178","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.2178","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"arxiv_version","alias_value":"1009.2178v1","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.2178","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"pith_short_12","alias_value":"GXTPSND3BZME","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GXTPSND3BZME7GMG","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GXTPSND3","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GXTPSND3BZME7GMG43SOL4VAZW","target":"record","payload":{"canonical_record":{"source":{"id":"1009.2178","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-11T14:56:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e3c6edbab7e66900d48b797132a330a43e2cb6de6b120b13abf654cbfca120d5","abstract_canon_sha256":"b30abe131a3be12174344e7a46c75aecdde80dc32da8ec586cb39336e1ba8d0e"},"schema_version":"1.0"},"canonical_sha256":"35e6f9347b0e584f9986e6e4e5f2a0cd8c3f917d4db9abb8af8a18bd9a666efc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:04.667229Z","signature_b64":"cwpKHsc5yh9R913e+S+WZAb2uNgfiUSTTHLA9FSUR+HP7u0mHXoQYtQcqWoYdCO7ZwKJ/dJ0Su9eG/hqpV6vCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35e6f9347b0e584f9986e6e4e5f2a0cd8c3f917d4db9abb8af8a18bd9a666efc","last_reissued_at":"2026-05-18T04:41:04.666848Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:04.666848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1009.2178","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-18T04:41:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nZUX0o2P07hWUu1EP8q/FO8kcJIldnXjtBUucuK5bNkR3Lh9lbjj3a93hqxHDs6f3KAYTgfsUBJeffVvm9PGBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T09:24:19.556988Z"},"content_sha256":"45206af0197ab5f9fb5d912334d0bcfe0ebff69b8a310494bcda536968bfa05e","schema_version":"1.0","event_id":"sha256:45206af0197ab5f9fb5d912334d0bcfe0ebff69b8a310494bcda536968bfa05e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GXTPSND3BZME7GMG43SOL4VAZW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simplifying Negative Goals Using Typed Existence Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"John G. Cleary, Lunjin Lu","submitted_at":"2010-09-11T14:56:36Z","abstract_excerpt":"A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of functional dependencies in that an input value maps to a fixed number of output values. Types are used to specify the domains of the input and output values. An implementation of the simplification method is presented and its complexity is analyzed. A key algorithm of the implementation checks if an atom in a negative goal can be extracted using a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.2178","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-18T04:41:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jHzNIOhszCcizlgA5TGuy01uEr6LiSF/2hZgZEH7XVLbJSpWfY/OtZQrrt1xKUP69sVmbb4++6bXrKd+JmagBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T09:24:19.557345Z"},"content_sha256":"f4da77f95e9dd0ce4916b59fd017bfdfb6142234beccd5a53e1fad3031f83022","schema_version":"1.0","event_id":"sha256:f4da77f95e9dd0ce4916b59fd017bfdfb6142234beccd5a53e1fad3031f83022"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GXTPSND3BZME7GMG43SOL4VAZW/bundle.json","state_url":"https://pith.science/pith/GXTPSND3BZME7GMG43SOL4VAZW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GXTPSND3BZME7GMG43SOL4VAZW/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-22T09:24:19Z","links":{"resolver":"https://pith.science/pith/GXTPSND3BZME7GMG43SOL4VAZW","bundle":"https://pith.science/pith/GXTPSND3BZME7GMG43SOL4VAZW/bundle.json","state":"https://pith.science/pith/GXTPSND3BZME7GMG43SOL4VAZW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GXTPSND3BZME7GMG43SOL4VAZW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GXTPSND3BZME7GMG43SOL4VAZW","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":"b30abe131a3be12174344e7a46c75aecdde80dc32da8ec586cb39336e1ba8d0e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-11T14:56:36Z","title_canon_sha256":"e3c6edbab7e66900d48b797132a330a43e2cb6de6b120b13abf654cbfca120d5"},"schema_version":"1.0","source":{"id":"1009.2178","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1009.2178","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"arxiv_version","alias_value":"1009.2178v1","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.2178","created_at":"2026-05-18T04:41:04Z"},{"alias_kind":"pith_short_12","alias_value":"GXTPSND3BZME","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GXTPSND3BZME7GMG","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GXTPSND3","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:f4da77f95e9dd0ce4916b59fd017bfdfb6142234beccd5a53e1fad3031f83022","target":"graph","created_at":"2026-05-18T04:41:04Z","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":"A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of functional dependencies in that an input value maps to a fixed number of output values. Types are used to specify the domains of the input and output values. An implementation of the simplification method is presented and its complexity is analyzed. A key algorithm of the implementation checks if an atom in a negative goal can be extracted using a ","authors_text":"John G. Cleary, Lunjin Lu","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-11T14:56:36Z","title":"Simplifying Negative Goals Using Typed Existence Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.2178","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:45206af0197ab5f9fb5d912334d0bcfe0ebff69b8a310494bcda536968bfa05e","target":"record","created_at":"2026-05-18T04:41:04Z","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":"b30abe131a3be12174344e7a46c75aecdde80dc32da8ec586cb39336e1ba8d0e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-09-11T14:56:36Z","title_canon_sha256":"e3c6edbab7e66900d48b797132a330a43e2cb6de6b120b13abf654cbfca120d5"},"schema_version":"1.0","source":{"id":"1009.2178","kind":"arxiv","version":1}},"canonical_sha256":"35e6f9347b0e584f9986e6e4e5f2a0cd8c3f917d4db9abb8af8a18bd9a666efc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35e6f9347b0e584f9986e6e4e5f2a0cd8c3f917d4db9abb8af8a18bd9a666efc","first_computed_at":"2026-05-18T04:41:04.666848Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:04.666848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cwpKHsc5yh9R913e+S+WZAb2uNgfiUSTTHLA9FSUR+HP7u0mHXoQYtQcqWoYdCO7ZwKJ/dJ0Su9eG/hqpV6vCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:04.667229Z","signed_message":"canonical_sha256_bytes"},"source_id":"1009.2178","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45206af0197ab5f9fb5d912334d0bcfe0ebff69b8a310494bcda536968bfa05e","sha256:f4da77f95e9dd0ce4916b59fd017bfdfb6142234beccd5a53e1fad3031f83022"],"state_sha256":"9f5d6278da06df497bf3f4b237479525a6e5f7e1f0648a7f9180d27833f9c031"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LLBeNtgOjFOioE6EwIDvcKApZS06YMHDgWW0suGRliDmGUyPmvqLScx4m9i/mbFhg1T+52BA0MlB10J/1ayDDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T09:24:19.559298Z","bundle_sha256":"318e06583251e1e4f458387e6603f0669297ecf986536d156eab51b0302f1924"}}