{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:AYXRCKO5VWFKRRD5XEKEPUI3N5","short_pith_number":"pith:AYXRCKO5","canonical_record":{"source":{"id":"1608.05609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-19T14:19:21Z","cross_cats_sorted":[],"title_canon_sha256":"246963a903b17cc25c3bea4cf30599bd94063ee4fe89ff1e56a4a693372f53a1","abstract_canon_sha256":"facb5a6da5ef869139c6e3bba11cc12b19c509336261639e301b3f7116e3c825"},"schema_version":"1.0"},"canonical_sha256":"062f1129ddad8aa8c47db91447d11b6f766d7018af7f505cc3c06a57d36b61ef","source":{"kind":"arxiv","id":"1608.05609","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05609","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05609v1","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05609","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"pith_short_12","alias_value":"AYXRCKO5VWFK","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AYXRCKO5VWFKRRD5","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AYXRCKO5","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:AYXRCKO5VWFKRRD5XEKEPUI3N5","target":"record","payload":{"canonical_record":{"source":{"id":"1608.05609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-19T14:19:21Z","cross_cats_sorted":[],"title_canon_sha256":"246963a903b17cc25c3bea4cf30599bd94063ee4fe89ff1e56a4a693372f53a1","abstract_canon_sha256":"facb5a6da5ef869139c6e3bba11cc12b19c509336261639e301b3f7116e3c825"},"schema_version":"1.0"},"canonical_sha256":"062f1129ddad8aa8c47db91447d11b6f766d7018af7f505cc3c06a57d36b61ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:28.072191Z","signature_b64":"4E2XCCDXxIKUUPR7mBDkxSOzTJ2VL6SE/bmso+ChOdtiTVuDIXJogj5L3+k8suKWsnDI7OI21+ST0xWqAWO4BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"062f1129ddad8aa8c47db91447d11b6f766d7018af7f505cc3c06a57d36b61ef","last_reissued_at":"2026-05-18T01:08:28.071711Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:28.071711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.05609","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-18T01:08:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3qFAcLfqjPSm+IWkg+YxpbPPOYBIjsiKZeyNguWAXdHMRETe4U7VCZz+irSw+Tav+JPRD6nnhGYhF7mojhuABA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:50:03.392782Z"},"content_sha256":"fcf6b5228a5a88324624352967fc24caed35cd7ea2e0b73dd70d824747998b5f","schema_version":"1.0","event_id":"sha256:fcf6b5228a5a88324624352967fc24caed35cd7ea2e0b73dd70d824747998b5f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:AYXRCKO5VWFKRRD5XEKEPUI3N5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementing a Relevance Tracker Module","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bart Bogaerts, Gerda Janssens, Joachim Jansen, Jo Devriendt, Marc Denecker","submitted_at":"2016-08-19T14:19:21Z","abstract_excerpt":"PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics. Recently, a notion of relevance was introduced for this language. This notion determines the set of undecided literals that can still influence the satisfiability of a PC(ID) formula in a given partial assignment. The idea is that the PC(ID) solver can make decisions only on relevant literals without losing soundness and thus safely ignore irrelevant literals.\n  One important insight that the relevance of a literal is completely determined by the current solver state. During search, the s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05609","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-18T01:08:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGlLNrLTDCoTRAcsSCpaWmTfGxzIBIS83LCG+GfS1J3PqL2DNp67+JiAn4iYa8AYYAuacQWE09+mr3Z7nikGBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:50:03.393413Z"},"content_sha256":"b548cd6ce51ef3ee5596246e35d94fd514e8ce003e3d1aa685500038a556b17c","schema_version":"1.0","event_id":"sha256:b548cd6ce51ef3ee5596246e35d94fd514e8ce003e3d1aa685500038a556b17c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/bundle.json","state_url":"https://pith.science/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/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-07T11:50:03Z","links":{"resolver":"https://pith.science/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5","bundle":"https://pith.science/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/bundle.json","state":"https://pith.science/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AYXRCKO5VWFKRRD5XEKEPUI3N5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AYXRCKO5VWFKRRD5XEKEPUI3N5","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":"facb5a6da5ef869139c6e3bba11cc12b19c509336261639e301b3f7116e3c825","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-19T14:19:21Z","title_canon_sha256":"246963a903b17cc25c3bea4cf30599bd94063ee4fe89ff1e56a4a693372f53a1"},"schema_version":"1.0","source":{"id":"1608.05609","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.05609","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"arxiv_version","alias_value":"1608.05609v1","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.05609","created_at":"2026-05-18T01:08:28Z"},{"alias_kind":"pith_short_12","alias_value":"AYXRCKO5VWFK","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AYXRCKO5VWFKRRD5","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AYXRCKO5","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:b548cd6ce51ef3ee5596246e35d94fd514e8ce003e3d1aa685500038a556b17c","target":"graph","created_at":"2026-05-18T01:08:28Z","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":"PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics. Recently, a notion of relevance was introduced for this language. This notion determines the set of undecided literals that can still influence the satisfiability of a PC(ID) formula in a given partial assignment. The idea is that the PC(ID) solver can make decisions only on relevant literals without losing soundness and thus safely ignore irrelevant literals.\n  One important insight that the relevance of a literal is completely determined by the current solver state. During search, the s","authors_text":"Bart Bogaerts, Gerda Janssens, Joachim Jansen, Jo Devriendt, Marc Denecker","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-19T14:19:21Z","title":"Implementing a Relevance Tracker Module"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.05609","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:fcf6b5228a5a88324624352967fc24caed35cd7ea2e0b73dd70d824747998b5f","target":"record","created_at":"2026-05-18T01:08:28Z","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":"facb5a6da5ef869139c6e3bba11cc12b19c509336261639e301b3f7116e3c825","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-19T14:19:21Z","title_canon_sha256":"246963a903b17cc25c3bea4cf30599bd94063ee4fe89ff1e56a4a693372f53a1"},"schema_version":"1.0","source":{"id":"1608.05609","kind":"arxiv","version":1}},"canonical_sha256":"062f1129ddad8aa8c47db91447d11b6f766d7018af7f505cc3c06a57d36b61ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"062f1129ddad8aa8c47db91447d11b6f766d7018af7f505cc3c06a57d36b61ef","first_computed_at":"2026-05-18T01:08:28.071711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:28.071711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4E2XCCDXxIKUUPR7mBDkxSOzTJ2VL6SE/bmso+ChOdtiTVuDIXJogj5L3+k8suKWsnDI7OI21+ST0xWqAWO4BA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:28.072191Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.05609","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fcf6b5228a5a88324624352967fc24caed35cd7ea2e0b73dd70d824747998b5f","sha256:b548cd6ce51ef3ee5596246e35d94fd514e8ce003e3d1aa685500038a556b17c"],"state_sha256":"f741ce9470ad9d9f7686457b02ec362e1110f167afc9377135ed5e986b744fa2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V95bvG8VdCDmb+ySivJcu9icMwABsF8HKxDra1qXkrjr652kLvPpADhveqp71Zfm/4U6BDOO8lh248jUwokkCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:50:03.396652Z","bundle_sha256":"8481834c6844eb48ea2617a029763da72162867c8dbedc4c61998eac399bbcad"}}