{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TIAHUM2RA6DRVZBZWWXSU5KS4R","short_pith_number":"pith:TIAHUM2R","canonical_record":{"source":{"id":"1312.6149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:33:55Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b5295c73dad9d5d34361599c3f0379a77c871130752dd5a72f49a22bac0a1ffb","abstract_canon_sha256":"883b17d15ff62509b6ca11086241a45997a231251b4eebd58e4fe973adc98e00"},"schema_version":"1.0"},"canonical_sha256":"9a007a335107871ae439b5af2a7552e46adfae048fbcc135d0ba076e6556b68d","source":{"kind":"arxiv","id":"1312.6149","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6149","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6149v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6149","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"TIAHUM2RA6DR","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TIAHUM2RA6DRVZBZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TIAHUM2R","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TIAHUM2RA6DRVZBZWWXSU5KS4R","target":"record","payload":{"canonical_record":{"source":{"id":"1312.6149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:33:55Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b5295c73dad9d5d34361599c3f0379a77c871130752dd5a72f49a22bac0a1ffb","abstract_canon_sha256":"883b17d15ff62509b6ca11086241a45997a231251b4eebd58e4fe973adc98e00"},"schema_version":"1.0"},"canonical_sha256":"9a007a335107871ae439b5af2a7552e46adfae048fbcc135d0ba076e6556b68d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:05.935961Z","signature_b64":"ocVtf0oqNZ7q/ZS3DKIGyJJm1A1CM6wsC+HnvqY3y1vqUCsYMLF9GUvV1635pcThChihF/f4oDN+06wCwMvUDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a007a335107871ae439b5af2a7552e46adfae048fbcc135d0ba076e6556b68d","last_reissued_at":"2026-05-18T03:04:05.935207Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:05.935207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.6149","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-18T03:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yO4gwwuyBXvUjA/Y4N5md7H6sdcyndEQhprI3+vymzFKNiOi4hbKi+f1f7GQYAl9ivp+5GjspxdpEPK3A4TcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:22:15.995430Z"},"content_sha256":"2fc3340d2e8219b1dd39058c4734acf456ce7f4ab70358e04ed787cbc0f56f6c","schema_version":"1.0","event_id":"sha256:2fc3340d2e8219b1dd39058c4734acf456ce7f4ab70358e04ed787cbc0f56f6c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TIAHUM2RA6DRVZBZWWXSU5KS4R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Semantics of Gringo","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Amelia Harrison, Fangkai Yang, Vladimir Lifschitz","submitted_at":"2013-12-20T21:33:55Z","abstract_excerpt":"Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by designers of answer set solvers usually explain such constructs using examples and informal comments that appeal to the user's intuition, without references to any precise semantics. We propose to approach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6149","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-18T03:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JcJ/7Lm0IHZtu6jIvSNa1LctgTDUKIrNYPvg5G/8NlNHtcjZGcp35vW+UzlzW5Jij6vqZWjJ8uqR9XwkRewMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T12:22:15.995776Z"},"content_sha256":"28a7204bc9817b13434ed529e51a9823f3ecf12b96d5d7b81e9f4713e4633991","schema_version":"1.0","event_id":"sha256:28a7204bc9817b13434ed529e51a9823f3ecf12b96d5d7b81e9f4713e4633991"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/bundle.json","state_url":"https://pith.science/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/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-03T12:22:15Z","links":{"resolver":"https://pith.science/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R","bundle":"https://pith.science/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/bundle.json","state":"https://pith.science/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TIAHUM2RA6DRVZBZWWXSU5KS4R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TIAHUM2RA6DRVZBZWWXSU5KS4R","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":"883b17d15ff62509b6ca11086241a45997a231251b4eebd58e4fe973adc98e00","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:33:55Z","title_canon_sha256":"b5295c73dad9d5d34361599c3f0379a77c871130752dd5a72f49a22bac0a1ffb"},"schema_version":"1.0","source":{"id":"1312.6149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6149","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6149v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6149","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"TIAHUM2RA6DR","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TIAHUM2RA6DRVZBZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TIAHUM2R","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:28a7204bc9817b13434ed529e51a9823f3ecf12b96d5d7b81e9f4713e4633991","target":"graph","created_at":"2026-05-18T03:04:05Z","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":"Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local variables, conditional literals, and aggregates, cannot be easily explained in terms of stable models in the sense of the original definition of this concept and its straightforward generalizations. Manuals written by designers of answer set solvers usually explain such constructs using examples and informal comments that appeal to the user's intuition, without references to any precise semantics. We propose to approach","authors_text":"Amelia Harrison, Fangkai Yang, Vladimir Lifschitz","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:33:55Z","title":"On the Semantics of Gringo"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6149","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:2fc3340d2e8219b1dd39058c4734acf456ce7f4ab70358e04ed787cbc0f56f6c","target":"record","created_at":"2026-05-18T03:04:05Z","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":"883b17d15ff62509b6ca11086241a45997a231251b4eebd58e4fe973adc98e00","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:33:55Z","title_canon_sha256":"b5295c73dad9d5d34361599c3f0379a77c871130752dd5a72f49a22bac0a1ffb"},"schema_version":"1.0","source":{"id":"1312.6149","kind":"arxiv","version":1}},"canonical_sha256":"9a007a335107871ae439b5af2a7552e46adfae048fbcc135d0ba076e6556b68d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a007a335107871ae439b5af2a7552e46adfae048fbcc135d0ba076e6556b68d","first_computed_at":"2026-05-18T03:04:05.935207Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:05.935207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ocVtf0oqNZ7q/ZS3DKIGyJJm1A1CM6wsC+HnvqY3y1vqUCsYMLF9GUvV1635pcThChihF/f4oDN+06wCwMvUDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:05.935961Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.6149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2fc3340d2e8219b1dd39058c4734acf456ce7f4ab70358e04ed787cbc0f56f6c","sha256:28a7204bc9817b13434ed529e51a9823f3ecf12b96d5d7b81e9f4713e4633991"],"state_sha256":"72252f4909d27383a2802d5a3443a8e1b3847dc427ca20f0dfdb33d654ef76a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+8IeOlYqIc06gkv82p9oS0pH6Qv6wEy+WtQ1S2Il4NCsm/iaKKK+agRRixFz9VOQHaxuV7vKDdflWeIQ/msHCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T12:22:15.997721Z","bundle_sha256":"5393398151b47ed66cb76ec60e35f348ce803e193b0afffee5ce01abe5251ea7"}}