{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:J3ITTPMKRGHHDL5MYHSQFQHBKV","short_pith_number":"pith:J3ITTPMK","schema_version":"1.0","canonical_sha256":"4ed139bd8a898e71afacc1e502c0e1556b1b648caa2259be310a729bfa56e304","source":{"kind":"arxiv","id":"1506.00337","version":1},"attestation_state":"computed","paper":{"title":"On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Sanjiang Li, Zhiguo Long","submitted_at":"2015-06-01T03:24:18Z","abstract_excerpt":"Qualitative calculi play a central role in representing and reasoning about qualitative spatial and temporal knowledge. This paper studies distributive subalgebras of qualitative calculi, which are subalgebras in which (weak) composition distributives over nonempty intersections. It has been proven for RCC5 and RCC8 that path consistent constraint network over a distributive subalgebra is always minimal and globally consistent (in the sense of strong $n$-consistency) in a qualitative sense. The well-known subclass of convex interval relations provides one such an example of distributive subalg"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1506.00337","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-06-01T03:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"043ac675bad2e01fe7b1ae367f24b24e70166c5c040c0b02cb8da412c1164c60","abstract_canon_sha256":"d4d19b9935eb969658d0ce226dbe32e081a1b5a84d2e07a62035d28cc5dcdcfa"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:59:54.798002Z","signature_b64":"D4gPb25fYcnnJciGIrA96lX1xwUhZRs+k2BcBr7rob9vpeMtLnSj0e2bhtlDp7v95DznTKaG6XdoYtXFKZ0yDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ed139bd8a898e71afacc1e502c0e1556b1b648caa2259be310a729bfa56e304","last_reissued_at":"2026-05-18T01:59:54.797515Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:59:54.797515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Sanjiang Li, Zhiguo Long","submitted_at":"2015-06-01T03:24:18Z","abstract_excerpt":"Qualitative calculi play a central role in representing and reasoning about qualitative spatial and temporal knowledge. This paper studies distributive subalgebras of qualitative calculi, which are subalgebras in which (weak) composition distributives over nonempty intersections. It has been proven for RCC5 and RCC8 that path consistent constraint network over a distributive subalgebra is always minimal and globally consistent (in the sense of strong $n$-consistency) in a qualitative sense. The well-known subclass of convex interval relations provides one such an example of distributive subalg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00337","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.00337","created_at":"2026-05-18T01:59:54.797593+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.00337v1","created_at":"2026-05-18T01:59:54.797593+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00337","created_at":"2026-05-18T01:59:54.797593+00:00"},{"alias_kind":"pith_short_12","alias_value":"J3ITTPMKRGHH","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_16","alias_value":"J3ITTPMKRGHHDL5M","created_at":"2026-05-18T12:29:27.538025+00:00"},{"alias_kind":"pith_short_8","alias_value":"J3ITTPMK","created_at":"2026-05-18T12:29:27.538025+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV","json":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV.json","graph_json":"https://pith.science/api/pith-number/J3ITTPMKRGHHDL5MYHSQFQHBKV/graph.json","events_json":"https://pith.science/api/pith-number/J3ITTPMKRGHHDL5MYHSQFQHBKV/events.json","paper":"https://pith.science/paper/J3ITTPMK"},"agent_actions":{"view_html":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV","download_json":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV.json","view_paper":"https://pith.science/paper/J3ITTPMK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.00337&json=true","fetch_graph":"https://pith.science/api/pith-number/J3ITTPMKRGHHDL5MYHSQFQHBKV/graph.json","fetch_events":"https://pith.science/api/pith-number/J3ITTPMKRGHHDL5MYHSQFQHBKV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV/action/storage_attestation","attest_author":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV/action/author_attestation","sign_citation":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV/action/citation_signature","submit_replication":"https://pith.science/pith/J3ITTPMKRGHHDL5MYHSQFQHBKV/action/replication_record"}},"created_at":"2026-05-18T01:59:54.797593+00:00","updated_at":"2026-05-18T01:59:54.797593+00:00"}