{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:FPNTHXYVF72O7YPAEEXQXQM2CW","short_pith_number":"pith:FPNTHXYV","schema_version":"1.0","canonical_sha256":"2bdb33df152ff4efe1e0212f0bc19a15ad82db4efbaa1a119a6af15317a65689","source":{"kind":"arxiv","id":"1609.04090","version":1},"attestation_state":"computed","paper":{"title":"Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adriano Peron (University of Napoli \"Federico II\", Alberto Molinari (University of Udine, Angelo Montanari (University of Udine, Italy), Laura Bozzelli (Technical University of Madrid (UPM), Pietro Sala (University of Verona, Spain)","submitted_at":"2016-09-14T00:58:20Z","abstract_excerpt":"In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position. Statements that may be true at certain intervals, but at no sub-interval of them, such as accomplishments, as well as metric constraints about the length of intervals, that force, for instance, an interval to be at least (resp., at most, exactly) k points long, can be expressed in AB. Moreover, over the linear order of the natural numbers N, it subsumes the (point-based) logic LTL, as it can easily encode the next and until mo"},"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":"1609.04090","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-14T00:58:20Z","cross_cats_sorted":[],"title_canon_sha256":"2d1daa93c966cc9aa3f71290078d3d644a4b29239543cddcd342194163889efd","abstract_canon_sha256":"40da269b5f0970bf72fff8811cdc5a1e4988d1d39cb792d9a362f3f1e285d536"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:40.665630Z","signature_b64":"jJeD0/tB4dr2JkPmcG0kXFVoeX2vPM5sBaZZk3Fb6GYoIjh0jW8H2wrMQJU8opfub+FSw6y4eg4jJ/E0e5YzDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bdb33df152ff4efe1e0212f0bc19a15ad82db4efbaa1a119a6af15317a65689","last_reissued_at":"2026-05-18T01:04:40.664936Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:40.664936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Adriano Peron (University of Napoli \"Federico II\", Alberto Molinari (University of Udine, Angelo Montanari (University of Udine, Italy), Laura Bozzelli (Technical University of Madrid (UPM), Pietro Sala (University of Verona, Spain)","submitted_at":"2016-09-14T00:58:20Z","abstract_excerpt":"In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position. Statements that may be true at certain intervals, but at no sub-interval of them, such as accomplishments, as well as metric constraints about the length of intervals, that force, for instance, an interval to be at least (resp., at most, exactly) k points long, can be expressed in AB. Moreover, over the linear order of the natural numbers N, it subsumes the (point-based) logic LTL, as it can easily encode the next and until mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04090","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":"1609.04090","created_at":"2026-05-18T01:04:40.665036+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.04090v1","created_at":"2026-05-18T01:04:40.665036+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04090","created_at":"2026-05-18T01:04:40.665036+00:00"},{"alias_kind":"pith_short_12","alias_value":"FPNTHXYVF72O","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"FPNTHXYVF72O7YPA","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"FPNTHXYV","created_at":"2026-05-18T12:30:15.759754+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/FPNTHXYVF72O7YPAEEXQXQM2CW","json":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW.json","graph_json":"https://pith.science/api/pith-number/FPNTHXYVF72O7YPAEEXQXQM2CW/graph.json","events_json":"https://pith.science/api/pith-number/FPNTHXYVF72O7YPAEEXQXQM2CW/events.json","paper":"https://pith.science/paper/FPNTHXYV"},"agent_actions":{"view_html":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW","download_json":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW.json","view_paper":"https://pith.science/paper/FPNTHXYV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.04090&json=true","fetch_graph":"https://pith.science/api/pith-number/FPNTHXYVF72O7YPAEEXQXQM2CW/graph.json","fetch_events":"https://pith.science/api/pith-number/FPNTHXYVF72O7YPAEEXQXQM2CW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW/action/storage_attestation","attest_author":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW/action/author_attestation","sign_citation":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW/action/citation_signature","submit_replication":"https://pith.science/pith/FPNTHXYVF72O7YPAEEXQXQM2CW/action/replication_record"}},"created_at":"2026-05-18T01:04:40.665036+00:00","updated_at":"2026-05-18T01:04:40.665036+00:00"}