{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:KPYFOFTI5KC6BX6QWSDS2TSLM2","short_pith_number":"pith:KPYFOFTI","canonical_record":{"source":{"id":"1805.02038","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-05T10:31:10Z","cross_cats_sorted":[],"title_canon_sha256":"adc5d82d294bf55cbf91841efa093613123da7a10b891d3ec4f39be52d70a93e","abstract_canon_sha256":"c61b78e304b83f6fffe8be3a16037a2827180a8c6dbb5f7356e27650d932b920"},"schema_version":"1.0"},"canonical_sha256":"53f0571668ea85e0dfd0b4872d4e4b66ae316309f9eae75046817a173db16243","source":{"kind":"arxiv","id":"1805.02038","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02038","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02038v1","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02038","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"pith_short_12","alias_value":"KPYFOFTI5KC6","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KPYFOFTI5KC6BX6Q","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KPYFOFTI","created_at":"2026-05-18T12:32:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:KPYFOFTI5KC6BX6QWSDS2TSLM2","target":"record","payload":{"canonical_record":{"source":{"id":"1805.02038","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-05T10:31:10Z","cross_cats_sorted":[],"title_canon_sha256":"adc5d82d294bf55cbf91841efa093613123da7a10b891d3ec4f39be52d70a93e","abstract_canon_sha256":"c61b78e304b83f6fffe8be3a16037a2827180a8c6dbb5f7356e27650d932b920"},"schema_version":"1.0"},"canonical_sha256":"53f0571668ea85e0dfd0b4872d4e4b66ae316309f9eae75046817a173db16243","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:41.165298Z","signature_b64":"FQKlQH/caQTELtJUqM0+YqeRdTqLmhFO+tH7mkzgN80iaUW+jm2z+atl08nrn0oPuNBHexB59q/WzoCDY1B4Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53f0571668ea85e0dfd0b4872d4e4b66ae316309f9eae75046817a173db16243","last_reissued_at":"2026-05-18T00:16:41.164750Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:41.164750Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.02038","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-18T00:16:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FjmFj2eoAdSXgHfUl9vvZgBL/3hLxbuuGd+K/AgYJHIwODFnrxk+/DhneKBKVvIOmo+rBPRPUx/G4n/h9itlCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T17:41:17.116946Z"},"content_sha256":"483e951bc26fd2abe0c40c38d306946b1aac75d160d4f060cc752bf78d811b1b","schema_version":"1.0","event_id":"sha256:483e951bc26fd2abe0c40c38d306946b1aac75d160d4f060cc752bf78d811b1b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:KPYFOFTI5KC6BX6QWSDS2TSLM2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Classification transfer for qualitative reasoning problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Antoine Mottet, Barnaby Martin, Manuel Bodirsky, Peter Jonsson","submitted_at":"2018-05-05T10:31:10Z","abstract_excerpt":"We study formalisms for temporal and spatial reasoning in the modern context of Constraint Satisfaction Problems (CSPs). We show how questions on the complexity of their subclasses can be solved using existing results via the powerful use of primitive positive (pp) interpretations and pp-homotopy. We demonstrate the methodology by giving a full complexity classification of all constraint languages that are first-order definable in Allen's Interval Algebra and contain the basic relations (s) and (f). In the case of the Rectangle Algebra we answer in the affirmative the old open question as to w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02038","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-18T00:16:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ole7eiWrk4TTI4EKZfnMa44eNUKbgduH97Y8VjwwTyD2QBZGwW7bI6v58YR8OkrWhVm7LcvLPfg9/nRBYvvhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T17:41:17.117323Z"},"content_sha256":"9cf1691f7875e73d5aafcdf6beba8cc4c6abf6ed3509e31af8f50fdda480c25b","schema_version":"1.0","event_id":"sha256:9cf1691f7875e73d5aafcdf6beba8cc4c6abf6ed3509e31af8f50fdda480c25b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/bundle.json","state_url":"https://pith.science/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/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-26T17:41:17Z","links":{"resolver":"https://pith.science/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2","bundle":"https://pith.science/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/bundle.json","state":"https://pith.science/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KPYFOFTI5KC6BX6QWSDS2TSLM2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KPYFOFTI5KC6BX6QWSDS2TSLM2","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":"c61b78e304b83f6fffe8be3a16037a2827180a8c6dbb5f7356e27650d932b920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-05T10:31:10Z","title_canon_sha256":"adc5d82d294bf55cbf91841efa093613123da7a10b891d3ec4f39be52d70a93e"},"schema_version":"1.0","source":{"id":"1805.02038","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.02038","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"arxiv_version","alias_value":"1805.02038v1","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.02038","created_at":"2026-05-18T00:16:41Z"},{"alias_kind":"pith_short_12","alias_value":"KPYFOFTI5KC6","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KPYFOFTI5KC6BX6Q","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KPYFOFTI","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:9cf1691f7875e73d5aafcdf6beba8cc4c6abf6ed3509e31af8f50fdda480c25b","target":"graph","created_at":"2026-05-18T00:16:41Z","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":"We study formalisms for temporal and spatial reasoning in the modern context of Constraint Satisfaction Problems (CSPs). We show how questions on the complexity of their subclasses can be solved using existing results via the powerful use of primitive positive (pp) interpretations and pp-homotopy. We demonstrate the methodology by giving a full complexity classification of all constraint languages that are first-order definable in Allen's Interval Algebra and contain the basic relations (s) and (f). In the case of the Rectangle Algebra we answer in the affirmative the old open question as to w","authors_text":"Antoine Mottet, Barnaby Martin, Manuel Bodirsky, Peter Jonsson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-05T10:31:10Z","title":"Classification transfer for qualitative reasoning problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.02038","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:483e951bc26fd2abe0c40c38d306946b1aac75d160d4f060cc752bf78d811b1b","target":"record","created_at":"2026-05-18T00:16:41Z","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":"c61b78e304b83f6fffe8be3a16037a2827180a8c6dbb5f7356e27650d932b920","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-05-05T10:31:10Z","title_canon_sha256":"adc5d82d294bf55cbf91841efa093613123da7a10b891d3ec4f39be52d70a93e"},"schema_version":"1.0","source":{"id":"1805.02038","kind":"arxiv","version":1}},"canonical_sha256":"53f0571668ea85e0dfd0b4872d4e4b66ae316309f9eae75046817a173db16243","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53f0571668ea85e0dfd0b4872d4e4b66ae316309f9eae75046817a173db16243","first_computed_at":"2026-05-18T00:16:41.164750Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:41.164750Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FQKlQH/caQTELtJUqM0+YqeRdTqLmhFO+tH7mkzgN80iaUW+jm2z+atl08nrn0oPuNBHexB59q/WzoCDY1B4Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:41.165298Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.02038","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:483e951bc26fd2abe0c40c38d306946b1aac75d160d4f060cc752bf78d811b1b","sha256:9cf1691f7875e73d5aafcdf6beba8cc4c6abf6ed3509e31af8f50fdda480c25b"],"state_sha256":"0cb856b3ca7f27758655d0701acea5539fdc9c420826d2894b825429738d3862"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pTDTjWB55H8N3rKsMNdAYIVCre5w7fvQjLrkKk9ojYNkn3rPcgEKL7S/IDnin/RLIkYJTWsxoWtsMbrLZmWqBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T17:41:17.119703Z","bundle_sha256":"0f786ae9d582050c5938fd736b8f7f920aa23ce5691abc15a35509aa897d01e9"}}