{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:7GWZZ6VIKEXY7EJXLPTP4HQLRQ","short_pith_number":"pith:7GWZZ6VI","schema_version":"1.0","canonical_sha256":"f9ad9cfaa8512f8f91375be6fe1e0b8c0425e09022396c8b05bf187f866cd6f0","source":{"kind":"arxiv","id":"2605.30618","version":1},"attestation_state":"computed","paper":{"title":"Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Igor St\\'ephan, Mart\\'in Di\\'eguez, Susana Hahn, Torsten Schaub","submitted_at":"2026-05-28T22:13:40Z","abstract_excerpt":"Metric temporal equilibrium logic (\\MEL) extends temporal equilibrium logic (\\TEL)\n  by incorporating quantitative timing constraints,\n  enabling the specification and analysis of deadlines and durations.\n  \\MEL\\ is particularly suited for domains where time-bound properties are crucial,\n  such as embedded systems, cyber-physical systems, and real-time software.\n  It facilitates the precise expression of timing behaviors,\n  such as the requirement that an event must occur within 5 milliseconds of a trigger,\n  which often elude traditional qualitative temporal logics.\n  In this paper,\n  we pres"},"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":"2605.30618","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-05-28T22:13:40Z","cross_cats_sorted":[],"title_canon_sha256":"7f531bd21d4e3e675ef77106cdde2fefd80efb5ed997caa314c6d116f3bd407e","abstract_canon_sha256":"0bcecf51099ee9863a63c237b87c88d973c5f7f3ff14086f747bcc2383ec36a4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:03:04.260000Z","signature_b64":"wta2FtHhvUUJbZnKN2ngm/s9O+HyKxXZK3N1BEQEbmKECKRro+fSDMU6g+gpp0yXnQ2cfFXQ1JhRVWBIaq6JAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f9ad9cfaa8512f8f91375be6fe1e0b8c0425e09022396c8b05bf187f866cd6f0","last_reissued_at":"2026-06-01T01:03:04.259149Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:03:04.259149Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Igor St\\'ephan, Mart\\'in Di\\'eguez, Susana Hahn, Torsten Schaub","submitted_at":"2026-05-28T22:13:40Z","abstract_excerpt":"Metric temporal equilibrium logic (\\MEL) extends temporal equilibrium logic (\\TEL)\n  by incorporating quantitative timing constraints,\n  enabling the specification and analysis of deadlines and durations.\n  \\MEL\\ is particularly suited for domains where time-bound properties are crucial,\n  such as embedded systems, cyber-physical systems, and real-time software.\n  It facilitates the precise expression of timing behaviors,\n  such as the requirement that an event must occur within 5 milliseconds of a trigger,\n  which often elude traditional qualitative temporal logics.\n  In this paper,\n  we pres"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.30618","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.30618/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2605.30618","created_at":"2026-06-01T01:03:04.259301+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.30618v1","created_at":"2026-06-01T01:03:04.259301+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.30618","created_at":"2026-06-01T01:03:04.259301+00:00"},{"alias_kind":"pith_short_12","alias_value":"7GWZZ6VIKEXY","created_at":"2026-06-01T01:03:04.259301+00:00"},{"alias_kind":"pith_short_16","alias_value":"7GWZZ6VIKEXY7EJX","created_at":"2026-06-01T01:03:04.259301+00:00"},{"alias_kind":"pith_short_8","alias_value":"7GWZZ6VI","created_at":"2026-06-01T01:03:04.259301+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/7GWZZ6VIKEXY7EJXLPTP4HQLRQ","json":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ.json","graph_json":"https://pith.science/api/pith-number/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/graph.json","events_json":"https://pith.science/api/pith-number/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/events.json","paper":"https://pith.science/paper/7GWZZ6VI"},"agent_actions":{"view_html":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ","download_json":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ.json","view_paper":"https://pith.science/paper/7GWZZ6VI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.30618&json=true","fetch_graph":"https://pith.science/api/pith-number/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/graph.json","fetch_events":"https://pith.science/api/pith-number/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/action/storage_attestation","attest_author":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/action/author_attestation","sign_citation":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/action/citation_signature","submit_replication":"https://pith.science/pith/7GWZZ6VIKEXY7EJXLPTP4HQLRQ/action/replication_record"}},"created_at":"2026-06-01T01:03:04.259301+00:00","updated_at":"2026-06-01T01:03:04.259301+00:00"}