{"as_of":"2026-08-13T13:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1d88cf9dfdde5b543c8601ce28f016ad642b03f072700aff624a8e673fc4698a","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:17:13.702036Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+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/2411.14581/citation-record","integrity":"/paper/2411.14581/integrity","json":"/paper/2411.14581/citation-record.json","paper":"/paper/2411.14581"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.570791Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.570791Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:93282388065448fd769f88fb8534cbf25cb93a48941f8b42d33d272274820868","observation_id":"6337ecfc-d7cb-41a4-9b01-ae76172edcc3","resolution":{"observed_at":"2026-08-12T15:17:13.570791Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.576592Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.576592Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:334fc690df979bc8463740342c00521e24e9221855b3f440717da87f858b661a","observation_id":"c9aa1902-c83d-4c05-a02c-cf30b53e45bd","resolution":{"observed_at":"2026-08-12T15:17:13.576592Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.582316Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.582316Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:84fb34a41298cb94191671b76f0c256c410b61f13ed81ca54af9532daa7555b7","observation_id":"1586e29d-3aab-4c78-8448-780eba15604c","resolution":{"observed_at":"2026-08-12T15:17:13.582316Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.587537Z","title":", \" * write output.state after.block = add.period write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.587537Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:b648f4167f9e4031a2d1e041bf58085fbb030668bbb4d560171453576a12cb3c","observation_id":"af81eb71-d430-446a-8206-8c9b0135a095","resolution":{"observed_at":"2026-08-12T15:17:13.587537Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.593123Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.593123Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:6a097db84310790cb0dad2b29b4673e15e8f2047e715cbc80bae32fdbecc6d7c","observation_id":"4f59d82d-7258-4474-b1a8-d30f16c2d686","resolution":{"observed_at":"2026-08-12T15:17:13.593123Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.599076Z","title":"journal Proceedings of the ACM on Programming Languages volume 3 ( number POPL ), pp","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.599076Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:b89de4fdb91f632b138406a8ae7f8a3deb12b722b6fd56dcf4b4d2df66780bce","observation_id":"a4b4f2e5-4a71-46fb-8a91-ffabad6f00e2","resolution":{"observed_at":"2026-08-12T15:17:13.599076Z","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":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:14.231088Z","title":"journal Archive of Formal Proofs","venue":null,"work_id":"0a26b482-ef8d-4e13-91a5-c8f8ddeb5437","year":2024},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.604124Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:0ddc1a40baa5321cbc92df1d5839e75253981b4a4ad93acb3d21ed729f605914","observation_id":"c2ea9340-cce9-4a17-b37f-45b0530929f6","resolution":{"observed_at":"2026-08-12T15:17:14.236067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:17:13.609184Z","title":"Schneider ( year 1985 ): title Defining liveness","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.609184Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:e37c9fa338dd483d0157ff74173b985402edaa738c3c90b86ac2535838c71c7d","observation_id":"ca4f4fec-4b32-48eb-b41e-90063385a8a7","resolution":{"observed_at":"2026-08-12T15:17:13.609184Z","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-32759-9_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: booktitle FM 2012: Formal Methods , publisher Springer , pp","venue":"Lecture notes in computer science","work_id":"caa1210e-fd99-4115-8fb5-28042620a31d","year":2012},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.614256Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:3d419a3a1390cc2e351eb63dc0c018fe06279c00f6204da281f513e648f1ce04","observation_id":"813a9c1d-820b-4580-9189-f9e0433fa04f","resolution":{"observed_at":"2026-08-12T15:17:13.923284Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:14.215412Z","title":"pages 141–153","venue":null,"work_id":"d3a3d738-0ddd-4471-b6ac-6cd4ae4a7668","year":1996},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.619188Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:0d474c83e15d977c2cedd5bd21090303f82c0b1c3f2cc8ea2a34a1fa984b3737","observation_id":"fd284034-6292-48ca-aa20-4371ea4a2cd7","resolution":{"observed_at":"2026-08-12T15:17:14.220885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-94-017-0458-8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.901135Z","title":"In: booktitle Handbook of Philosophical Logic , publisher Springer , pp","venue":null,"work_id":"6516b0ea-b7ee-42c9-9f18-00aae8721527","year":2002},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.623823Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:7a02a85f6153471f49f5b900c7f6b24be3f86bb7b23a6c4c8d715a496c9d3985","observation_id":"77c38b65-e3e1-4592-9c3d-a145f06e6727","resolution":{"observed_at":"2026-08-12T15:17:13.906262Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-77395-5_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"pages 126--138 , doi:10.1007/978-3-540-77395-5_11","venue":"Lecture notes in computer science","work_id":"a48e395b-75dc-47cd-84a3-29e96863dd08","year":2007},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.629362Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:4d66c59462a1ee62947959bab72e05d0a82e7393fe4bafa92bab636b1ae05af7","observation_id":"8b4798e8-0733-499f-995c-09796b0e5c9a","resolution":{"observed_at":"2026-08-12T15:17:13.889139Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:17:13.634376Z","title":"journal Journal of Logic and Computation volume 20 ( number 3 ), pp","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.634376Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:a12e52d5502921e23b6bb7a4de221aa46c4d08684928824407af20796a3d40f4","observation_id":"a31bace2-babb-4462-8dec-614063bbdc21","resolution":{"observed_at":"2026-08-12T15:17:13.634376Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.639054Z","title":"journal ACM Transactions on Software Engineering Methodology volume 20 ( number 4 ), doi:10.1145/2000799.2000800","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.639054Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:2b8dfa613ab4593c8c73f08be0cc5f26b24e332ebbd782631e722e997e0a3714","observation_id":"c676a8f8-ad7f-4310-8240-374cbf001060","resolution":{"observed_at":"2026-08-12T15:17:13.639054Z","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-58041-3_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: booktitle Logic and Algebra of Specification , publisher Springer , pp","venue":null,"work_id":"dc0ff0d9-1e44-4231-bc9c-0e8c49ee51fe","year":1993},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.643587Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:7fa9ab8e1e716e306ad7286a06a23b9a200053352ad028ce0353339f23516f8b","observation_id":"f5479e26-fad0-4119-b305-d38828c388fa","resolution":{"observed_at":"2026-08-12T15:17:13.861017Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ismvl.2014.47","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.840419Z","title":"In: booktitle IEEE 44th International Symposium on Multiple-Valued Logic , pp","venue":null,"work_id":"585e2786-fd7d-4f6c-9101-3132556e3307","year":2014},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.648569Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:f6595e8fd5d0c50eb6e75202e10890f3dda8d83d9e7e7fc104c89d2b6b76b61a","observation_id":"ccbcedc0-56dd-42ab-b426-bd1ad6112994","resolution":{"observed_at":"2026-08-12T15:17:13.845332Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-45069-6_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: booktitle Computer Aided Verification , publisher Springer , pp","venue":"Lecture notes in computer science","work_id":"c2aeaba1-4b0a-4c79-9c99-6f2a7ba2c17b","year":2003},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.653233Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:c6a35341446a7e8cda5f6973a6ef53b348436546b8d40bc7ab754a6dad529c8f","observation_id":"28702110-a723-47cf-807d-5d45ad55c6d5","resolution":{"observed_at":"2026-08-12T15:17:13.830156Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-30829-1_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Henzinger , author Nicolas Mazzocchi & author N","venue":"Lecture notes in computer science","work_id":"bf1b4ef2-19b8-4d76-8271-41b821d3758f","year":2023},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.657984Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:3dc0ac093f6befeba3515ebf894f5d2e31bd8238374331067ed366f5dbd6ea6e","observation_id":"21a926fb-4371-4ad4-ab81-6d36d23cc817","resolution":{"observed_at":"2026-08-12T15:17:13.814266Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:14.196315Z","title":"In: booktitle International Conference on Automated Planning and Scheduling , publisher AAAI , pp","venue":null,"work_id":"9d8f9eb2-f901-4cdb-9d9c-6052af68ab39","year":2005},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.662380Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:99d3c4f15fae2454403bb9bb7d57b4cb229d9fcc9e0ea84a1baab221e7fbc8d1","observation_id":"5dfe7b27-372c-40e9-8b1f-34a4f34123fd","resolution":{"observed_at":"2026-08-12T15:17:14.202118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T15:17:13.667572Z","title":"Vardi ( year 2001 ): title Model Checking of Safety Properties","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.667572Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:ec3e97d96658b8231cc54b56717569655e79ca62810922e143d6924a15f177ad","observation_id":"fe5774e5-49b9-4532-944d-d3b7bcc0cb90","resolution":{"observed_at":"2026-08-12T15:17:13.667572Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.672778Z","title":"journal IEEE Transactions on Software Engineering volume 3 ( number 2 ), pp","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.672778Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:fb0eb4b38fd250969cc2bdfc98901290aa00c34786ad83e972e16eac75bee2d6","observation_id":"2d2276ee-83aa-404f-b1d1-707a22222e7c","resolution":{"observed_at":"2026-08-12T15:17:13.672778Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.677790Z","title":"In: booktitle Logics of Programs , publisher Springer , pp","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.677790Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:ad8e0bbb36a2b7ccfb41a5229d864aa2b7c1e83d6f623935e8d330cf361104c0","observation_id":"04c04ce8-1ef0-4e54-b485-e3739bbb5681","resolution":{"observed_at":"2026-08-12T15:17:13.677790Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.682728Z","title":"publisher Springer , doi:10.1007/978-1-4612-0931-7","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.682728Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:7161945aaeb11ae7579087888c0202de6d1c70690cd4b3df0d7b05ed6c464b5f","observation_id":"a21bdb53-1b6b-4184-8f04-7eb9a04740cd","resolution":{"observed_at":"2026-08-12T15:17:13.682728Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.687421Z","title":"publisher Springer , doi:10.1007/978-1-4612-4222-2","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.687421Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:c8a4c5e019d37644629059b60c6f1e5068147d9b73912a990364c126ad264676","observation_id":"ca885c6e-6b57-4369-be8a-462bc67d6109","resolution":{"observed_at":"2026-08-12T15:17:13.687421Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.692188Z","title":"In: booktitle Programming Language Design and Implementation , series PLDI 2022 , publisher ACM , p","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.692188Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:26afe3b64f4658f3b3bb4ed8f35025c471236a0a80e4b6c3924b6539bfeff028","observation_id":"060ea0c5-11b4-4571-aebb-fec9b8ee5e03","resolution":{"observed_at":"2026-08-12T15:17:13.692188Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.696878Z","title":"journal Automated Software Engineering volume 12 ( number 2 ), pp","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.696878Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:156118b8768d36297e67d2bf933e16c1a13e68b10ac659c1fe5942a2a5837e7b","observation_id":"dd07ec16-83f4-4920-b0f8-3c5894796cfc","resolution":{"observed_at":"2026-08-12T15:17:13.696878Z","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.4230/lipics.csl.2016.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:17:13.735537Z","title":null,"venue":null,"work_id":"0b56a08b-aff6-41fc-b909-e727fd98770c","year":2016},"citing_paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T15:17:13.702036Z"},"links":{"citing_paper":"/paper/2411.14581"},"observation_digest":"sha256:78c4c12d5ef3f3a125881952ed3f71f42720a57bd020b15553aa2880dc3b3f7c","observation_id":"c16ef94f-ed12-448e-b3d2-f1ca17c6e112","resolution":{"observed_at":"2026-08-12T15:17:13.742094Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14581","last_updated":"2024-11-21T20:46:55Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T15:05:47.749560Z","submitted_at":"2024-11-21T20:46:55Z","title":"Semantics for Linear-time Temporal Logic with Finite Observations"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":8,"verified_fuzzy":3},"total_outbound_references":27},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2411.14581."}