{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7RO6ZDIPJODGWHK36GCDQIMCRA","short_pith_number":"pith:7RO6ZDIP","canonical_record":{"source":{"id":"1403.0613","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","cross_cats_sorted":[],"title_canon_sha256":"c48ff33f0cc41b3f7cbf1c86cf5204e1c9be0fda9936cfd2b15892dc044a4e49","abstract_canon_sha256":"10c091056897229486ac57e59c0ba03820e84039967ebafc4af44f68bfc0db42"},"schema_version":"1.0"},"canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","source":{"kind":"arxiv","id":"1403.0613","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0613","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0613v2","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0613","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"pith_short_12","alias_value":"7RO6ZDIPJODG","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7RO6ZDIPJODGWHK3","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7RO6ZDIP","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7RO6ZDIPJODGWHK36GCDQIMCRA","target":"record","payload":{"canonical_record":{"source":{"id":"1403.0613","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","cross_cats_sorted":[],"title_canon_sha256":"c48ff33f0cc41b3f7cbf1c86cf5204e1c9be0fda9936cfd2b15892dc044a4e49","abstract_canon_sha256":"10c091056897229486ac57e59c0ba03820e84039967ebafc4af44f68bfc0db42"},"schema_version":"1.0"},"canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:31.400894Z","signature_b64":"WVGneSV8lPltB4BBg0Cbb+Q2RsBWIc296eGhN4z6w+QSP8LGHOp0vpGAC53N/sE1EmK9D7tiYtmEpEkgj5iBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","last_reissued_at":"2026-05-18T00:50:31.400285Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:31.400285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.0613","source_version":2,"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:50:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ecUdP2ay3O6j2xg9rJIfgZQscS6FCM2u56LsEFhU4o6sGkAVx5JIZTicpV691Fd/BjvBPRgaMRoeEkK0YtHSCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:37:48.404826Z"},"content_sha256":"aafeb025e9fd4f3aeb017c895a784dae39fcc0a858e7564170cfabab1c85fa9f","schema_version":"1.0","event_id":"sha256:aafeb025e9fd4f3aeb017c895a784dae39fcc0a858e7564170cfabab1c85fa9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7RO6ZDIPJODGWHK36GCDQIMCRA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Redundant Topological Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alan Both, Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long","submitted_at":"2014-03-03T22:01:16Z","abstract_excerpt":"The Region Connection Calculus (RCC) is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC5 and RCC8 (two fragments of RCC) as well as other qualitative spatial/temporal calculi has been investigated in depth in the literature. Most of these works focus on the consistency of qualitative constraint networks. In this paper, we consider the important problem of redundant qualitative constraints. For a set $\\Gamma$"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0613","kind":"arxiv","version":2},"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:50:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XH+tJbBLkPjF1O3amiuBHUiadP4jSado2xybjduRCiAQnm6QyB3DGthnDa7rEcuqzEBroNqGry3no9lOu5haCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T15:37:48.405178Z"},"content_sha256":"aec9cffd6af6a8d45112ae0528fa1a4ded0958f952a01b357c10dd33dcabab2c","schema_version":"1.0","event_id":"sha256:aec9cffd6af6a8d45112ae0528fa1a4ded0958f952a01b357c10dd33dcabab2c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/bundle.json","state_url":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/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-02T15:37:48Z","links":{"resolver":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA","bundle":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/bundle.json","state":"https://pith.science/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7RO6ZDIPJODGWHK36GCDQIMCRA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7RO6ZDIPJODGWHK36GCDQIMCRA","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":"10c091056897229486ac57e59c0ba03820e84039967ebafc4af44f68bfc0db42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","title_canon_sha256":"c48ff33f0cc41b3f7cbf1c86cf5204e1c9be0fda9936cfd2b15892dc044a4e49"},"schema_version":"1.0","source":{"id":"1403.0613","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.0613","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"arxiv_version","alias_value":"1403.0613v2","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.0613","created_at":"2026-05-18T00:50:31Z"},{"alias_kind":"pith_short_12","alias_value":"7RO6ZDIPJODG","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7RO6ZDIPJODGWHK3","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7RO6ZDIP","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:aec9cffd6af6a8d45112ae0528fa1a4ded0958f952a01b357c10dd33dcabab2c","target":"graph","created_at":"2026-05-18T00:50:31Z","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":"The Region Connection Calculus (RCC) is a well-known calculus for representing part-whole and topological relations. It plays an important role in qualitative spatial reasoning, geographical information science, and ontology. The computational complexity of reasoning with RCC5 and RCC8 (two fragments of RCC) as well as other qualitative spatial/temporal calculi has been investigated in depth in the literature. Most of these works focus on the consistency of qualitative constraint networks. In this paper, we consider the important problem of redundant qualitative constraints. For a set $\\Gamma$","authors_text":"Alan Both, Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","title":"On Redundant Topological Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.0613","kind":"arxiv","version":2},"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:aafeb025e9fd4f3aeb017c895a784dae39fcc0a858e7564170cfabab1c85fa9f","target":"record","created_at":"2026-05-18T00:50:31Z","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":"10c091056897229486ac57e59c0ba03820e84039967ebafc4af44f68bfc0db42","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-03T22:01:16Z","title_canon_sha256":"c48ff33f0cc41b3f7cbf1c86cf5204e1c9be0fda9936cfd2b15892dc044a4e49"},"schema_version":"1.0","source":{"id":"1403.0613","kind":"arxiv","version":2}},"canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc5dec8d0f4b866b1d5bf18438218288152ca3fd3ad0f58f8211fe16a06828dd","first_computed_at":"2026-05-18T00:50:31.400285Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:31.400285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WVGneSV8lPltB4BBg0Cbb+Q2RsBWIc296eGhN4z6w+QSP8LGHOp0vpGAC53N/sE1EmK9D7tiYtmEpEkgj5iBAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:31.400894Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.0613","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aafeb025e9fd4f3aeb017c895a784dae39fcc0a858e7564170cfabab1c85fa9f","sha256:aec9cffd6af6a8d45112ae0528fa1a4ded0958f952a01b357c10dd33dcabab2c"],"state_sha256":"fcd9b56b0edb582a713fb581ae1766ee4ee41e3f9d36d548593e71df75b1286e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PraY+lJKjzzn1htsMza0WfUaJ9ykj1dWh0EQkAULKvaHSs82hGENW0upt9glCmafJcOXiEBTOH3AYMmK610+AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T15:37:48.407188Z","bundle_sha256":"5ffb7fdcf4190f1f2f00c4b40eba388aef3d33fbf0c73a8354b91ccdbbe1b48a"}}