{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QM2NJNAG6KJ6U7SUUEECTINURX","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":"9c76d6b63439dc11cc1bddf7f4c9747d921732e2938af2a7927106fc8858b989","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-09-03T12:56:15Z","title_canon_sha256":"7207947410c73376e2ed8151ce007cbdf3def76951a69031246e2fd4ec083fe6"},"schema_version":"1.0","source":{"id":"1909.01128","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.01128","created_at":"2026-07-05T00:01:16Z"},{"alias_kind":"arxiv_version","alias_value":"1909.01128v1","created_at":"2026-07-05T00:01:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.01128","created_at":"2026-07-05T00:01:16Z"},{"alias_kind":"pith_short_12","alias_value":"QM2NJNAG6KJ6","created_at":"2026-07-05T00:01:16Z"},{"alias_kind":"pith_short_16","alias_value":"QM2NJNAG6KJ6U7SU","created_at":"2026-07-05T00:01:16Z"},{"alias_kind":"pith_short_8","alias_value":"QM2NJNAG","created_at":"2026-07-05T00:01:16Z"}],"graph_snapshots":[{"event_id":"sha256:136c634cf739734b246f579358200706472c113c08dce7778da177da85ce95fb","target":"graph","created_at":"2026-07-05T00:01:16Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1909.01128/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Allen's Interval Algebra constitutes a framework for reasoning about temporal information in a qualitative manner. In particular, it uses intervals, i.e., pairs of endpoints, on the timeline to represent entities corresponding to actions, events, or tasks, and binary relations such as precedes and overlaps to encode the possible configurations between those entities. Allen's calculus has found its way in many academic and industrial applications that involve, most commonly, planning and scheduling, temporal databases, and healthcare. In this paper, we present a novel encoding of Interval Algeb","authors_text":"Michael Sioutis, Tomi Janhunen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-09-03T12:56:15Z","title":"Allen's Interval Algebra Makes the Difference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.01128","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:4550340f78ed869b918d11d3e960f086ce0df290a3678b1f24c6b12f94fd9078","target":"record","created_at":"2026-07-05T00:01:16Z","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":"9c76d6b63439dc11cc1bddf7f4c9747d921732e2938af2a7927106fc8858b989","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-09-03T12:56:15Z","title_canon_sha256":"7207947410c73376e2ed8151ce007cbdf3def76951a69031246e2fd4ec083fe6"},"schema_version":"1.0","source":{"id":"1909.01128","kind":"arxiv","version":1}},"canonical_sha256":"8334d4b406f293ea7e54a10829a1b48dff388e9ef84e7f596e7de4b714f66545","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8334d4b406f293ea7e54a10829a1b48dff388e9ef84e7f596e7de4b714f66545","first_computed_at":"2026-07-05T00:01:16.135375Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:01:16.135375Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7IZj0JJtPIjHpnu0VYCendc9Y3eV2i3t+9043RHgi0ZGdkVT1YQfiB+yJGghXp9C9YOMCONoIRZS9laZPmQ+AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:01:16.135747Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.01128","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4550340f78ed869b918d11d3e960f086ce0df290a3678b1f24c6b12f94fd9078","sha256:136c634cf739734b246f579358200706472c113c08dce7778da177da85ce95fb"],"state_sha256":"ed36b6b83bdba1533ea91c331af484ff0c6956f7139b897ea43043b4a11db994"}