{"as_of":"2026-08-12T05:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e0147b84f60a72f1a700f42c3087374e25d41d48abc60b41bfde6dbd02c178d2","coverage":[{"denominator":16,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":16,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T03:20:04.045703Z","state":"measured"},{"denominator":16,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":16,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.13981/citation-record","integrity":"/paper/2607.13981/integrity","json":"/paper/2607.13981/citation-record.json","paper":"/paper/2607.13981"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T03:20:03.134013Z","title":"Metric linear-time temporal logic with strict first-time semantics","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.134013Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:4b75db396cdf8d69c7e54c7f2d7f70ac4a6874c2b03e6285cead698ca57f242f","observation_id":"f4d58206-25c0-4e38-904a-d99a693966d1","resolution":{"observed_at":"2026-08-02T03:20:03.134013Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-04761-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Springer, 2009.doi:10.1007/978-3-642-04761-9\\_26","venue":null,"work_id":"5949e748-5c25-4600-86a3-fc0914adada6","year":2009},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.637007Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:7b0ffe95f801d36f275dc5e02eb1b5d79efe7745c2e5a78b42317178a6558529","observation_id":"85d29edc-910f-40bc-9580-259b607bc7e3","resolution":{"observed_at":"2026-08-02T03:23:29.121452Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00236-025-00507-w","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"13 Thomas Møller Grosen, Sean Kauffman, Kim G","venue":"Acta Informatica","work_id":"00c21c4c-4b4d-4f04-9907-afa826080362","year":2025},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.893156Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:ce45098bfbc9198e0cb45c12fa3f42beff8879763676cd79689dab165277983b","observation_id":"19f2d1c7-5a20-4a78-aa1d-50fba1d9ce2d","resolution":{"observed_at":"2026-08-02T03:23:29.035735Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.concur.2025.19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"14 Stéphane Lafortune, Feng Lin, and Christoforos N","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"869bf369-44eb-4e23-a8b5-806cddb764c4","year":2025},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.008709Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:5c5ef4f0e1ebf3db1c42a68a7cb408d7853a3c3078621e48ba7e2d22a8652c4f","observation_id":"ef4ae3d3-c48c-4532-8cb0-acfee39660f5","resolution":{"observed_at":"2026-08-02T03:23:28.958757Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T03:20:04.027401Z","title":"2008.08.004,doi:10.1016/J.JLAP.2008.08.004","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.027401Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:76533c110ed4d80fc7a78d6c8458aa8463d8594b5e0a4bc04d0c572ad65a56c2","observation_id":"ea11e810-7a74-4242-b43c-cca642fea9a3","resolution":{"observed_at":"2026-08-02T03:20:04.027401Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/tsmca.2005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T03:23:28.506231Z","title":null,"venue":null,"work_id":"b4fe63ea-61e9-482c-99c8-2618a45c8571","year":2005},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.040960Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:e7b9f97302df7dbb2862692548666b03281411209a777726943895046afdc38a","observation_id":"e7f077c4-97da-49a2-989a-55550dc55ce3","resolution":{"observed_at":"2026-08-02T03:23:28.561595Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T03:20:03.783363Z","title":"12 Bernd Finkbeiner and Julian Siber","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.783363Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:d978d009f639588345ac24d2f0d591a18f789287e846d5ab70e7fed75e6f010a","observation_id":"8a1288a2-f6f8-4b4c-9e89-c0bc0b597e18","resolution":{"observed_at":"2026-08-02T03:20:03.783363Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10298","last_updated":"2020-09-03T20:58:25Z","snapshot_observed_at":"2026-07-06T08:59:36.401601Z","submitted_at":"2020-02-24T14:58:39Z","title":"Reducing urban traffic congestion due to localized routing decisions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10298","snapshot_observed_at":"2026-08-02T03:20:04.017684Z","title":"16 François Laroussinie, Nicolas Markey, and Philippe Schnoebelen","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.017684Z"},"links":{"cited_paper":"/paper/2002.10298","citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:2ae8dba9b689d64640b0a9858efe001a200f18d84e7f3ae7b4251e28983c97d6","observation_id":"665537a1-c095-4ffe-b207-f26ec2267740","resolution":{"observed_at":"2026-08-02T03:20:04.017684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2005.11.020","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"17 Martin Leucker and Christian Schallhart","venue":"Theoretical Computer Science","work_id":"e549d8d0-2376-4897-a0db-97b90c082be0","year":2005},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.022414Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:20b8a1f3378ec81329ae32db1a8677a6dd83fac27f904ead9a317ba15ca00859","observation_id":"c0df774a-e3d4-48c2-8761-7eb1a568c241","resolution":{"observed_at":"2026-08-02T03:23:28.793730Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.artint.2007.05.005","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"19 Bastien Maubert, Sophie Pinchinat, and Laura Bozzelli","venue":"Artificial Intelligence","work_id":"098f17ad-0093-4769-b48f-1be93b97ed1e","year":2007},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.031633Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:ea80c3087365dd39a3d409344996ee32e695e97409da29f103b12f36baa010e3","observation_id":"95b26368-53af-41ce-98dd-e57e67176b80","resolution":{"observed_at":"2026-08-02T03:23:28.705817Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10207-008-0058-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"7 Franck Cassez","venue":"International Journal of Information Security","work_id":"a8b72121-6a2e-46b0-9982-989f705214e6","year":2009},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.383542Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:aa50b0c48d7a26f23cb34b53a080e7e7a34bb6c96a8cc1e89d3fb31675b38515","observation_id":"689876bc-0df4-4477-a1e5-31007d11860c","resolution":{"observed_at":"2026-08-02T03:23:29.251190Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-02617-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"8 Franck Cassez, Jérémy Dubreil, and Hervé Marchand","venue":"Lecture notes in computer science","work_id":"b7b3c23d-bd05-432b-bf0e-dc9fddfe3746","year":2009},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.484718Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:fee028df848d6c848aa2993967ace71f09373953b1a3c946a4416627bbb393b0","observation_id":"9c78107a-2e06-4b12-a1f3-584894cc2f99","resolution":{"observed_at":"2026-08-02T03:23:29.183890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.54.7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"20 Amir Pnueli and Aleksandr Zaks","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"ad096739-426f-48b3-ab45-4059dd71d0ee","year":2006},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.036340Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:44c79cec42e5b5bb46a928cf18db60fa60bdec50f7fb7bd1c206eb8e1787c1ce","observation_id":"918b1cfc-5295-4ef6-9cd0-82919ee8341b","resolution":{"observed_at":"2026-08-02T03:23:28.623346Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s11225-015-9637-9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"18 Epistemic Metric Temporal Logic with Past A Lower-Bound Details We give the formulas used in Section 4 and prove the properties claimed there","venue":"Studia Logica","work_id":"d52246c1-3381-43a2-859b-3d0fc323bb98","year":null},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.045703Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:5c90114c40795b621beac4ab06f491bff6f5ed5455d7a9f41ef22953fc655319","observation_id":"7f9ccfcb-1866-43eb-87a9-4c85b32769c8","resolution":{"observed_at":"2026-08-02T03:23:28.500528Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.arcontrol.2018.04.002","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"15 François Laroussinie, Nicolas Markey, and Philippe Schnoebelen","venue":"Annual Reviews in Control","work_id":"93d766ef-9be2-4821-9994-1c1f5ede3f33","year":2018},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:04.013116Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:815f21167b86b4b70a60fa2b689621e8403dfbfde8e22bd02b7cebaa132a6063","observation_id":"1526a72e-978a-4bc2-b725-c5cc045bb796","resolution":{"observed_at":"2026-08-02T03:23:28.871458Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.time.2025","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"3,doi:10.4230/LIPICS.TIME.2025.3","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"4ee15dcf-d25a-40d9-a5ba-7474f8412821","year":2025},"citing_paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T03:20:03.207161Z"},"links":{"citing_paper":"/paper/2607.13981"},"observation_digest":"sha256:b02afeed4a588c52be99102d1ed35d707dda575f7ba6f3a11a382d54992f440d","observation_id":"9310925d-7a72-4ea3-805d-99022eca9acf","resolution":{"observed_at":"2026-08-02T03:23:29.327133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.13981","last_updated":"2026-07-15T16:08:36Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-02T03:20:01.572689Z","submitted_at":"2026-07-15T16:08:36Z","title":"Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity"},"reference_resolution":{"displayed":16,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":12,"verified_fuzzy":0},"total_outbound_references":16},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.13981."}