{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1996:HTWD7X4IVPN5OULO3TFRRMRBUU","short_pith_number":"pith:HTWD7X4I","canonical_record":{"source":{"id":"cs/9604102","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1996-04-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"39f95ce51b8f8001bf03e597f9d9c098d7816958f92ed962a8b7e2cc46f8e7aa","abstract_canon_sha256":"054afbeb9532c485011d81e029eb058d7d29b5a689a7d31353401f83f8891617"},"schema_version":"1.0"},"canonical_sha256":"3cec3fdf88abdbd7516edccb18b221a50740f410252bfc3783c159784077d5c8","source":{"kind":"arxiv","id":"cs/9604102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9604102","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9604102v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9604102","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"HTWD7X4IVPN5","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"HTWD7X4IVPN5OULO","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"HTWD7X4I","created_at":"2026-05-18T12:25:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1996:HTWD7X4IVPN5OULO3TFRRMRBUU","target":"record","payload":{"canonical_record":{"source":{"id":"cs/9604102","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"1996-04-01T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"39f95ce51b8f8001bf03e597f9d9c098d7816958f92ed962a8b7e2cc46f8e7aa","abstract_canon_sha256":"054afbeb9532c485011d81e029eb058d7d29b5a689a7d31353401f83f8891617"},"schema_version":"1.0"},"canonical_sha256":"3cec3fdf88abdbd7516edccb18b221a50740f410252bfc3783c159784077d5c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:37:36.710766Z","signature_b64":"XFet0yt2a1z5vUKyKfGSXIB2nWqKpB7B/NJN3wVsj29IlsQ+Bmtn6hH1D5vv4CAYz+7U7VS2JReAa5Q/xQIkBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3cec3fdf88abdbd7516edccb18b221a50740f410252bfc3783c159784077d5c8","last_reissued_at":"2026-05-18T02:37:36.710331Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:37:36.710331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/9604102","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dn4BxF4PaFZYrAAxUdt3SreXELbfFiAdO9GRReUaUQv7z61Oz7qozr6PpMbhyOmfUT9eEa4fl4ALzUBzS8VwBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:03:05.703977Z"},"content_sha256":"5218bc0c36e703ab4e632f1cbb866bb15da485f757aa08230589267644fc0413","schema_version":"1.0","event_id":"sha256:5218bc0c36e703ab4e632f1cbb866bb15da485f757aa08230589267644fc0413"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1996:HTWD7X4IVPN5OULO3TFRRMRBUU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Practical Methods for Proving Termination of General Logic Programs","license":"","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"E. Marchiori","submitted_at":"1996-04-01T00:00:00Z","abstract_excerpt":"Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process negated atoms, like Clark's negation as failure and Chan's constructive negation, are based on termination conditions. This paper introduces a methodology for proving termination of general logic programs w.r.t. the Prolog selection rule. The idea is to distinguish parts of the program depending on whether or not their termination depends on the selection rule. To this end, the notions of low-, weakly up-, and up-acce"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9604102","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-18T02:37:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M8gQ4HKJygz4T2F2MyQzCBJtV2UCiivtfSQkgnbmpN6iCjWlA7hWt5JzeoAlrgteIqWHm13WTdYMGm5NWiK0Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:03:05.704436Z"},"content_sha256":"76f787f497ed98a85f42c4e088f15d0db8a501efcb26fe40be14478da958a531","schema_version":"1.0","event_id":"sha256:76f787f497ed98a85f42c4e088f15d0db8a501efcb26fe40be14478da958a531"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/bundle.json","state_url":"https://pith.science/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/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-08-07T06:03:05Z","links":{"resolver":"https://pith.science/pith/HTWD7X4IVPN5OULO3TFRRMRBUU","bundle":"https://pith.science/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/bundle.json","state":"https://pith.science/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HTWD7X4IVPN5OULO3TFRRMRBUU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1996:HTWD7X4IVPN5OULO3TFRRMRBUU","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":"054afbeb9532c485011d81e029eb058d7d29b5a689a7d31353401f83f8891617","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1996-04-01T00:00:00Z","title_canon_sha256":"39f95ce51b8f8001bf03e597f9d9c098d7816958f92ed962a8b7e2cc46f8e7aa"},"schema_version":"1.0","source":{"id":"cs/9604102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/9604102","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"arxiv_version","alias_value":"cs/9604102v1","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/9604102","created_at":"2026-05-18T02:37:36Z"},{"alias_kind":"pith_short_12","alias_value":"HTWD7X4IVPN5","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"HTWD7X4IVPN5OULO","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"HTWD7X4I","created_at":"2026-05-18T12:25:47Z"}],"graph_snapshots":[{"event_id":"sha256:76f787f497ed98a85f42c4e088f15d0db8a501efcb26fe40be14478da958a531","target":"graph","created_at":"2026-05-18T02:37: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":"Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process negated atoms, like Clark's negation as failure and Chan's constructive negation, are based on termination conditions. This paper introduces a methodology for proving termination of general logic programs w.r.t. the Prolog selection rule. The idea is to distinguish parts of the program depending on whether or not their termination depends on the selection rule. To this end, the notions of low-, weakly up-, and up-acce","authors_text":"E. Marchiori","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"1996-04-01T00:00:00Z","title":"Practical Methods for Proving Termination of General Logic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/9604102","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:5218bc0c36e703ab4e632f1cbb866bb15da485f757aa08230589267644fc0413","target":"record","created_at":"2026-05-18T02:37: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":"054afbeb9532c485011d81e029eb058d7d29b5a689a7d31353401f83f8891617","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"1996-04-01T00:00:00Z","title_canon_sha256":"39f95ce51b8f8001bf03e597f9d9c098d7816958f92ed962a8b7e2cc46f8e7aa"},"schema_version":"1.0","source":{"id":"cs/9604102","kind":"arxiv","version":1}},"canonical_sha256":"3cec3fdf88abdbd7516edccb18b221a50740f410252bfc3783c159784077d5c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cec3fdf88abdbd7516edccb18b221a50740f410252bfc3783c159784077d5c8","first_computed_at":"2026-05-18T02:37:36.710331Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:37:36.710331Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XFet0yt2a1z5vUKyKfGSXIB2nWqKpB7B/NJN3wVsj29IlsQ+Bmtn6hH1D5vv4CAYz+7U7VS2JReAa5Q/xQIkBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:37:36.710766Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/9604102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5218bc0c36e703ab4e632f1cbb866bb15da485f757aa08230589267644fc0413","sha256:76f787f497ed98a85f42c4e088f15d0db8a501efcb26fe40be14478da958a531"],"state_sha256":"6e47168028d47065c02002d3cdc5a70fc84e99ed1e8d6b30d33b2441adbd0c7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6cSwNadhTYuoIHj/2XPkzo6I5MxAmayKOBKwzIBr5aajp0cbIaTS1ybHKbbQxf78r7tNn8x2hf7aTTwIvFUOCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T06:03:05.708072Z","bundle_sha256":"7cf29e225b1bda218bbe16183276547b8b8ae8712f915ad22d4d05acb905edbb"}}