{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:3GYSHEES4YM3I45YWLWF4OTNZ4","short_pith_number":"pith:3GYSHEES","canonical_record":{"source":{"id":"1012.3947","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-17T18:05:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"641a9db8dc6e32bb66f8ef10f5d90d07f83a56c69e98da785d1c3857413c9f03","abstract_canon_sha256":"e00b23dfd4b8fd4a01aabf494dae722d92f3262fe22d45223612aa56834af559"},"schema_version":"1.0"},"canonical_sha256":"d9b1239092e619b473b8b2ec5e3a6dcf2f4c8b295295007f866220abb916d20c","source":{"kind":"arxiv","id":"1012.3947","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3947","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3947v1","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3947","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"pith_short_12","alias_value":"3GYSHEES4YM3","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"3GYSHEES4YM3I45Y","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"3GYSHEES","created_at":"2026-05-18T12:26:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:3GYSHEES4YM3I45YWLWF4OTNZ4","target":"record","payload":{"canonical_record":{"source":{"id":"1012.3947","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-17T18:05:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"641a9db8dc6e32bb66f8ef10f5d90d07f83a56c69e98da785d1c3857413c9f03","abstract_canon_sha256":"e00b23dfd4b8fd4a01aabf494dae722d92f3262fe22d45223612aa56834af559"},"schema_version":"1.0"},"canonical_sha256":"d9b1239092e619b473b8b2ec5e3a6dcf2f4c8b295295007f866220abb916d20c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:33:03.555290Z","signature_b64":"Ut1Sg5ryKHIDA+7X8RWfqrrvN9l7gm6o84FnGGhOE9LoZmJr1nhyhOXXE5eFisvhTVxB5HpOt18m/fokRB4CCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9b1239092e619b473b8b2ec5e3a6dcf2f4c8b295295007f866220abb916d20c","last_reissued_at":"2026-05-18T04:33:03.554738Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:33:03.554738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.3947","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:33:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4vhGM2WciaQ8zZ5kOuUfF5t47aPr4Tc0e0ErJv1YH6K06Jc1hiDJQ7z6ox1FwOPqHfOuZQ85b+gViUnNER0ZAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T17:21:04.962039Z"},"content_sha256":"1bb73d09842aabefb4d9558ff09ccc77842c6b03e4828a85c624e27ee842332a","schema_version":"1.0","event_id":"sha256:1bb73d09842aabefb4d9558ff09ccc77842c6b03e4828a85c624e27ee842332a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:3GYSHEES4YM3I45YWLWF4OTNZ4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Agust\\'i n Valverde, David Pearce, Dov Gabbay","submitted_at":"2010-12-17T18:05:51Z","abstract_excerpt":"Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3947","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:33:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uZE0Ekn4tJa/T5YRFaSDATE1nZ2hfYTCjOvDKgGpdW8p8tKDslw/Z1FnQD9Qaw46AzV+zgNUie2Uq3ThgDBBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T17:21:04.962398Z"},"content_sha256":"3246ef96d9483dd99bb84af183cd76b2703c9a9e8120bd7a765c173b392609c8","schema_version":"1.0","event_id":"sha256:3246ef96d9483dd99bb84af183cd76b2703c9a9e8120bd7a765c173b392609c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/bundle.json","state_url":"https://pith.science/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/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-07-01T17:21:04Z","links":{"resolver":"https://pith.science/pith/3GYSHEES4YM3I45YWLWF4OTNZ4","bundle":"https://pith.science/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/bundle.json","state":"https://pith.science/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3GYSHEES4YM3I45YWLWF4OTNZ4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:3GYSHEES4YM3I45YWLWF4OTNZ4","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":"e00b23dfd4b8fd4a01aabf494dae722d92f3262fe22d45223612aa56834af559","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-17T18:05:51Z","title_canon_sha256":"641a9db8dc6e32bb66f8ef10f5d90d07f83a56c69e98da785d1c3857413c9f03"},"schema_version":"1.0","source":{"id":"1012.3947","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3947","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3947v1","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3947","created_at":"2026-05-18T04:33:03Z"},{"alias_kind":"pith_short_12","alias_value":"3GYSHEES4YM3","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_16","alias_value":"3GYSHEES4YM3I45Y","created_at":"2026-05-18T12:26:03Z"},{"alias_kind":"pith_short_8","alias_value":"3GYSHEES","created_at":"2026-05-18T12:26:03Z"}],"graph_snapshots":[{"event_id":"sha256:3246ef96d9483dd99bb84af183cd76b2703c9a9e8120bd7a765c173b392609c8","target":"graph","created_at":"2026-05-18T04:33:03Z","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":"Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation tha","authors_text":"Agust\\'i n Valverde, David Pearce, Dov Gabbay","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-17T18:05:51Z","title":"Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3947","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:1bb73d09842aabefb4d9558ff09ccc77842c6b03e4828a85c624e27ee842332a","target":"record","created_at":"2026-05-18T04:33:03Z","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":"e00b23dfd4b8fd4a01aabf494dae722d92f3262fe22d45223612aa56834af559","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-17T18:05:51Z","title_canon_sha256":"641a9db8dc6e32bb66f8ef10f5d90d07f83a56c69e98da785d1c3857413c9f03"},"schema_version":"1.0","source":{"id":"1012.3947","kind":"arxiv","version":1}},"canonical_sha256":"d9b1239092e619b473b8b2ec5e3a6dcf2f4c8b295295007f866220abb916d20c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d9b1239092e619b473b8b2ec5e3a6dcf2f4c8b295295007f866220abb916d20c","first_computed_at":"2026-05-18T04:33:03.554738Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:33:03.554738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ut1Sg5ryKHIDA+7X8RWfqrrvN9l7gm6o84FnGGhOE9LoZmJr1nhyhOXXE5eFisvhTVxB5HpOt18m/fokRB4CCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:33:03.555290Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.3947","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bb73d09842aabefb4d9558ff09ccc77842c6b03e4828a85c624e27ee842332a","sha256:3246ef96d9483dd99bb84af183cd76b2703c9a9e8120bd7a765c173b392609c8"],"state_sha256":"02a89b95bf23473e8db56b14fc2ff7e42b3b54c39af4ddd0f783a0dec8dacedb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JciVicZh/CB3TWc9XvumyNXDyOZ2hF+37m1isdaIW7CT4ehQC3KPMUniKlFYer1EuVgysY9fqJURqGMDTSxOAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T17:21:04.964661Z","bundle_sha256":"0b2fd62bb1e70ec1ea4471bbcdb70835686bdd90dd34f9ac102db90e893fd8ec"}}