{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:DV55BN67YBRFA73EN7XR2D5NCX","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":"1d3083593baf04d941f47bc74667636e9c34bdd129d148e56ac0e2edd85fdf68","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-21T07:37:47Z","title_canon_sha256":"2843cfd5ed906e53cf2098d38496bb48c32af0d30e56cfca9426e1ad9e833a8e"},"schema_version":"1.0","source":{"id":"1105.4224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1105.4224","created_at":"2026-05-18T04:21:29Z"},{"alias_kind":"arxiv_version","alias_value":"1105.4224v1","created_at":"2026-05-18T04:21:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1105.4224","created_at":"2026-05-18T04:21:29Z"},{"alias_kind":"pith_short_12","alias_value":"DV55BN67YBRF","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"DV55BN67YBRFA73E","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"DV55BN67","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:a167f818c770d3add2ce7ffc42cdd8d0b29ba0a71731b6a808c9ccd4ce0a4b56","target":"graph","created_at":"2026-05-18T04:21:29Z","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":"Originating from Allen's Interval Algebra, composition-based reasoning has been widely acknowledged as the most popular reasoning technique in qualitative spatial and temporal reasoning. Given a qualitative calculus (i.e. a relation model), the first thing we should do is to establish its composition table (CT). In the past three decades, such work is usually done manually. This is undesirable and error-prone, given that the calculus may contain tens or hundreds of basic relations. Computing the correct CT has been identified by Tony Cohn as a challenge for computer scientists in 1995. This pa","authors_text":"Sanjiang Li, Weiming Liu","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-21T07:37:47Z","title":"On A Semi-Automatic Method for Generating Composition Tables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1105.4224","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:29d7e562804dc7508eab73a4d9b98c78d8a040b134e5707baabab2f04db337d7","target":"record","created_at":"2026-05-18T04:21:29Z","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":"1d3083593baf04d941f47bc74667636e9c34bdd129d148e56ac0e2edd85fdf68","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-05-21T07:37:47Z","title_canon_sha256":"2843cfd5ed906e53cf2098d38496bb48c32af0d30e56cfca9426e1ad9e833a8e"},"schema_version":"1.0","source":{"id":"1105.4224","kind":"arxiv","version":1}},"canonical_sha256":"1d7bd0b7dfc062507f646fef1d0fad15f90d1c4c53caa36b1b6263e62cd044f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d7bd0b7dfc062507f646fef1d0fad15f90d1c4c53caa36b1b6263e62cd044f0","first_computed_at":"2026-05-18T04:21:29.569046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:21:29.569046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c3K/MRGBCY8LY1MR2SB0R58gjW5IB9wjDJgj878twtINau4C588Lh7+mJRsBmoBym83vyXTp/4uNR1a3DP4ZAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:21:29.569406Z","signed_message":"canonical_sha256_bytes"},"source_id":"1105.4224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29d7e562804dc7508eab73a4d9b98c78d8a040b134e5707baabab2f04db337d7","sha256:a167f818c770d3add2ce7ffc42cdd8d0b29ba0a71731b6a808c9ccd4ce0a4b56"],"state_sha256":"2c3b43b3bf86f9729a46670f05340267a1f2b05374b67b3bfe1b77df6de524eb"}