{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OZPYQO2F7LUSA4B33EVXD5HPJI","short_pith_number":"pith:OZPYQO2F","canonical_record":{"source":{"id":"1606.00133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","cross_cats_sorted":[],"title_canon_sha256":"bd2234ef7656ed665daea2fac2349ca73b4459b6a88bdb3eafea376492486ed9","abstract_canon_sha256":"0d3fd5b0c1e3deee87bc009ec7ae2ad0b89720d2983154fdfac4fa021b5e9063"},"schema_version":"1.0"},"canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","source":{"kind":"arxiv","id":"1606.00133","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00133","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00133v1","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00133","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"OZPYQO2F7LUS","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OZPYQO2F7LUSA4B3","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OZPYQO2F","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OZPYQO2F7LUSA4B33EVXD5HPJI","target":"record","payload":{"canonical_record":{"source":{"id":"1606.00133","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","cross_cats_sorted":[],"title_canon_sha256":"bd2234ef7656ed665daea2fac2349ca73b4459b6a88bdb3eafea376492486ed9","abstract_canon_sha256":"0d3fd5b0c1e3deee87bc009ec7ae2ad0b89720d2983154fdfac4fa021b5e9063"},"schema_version":"1.0"},"canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:05.853088Z","signature_b64":"2yVRJFX1kfG4gqLqSMQmwaECaPrsHcO+VatvYTiatQZ/bj29EvTsYThE3xJMFmBae2o/uhajzqMjf6bcyxPoAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","last_reissued_at":"2026-05-18T01:13:05.852732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:05.852732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.00133","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:13:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NAle+IS/CHK/3fnAAkYSyiH0rihHZ63h5eiicJq6o4L1gUdCKjgK5PmZuOO3c5OfNoBND18Tjoc+CPSizi7UCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:43:06.700338Z"},"content_sha256":"78d8d52584f2d62a79fa2eb547359e6b2a57cf23988773cb6d1ee51c51d697d8","schema_version":"1.0","event_id":"sha256:78d8d52584f2d62a79fa2eb547359e6b2a57cf23988773cb6d1ee51c51d697d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OZPYQO2F7LUSA4B33EVXD5HPJI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Andr\\'e Van Delden, Diedrich Wolter, Frank Dylla, Jae Hee Lee, Jasper Van De Ven, Thomas Schneider, Till Mossakowski","submitted_at":"2016-06-01T06:46:51Z","abstract_excerpt":"Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00133","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:13:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/LLSbeWXv3dJJixoIJE0zZ9KJatN6LHYDCqxRzyAXe1eTSxX3r3IYkHliymqPfgqcWUa9MJfwsZgjH33ljWSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:43:06.701011Z"},"content_sha256":"6038e93e34346ff6371bcca6a0edfff6a83ee1f0832136432fc6460f207060ac","schema_version":"1.0","event_id":"sha256:6038e93e34346ff6371bcca6a0edfff6a83ee1f0832136432fc6460f207060ac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/bundle.json","state_url":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/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-25T08:43:06Z","links":{"resolver":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI","bundle":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/bundle.json","state":"https://pith.science/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OZPYQO2F7LUSA4B33EVXD5HPJI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OZPYQO2F7LUSA4B33EVXD5HPJI","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":"0d3fd5b0c1e3deee87bc009ec7ae2ad0b89720d2983154fdfac4fa021b5e9063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","title_canon_sha256":"bd2234ef7656ed665daea2fac2349ca73b4459b6a88bdb3eafea376492486ed9"},"schema_version":"1.0","source":{"id":"1606.00133","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00133","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00133v1","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00133","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"OZPYQO2F7LUS","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OZPYQO2F7LUSA4B3","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OZPYQO2F","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:6038e93e34346ff6371bcca6a0edfff6a83ee1f0832136432fc6460f207060ac","target":"graph","created_at":"2026-05-18T01:13: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":"Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques range from exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and","authors_text":"Andr\\'e Van Delden, Diedrich Wolter, Frank Dylla, Jae Hee Lee, Jasper Van De Ven, Thomas Schneider, Till Mossakowski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","title":"A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00133","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:78d8d52584f2d62a79fa2eb547359e6b2a57cf23988773cb6d1ee51c51d697d8","target":"record","created_at":"2026-05-18T01:13: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":"0d3fd5b0c1e3deee87bc009ec7ae2ad0b89720d2983154fdfac4fa021b5e9063","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T06:46:51Z","title_canon_sha256":"bd2234ef7656ed665daea2fac2349ca73b4459b6a88bdb3eafea376492486ed9"},"schema_version":"1.0","source":{"id":"1606.00133","kind":"arxiv","version":1}},"canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"765f883b45fae920703bd92b71f4ef4a2f92150ba6667338311f4f0b22ca066b","first_computed_at":"2026-05-18T01:13:05.852732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:05.852732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2yVRJFX1kfG4gqLqSMQmwaECaPrsHcO+VatvYTiatQZ/bj29EvTsYThE3xJMFmBae2o/uhajzqMjf6bcyxPoAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:05.853088Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.00133","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:78d8d52584f2d62a79fa2eb547359e6b2a57cf23988773cb6d1ee51c51d697d8","sha256:6038e93e34346ff6371bcca6a0edfff6a83ee1f0832136432fc6460f207060ac"],"state_sha256":"dfcf62ae3b315f5196df26918a334958730572fa37427be029e6b2e7cc29df5a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b8u8BteU0bQRus9gP1rX08U5kfw+g+SsNxOZvj+w98ILs2XMic3c7tqjP5HXLtn90ooRjt6f6P1gWdx2tqoyAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T08:43:06.704914Z","bundle_sha256":"90588178872abfc0cff53cef7f75d68a1a6455968f76dfb97005c35d719fa53c"}}