{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:7BPFQS2RZIJFRTZQMIIWA4N3EE","short_pith_number":"pith:7BPFQS2R","canonical_record":{"source":{"id":"1309.5822","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-23T14:39:46Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"010f3f2644e04b66ee0d2c82f464d01cce21cd1a2e7d66023cff731e79f36708","abstract_canon_sha256":"865d315e06abac9f6d49ba61c571e46fa0f29493ca36a5ffc6d4b88f43bad9f9"},"schema_version":"1.0"},"canonical_sha256":"f85e584b51ca1258cf3062116071bb211bb56a7037d4196dbad1e537a16b4ea0","source":{"kind":"arxiv","id":"1309.5822","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5822","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5822v4","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5822","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"7BPFQS2RZIJF","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7BPFQS2RZIJFRTZQ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7BPFQS2R","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:7BPFQS2RZIJFRTZQMIIWA4N3EE","target":"record","payload":{"canonical_record":{"source":{"id":"1309.5822","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-23T14:39:46Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"010f3f2644e04b66ee0d2c82f464d01cce21cd1a2e7d66023cff731e79f36708","abstract_canon_sha256":"865d315e06abac9f6d49ba61c571e46fa0f29493ca36a5ffc6d4b88f43bad9f9"},"schema_version":"1.0"},"canonical_sha256":"f85e584b51ca1258cf3062116071bb211bb56a7037d4196dbad1e537a16b4ea0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:24.032790Z","signature_b64":"HhCf5hRIcRmsJAemyAfR+oJXqUJSS9KInspierZgrpBlxwn7PSld8WhZh+sCdpRAX9bg7amB3d0DfgW5eghZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f85e584b51ca1258cf3062116071bb211bb56a7037d4196dbad1e537a16b4ea0","last_reissued_at":"2026-05-17T23:51:24.032238Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:24.032238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.5822","source_version":4,"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-17T23:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iUnjn86JYuMsjDXBJrpLrK67LhHroTBqjZ4Btmb3W98g4SyC4RLJkEHY2RZTPO0i9kiJOYU+dcDzLV6W9+9NBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:22:52.205472Z"},"content_sha256":"e3c857264ccc6775deb5a47c9048f6537f85098149d05a2d9986e8dd04457b12","schema_version":"1.0","event_id":"sha256:e3c857264ccc6775deb5a47c9048f6537f85098149d05a2d9986e8dd04457b12"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:7BPFQS2RZIJFRTZQMIIWA4N3EE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Querying the Guarded Fragment","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Georg Gottlob (Oxford University Computing Laboratory), Martin Otto (Technische Universit\\\"at Darmstadt), Vince B\\'ar\\'any (University of Warsaw)","submitted_at":"2013-09-23T14:39:46Z","abstract_excerpt":"Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether \"F and not Q\" is unsatisfiable. This problem is relevant to the areas of database theory and description logic. Since Q may not be guarded, well known results about the decidability, complexity, and finite-model property of the guarded fragment do not obviously carry over to conjunctive query answering over guarded theories, and had been left open in general. By investigating finite guarded bisimilar covers of hypergraphs and relational structures, and by substantially generalising"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5822","kind":"arxiv","version":4},"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-17T23:51:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fx0YTNYEMD1YJNPtIhL0Zr5g9b4jMV8f7f5m2PvcK/KCY+pjk37CaGW63Er+QtLC+WgfQJ0K0gfktZFXeiH0BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:22:52.205836Z"},"content_sha256":"0a33383ece12a366d3071ccb8cab129c9d76d304dd8c1dad2e93c1177f82229d","schema_version":"1.0","event_id":"sha256:0a33383ece12a366d3071ccb8cab129c9d76d304dd8c1dad2e93c1177f82229d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/bundle.json","state_url":"https://pith.science/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/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-05-30T09:22:52Z","links":{"resolver":"https://pith.science/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE","bundle":"https://pith.science/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/bundle.json","state":"https://pith.science/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7BPFQS2RZIJFRTZQMIIWA4N3EE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:7BPFQS2RZIJFRTZQMIIWA4N3EE","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":"865d315e06abac9f6d49ba61c571e46fa0f29493ca36a5ffc6d4b88f43bad9f9","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-23T14:39:46Z","title_canon_sha256":"010f3f2644e04b66ee0d2c82f464d01cce21cd1a2e7d66023cff731e79f36708"},"schema_version":"1.0","source":{"id":"1309.5822","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.5822","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"arxiv_version","alias_value":"1309.5822v4","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.5822","created_at":"2026-05-17T23:51:24Z"},{"alias_kind":"pith_short_12","alias_value":"7BPFQS2RZIJF","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7BPFQS2RZIJFRTZQ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7BPFQS2R","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:0a33383ece12a366d3071ccb8cab129c9d76d304dd8c1dad2e93c1177f82229d","target":"graph","created_at":"2026-05-17T23:51:24Z","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":"Evaluating a Boolean conjunctive query Q against a guarded first-order theory F is equivalent to checking whether \"F and not Q\" is unsatisfiable. This problem is relevant to the areas of database theory and description logic. Since Q may not be guarded, well known results about the decidability, complexity, and finite-model property of the guarded fragment do not obviously carry over to conjunctive query answering over guarded theories, and had been left open in general. By investigating finite guarded bisimilar covers of hypergraphs and relational structures, and by substantially generalising","authors_text":"Georg Gottlob (Oxford University Computing Laboratory), Martin Otto (Technische Universit\\\"at Darmstadt), Vince B\\'ar\\'any (University of Warsaw)","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-23T14:39:46Z","title":"Querying the Guarded Fragment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.5822","kind":"arxiv","version":4},"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:e3c857264ccc6775deb5a47c9048f6537f85098149d05a2d9986e8dd04457b12","target":"record","created_at":"2026-05-17T23:51:24Z","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":"865d315e06abac9f6d49ba61c571e46fa0f29493ca36a5ffc6d4b88f43bad9f9","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-09-23T14:39:46Z","title_canon_sha256":"010f3f2644e04b66ee0d2c82f464d01cce21cd1a2e7d66023cff731e79f36708"},"schema_version":"1.0","source":{"id":"1309.5822","kind":"arxiv","version":4}},"canonical_sha256":"f85e584b51ca1258cf3062116071bb211bb56a7037d4196dbad1e537a16b4ea0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f85e584b51ca1258cf3062116071bb211bb56a7037d4196dbad1e537a16b4ea0","first_computed_at":"2026-05-17T23:51:24.032238Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:24.032238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HhCf5hRIcRmsJAemyAfR+oJXqUJSS9KInspierZgrpBlxwn7PSld8WhZh+sCdpRAX9bg7amB3d0DfgW5eghZCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:24.032790Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.5822","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3c857264ccc6775deb5a47c9048f6537f85098149d05a2d9986e8dd04457b12","sha256:0a33383ece12a366d3071ccb8cab129c9d76d304dd8c1dad2e93c1177f82229d"],"state_sha256":"466e4782cfc882a9a3b9d8cacf8a1da3567d86a99138383e22de98e19f57c38f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y5pnxDIkElbA3TAl9C78AcniBgLZtdecmLAv9h952CcutY5zVqXrbOKJGmtMrcgeRTtZ7CZoGauCAIKiqG3ZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:22:52.208542Z","bundle_sha256":"b88bb19102259379af0a1fc96322258bdb83ed19fec2502a6198d8c744a8e7fd"}}