{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:JCVRCBZVFL5Z6IDIIWF4FYPRRB","short_pith_number":"pith:JCVRCBZV","canonical_record":{"source":{"id":"1412.0773","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-02T03:29:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d74bcb4af87743a359e0b4477687de18f79c36471d40bc9dd772c7555449d95c","abstract_canon_sha256":"1992e9ab2955a872207e7adecba609366c1d0968145e367dd1a49993942bf36b"},"schema_version":"1.0"},"canonical_sha256":"48ab1107352afb9f2068458bc2e1f1887322fe7d081751f6e11c7fdb35d3f56a","source":{"kind":"arxiv","id":"1412.0773","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.0773","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"arxiv_version","alias_value":"1412.0773v1","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.0773","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"pith_short_12","alias_value":"JCVRCBZVFL5Z","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JCVRCBZVFL5Z6IDI","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JCVRCBZV","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:JCVRCBZVFL5Z6IDIIWF4FYPRRB","target":"record","payload":{"canonical_record":{"source":{"id":"1412.0773","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-02T03:29:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d74bcb4af87743a359e0b4477687de18f79c36471d40bc9dd772c7555449d95c","abstract_canon_sha256":"1992e9ab2955a872207e7adecba609366c1d0968145e367dd1a49993942bf36b"},"schema_version":"1.0"},"canonical_sha256":"48ab1107352afb9f2068458bc2e1f1887322fe7d081751f6e11c7fdb35d3f56a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:21.246900Z","signature_b64":"eQ4kcnhxpVygRExJVRTWIcCB1kvSVP+wS0CYn2KnWd81aCBP96ki4XW1God7qytTqyhONsq9I15vea57QFfjCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48ab1107352afb9f2068458bc2e1f1887322fe7d081751f6e11c7fdb35d3f56a","last_reissued_at":"2026-05-18T02:32:21.246469Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:21.246469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.0773","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:32:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UxYSM+e21YY7R0YRHWCvt4XhIU6Dhkky6n2Nh8BmtD3+vnGdWDt8G1uP9LUncuz+pKmkToFpnRuowddmPMC4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:25:46.009753Z"},"content_sha256":"61787297c64ddc11e474aa52e3555bbfe1ec686ae13f4068a752b88c1ebe2c4f","schema_version":"1.0","event_id":"sha256:61787297c64ddc11e474aa52e3555bbfe1ec686ae13f4068a752b88c1ebe2c4f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:JCVRCBZVFL5Z6IDIIWF4FYPRRB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expressiveness of Logic Programs under General Stable Model Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Heng Zhang, Yan Zhang","submitted_at":"2014-12-02T03:29:20Z","abstract_excerpt":"The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the expressiveness of normal and disjunctive programs under the general stable model semantics. A translation from disjunctive programs to normal programs is proposed for infinite structures. Over finite structures, some disjunctive programs are proved to be intranslatable to normal programs if the arities of auxiliary predicates and functions are bounded in a certain way. The equ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.0773","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:32:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Rb1NOgdtqZp2x2Ctx/DPH1BN2XaXel1MBCBjXeti8tvfjYpS5mva0FRINOtXJA+a7mTI64cH0jw8K+gcamMhBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T14:25:46.010277Z"},"content_sha256":"d1c78e8e48cbaeb56e0bfd68dc30a09b022aa5fb79043d058c1b67173e6bf7a8","schema_version":"1.0","event_id":"sha256:d1c78e8e48cbaeb56e0bfd68dc30a09b022aa5fb79043d058c1b67173e6bf7a8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/bundle.json","state_url":"https://pith.science/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/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-01T14:25:46Z","links":{"resolver":"https://pith.science/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB","bundle":"https://pith.science/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/bundle.json","state":"https://pith.science/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JCVRCBZVFL5Z6IDIIWF4FYPRRB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:JCVRCBZVFL5Z6IDIIWF4FYPRRB","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":"1992e9ab2955a872207e7adecba609366c1d0968145e367dd1a49993942bf36b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-02T03:29:20Z","title_canon_sha256":"d74bcb4af87743a359e0b4477687de18f79c36471d40bc9dd772c7555449d95c"},"schema_version":"1.0","source":{"id":"1412.0773","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.0773","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"arxiv_version","alias_value":"1412.0773v1","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.0773","created_at":"2026-05-18T02:32:21Z"},{"alias_kind":"pith_short_12","alias_value":"JCVRCBZVFL5Z","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"JCVRCBZVFL5Z6IDI","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"JCVRCBZV","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:d1c78e8e48cbaeb56e0bfd68dc30a09b022aa5fb79043d058c1b67173e6bf7a8","target":"graph","created_at":"2026-05-18T02:32:21Z","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":"The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the expressiveness of normal and disjunctive programs under the general stable model semantics. A translation from disjunctive programs to normal programs is proposed for infinite structures. Over finite structures, some disjunctive programs are proved to be intranslatable to normal programs if the arities of auxiliary predicates and functions are bounded in a certain way. The equ","authors_text":"Heng Zhang, Yan Zhang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-02T03:29:20Z","title":"Expressiveness of Logic Programs under General Stable Model Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.0773","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:61787297c64ddc11e474aa52e3555bbfe1ec686ae13f4068a752b88c1ebe2c4f","target":"record","created_at":"2026-05-18T02:32:21Z","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":"1992e9ab2955a872207e7adecba609366c1d0968145e367dd1a49993942bf36b","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-12-02T03:29:20Z","title_canon_sha256":"d74bcb4af87743a359e0b4477687de18f79c36471d40bc9dd772c7555449d95c"},"schema_version":"1.0","source":{"id":"1412.0773","kind":"arxiv","version":1}},"canonical_sha256":"48ab1107352afb9f2068458bc2e1f1887322fe7d081751f6e11c7fdb35d3f56a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48ab1107352afb9f2068458bc2e1f1887322fe7d081751f6e11c7fdb35d3f56a","first_computed_at":"2026-05-18T02:32:21.246469Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:21.246469Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eQ4kcnhxpVygRExJVRTWIcCB1kvSVP+wS0CYn2KnWd81aCBP96ki4XW1God7qytTqyhONsq9I15vea57QFfjCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:21.246900Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.0773","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61787297c64ddc11e474aa52e3555bbfe1ec686ae13f4068a752b88c1ebe2c4f","sha256:d1c78e8e48cbaeb56e0bfd68dc30a09b022aa5fb79043d058c1b67173e6bf7a8"],"state_sha256":"943982c21cfe74a02962b5aec09ad865e1037dfb3e2f8559097d1f9f553b51bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QjjfBdOczjf4JEfIcb7iK7olvo964bgJI9KoqynlSdSer/RynwKf7p443yaA9HDrgjhi5AlEandIq7+eE/kIDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T14:25:46.012719Z","bundle_sha256":"4d48ad472bad7a12f2cc477be19f098d1a3bc0d2baabeeaea609270cc570291f"}}