{"as_of":"2026-08-09T12:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d29361c7127c4a8188a3f950f82c761ea64851d5f4792ef6960321fc6c01dd08","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-09T06:31:02.800959+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:69db2fa043f6ac0dadb77c49920dcb32632e5c7f5872a39deecc947d59d9a507","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e7a544220a54f6d5ddcf684b862b9f4aed71af309aa4e46b3b65b5adcd06513b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:8f3a48e943e5ec51b9dcfa253dc51670b616578cb4c6340446dbf56c473a9faa","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e071dcc2ea943e5a0dc42bc4acc0939474f539a9fea47eeeaa3ef10e78f67c42","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:4491d015fb9a00296ecd57ff860791fda2382ec9b464a896c50bb6a02c4d52b8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ad7a90f252a03d888c9e58f7d1632ec7122d9f43b8a7ad53f5c058baad060a96","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:e128ec2943e027955ef73b2772d0e8b14fc317472eb15636927b16cbb6b75cc9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:5766a9edd58c1ff1b25ff23fab2e3abfaa40473058d1037595d13474ed9dba71","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:ecda8c291aaac097ac1ddbd1be40a24d57890d3e41b8589ba54113c0f626bfe6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:80333491edc7801c70dc58dfc16c4e05377ddd50acc91e2afd22722b6b47f3db","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:0f9243f9ee06821fab03d4eca5d8a588b9a61c440323074473360dfc4850bae8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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:9f5752b865a20451cb3a5555131fb4f4a8fa9e1a4d35b59b221ff40f429ef7e0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 16 of 16 outbound references and 0 inbound Pith citation observations for arXiv:2607.13981."}