{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:PPQSHWWEB7EMX3A6NR2AC5QW7V","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":"c5e724c97ec0971c10fb5d0f55a13670212e3095bd22ddf5ba02e71e9fb720a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-28T13:04:59Z","title_canon_sha256":"677ce049c0489e7d1b534753dd7ab32b9beac858cc141d252daa9d1c243bb3df"},"schema_version":"1.0","source":{"id":"1404.6965","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6965","created_at":"2026-05-18T02:53:05Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6965v1","created_at":"2026-05-18T02:53:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6965","created_at":"2026-05-18T02:53:05Z"},{"alias_kind":"pith_short_12","alias_value":"PPQSHWWEB7EM","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"PPQSHWWEB7EMX3A6","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"PPQSHWWE","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:0c5950c8903ccfe4fe08ac1890235fc42d2affd478157401210cb8af6798c9ed","target":"graph","created_at":"2026-05-18T02:53:05Z","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":"Metric Temporal Logic $\\mathsf{MTL}[\\until_I,\\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permitted set of modalities and the nature of time interval constraints $I$. Henzinger et al., in their seminal paper showed that the non-punctual fragment of $\\mathsf{MTL}$ called $\\mathsf{MITL}$ is decidable. In this paper, we sharpen this decidability result by showing that the partially punctual fragment of $\\mathsf{MTL}$ (denoted $\\mathsf{PMTL}$) is decidable over strictly monotonic finite point w","authors_text":"Khushraj Madnani, Paritosh Pandya, Shankara Narayanan Krishna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-28T13:04:59Z","title":"Partially Punctual Metric Temporal Logic is Decidable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6965","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:7f14e40c03d41001ae80beee0be6d172b14f9bfe84aa4d6c647798b08650ff89","target":"record","created_at":"2026-05-18T02:53:05Z","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":"c5e724c97ec0971c10fb5d0f55a13670212e3095bd22ddf5ba02e71e9fb720a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-28T13:04:59Z","title_canon_sha256":"677ce049c0489e7d1b534753dd7ab32b9beac858cc141d252daa9d1c243bb3df"},"schema_version":"1.0","source":{"id":"1404.6965","kind":"arxiv","version":1}},"canonical_sha256":"7be123dac40fc8cbec1e6c74017616fd6233ea0b8c2b3e854b32390de88230ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7be123dac40fc8cbec1e6c74017616fd6233ea0b8c2b3e854b32390de88230ce","first_computed_at":"2026-05-18T02:53:05.454865Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:53:05.454865Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yDVACZeJedLDj/h/lXiZ7e5PyypXWNF4OjOqdUsimyFHBOLCX7GsBXebg1EwksD6LqILzMUE/URobCnwWgI1Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:53:05.455376Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.6965","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7f14e40c03d41001ae80beee0be6d172b14f9bfe84aa4d6c647798b08650ff89","sha256:0c5950c8903ccfe4fe08ac1890235fc42d2affd478157401210cb8af6798c9ed"],"state_sha256":"6b06ee0c734a592fbdbd658966108036b4099fd83d2446b69de7ab7bc28ea810"}