{"as_of":"2026-08-10T16:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:f75c5d659d2774fd17b275604e5853926acc3a39dc95ee9174a2a079c4889dc8","coverage":[{"denominator":69,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":69,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T11:24:22.950388Z","state":"measured"},{"denominator":70,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":70,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T21:36:27.340075Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-04T21:36:44.072892Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"cited_work":{"arxiv_id":"2509.02958","doi":null,"metadata_source":"pith","pith_arxiv_id":"2509.02958","snapshot_observed_at":"2026-08-04T21:36:44.072892Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","venue":"cs.LO","work_id":"824920eb-c61e-46de-a3be-637f39e2749c","year":2025},"citing_paper":{"arxiv_id":"2608.01763","last_updated":"2026-08-03T06:34:31Z","snapshot_observed_at":"2026-08-08T16:17:24.950364Z","submitted_at":"2026-08-03T06:34:31Z","title":"EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming","version":1},"reference_index":177,"source":"arxiv_source","source_observed_at":"2026-08-04T21:36:27.340075Z"},"links":{"cited_paper":"/paper/2509.02958","citing_paper":"/paper/2608.01763"},"observation_digest":"sha256:2ee922d88acda472da5fe852edf2849743dd18f4e792d1b73e0605c565703d17","observation_id":"f0fedb20-0bd1-4c6c-bfc7-3ee4c2c8aed1","resolution":{"observed_at":"2026-08-04T21:36:44.126754Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2509.02958/citation-record","integrity":"/paper/2509.02958/integrity","json":"/paper/2509.02958/citation-record.json","paper":"/paper/2509.02958"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T11:24:26.959232Z","title":null,"venue":null,"work_id":"48844c98-93a9-44a9-9e42-31a8a82086cc","year":2023},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:13.575643Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:fd7fe4ed1ab423dcd8552eb409ac0d3e75ef7b4d51e570379b33ba384fddd1d6","observation_id":"e6ef0707-8e67-4241-a22c-0b6fe2bdd8ae","resolution":{"observed_at":"2026-08-05T11:24:26.963031Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:13.681982Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:13.681982Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:ed0954b9c223b9a401ab0b6578c9cc3b6aa6bce49a1ff30dee7248d2bd62c0f1","observation_id":"0ec2f3df-2634-45b5-bd9b-e6bd2d05d1e8","resolution":{"observed_at":"2026-08-05T11:24:13.681982Z","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-05T11:24:26.947914Z","title":null,"venue":null,"work_id":"0b29cf44-1b62-462d-bc94-a77c2121074f","year":2023},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:13.828615Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:9fe09cb57fbdb34b23288fd77558731d665c5e83643d1f7256a2b72ba82092f1","observation_id":"3be6c5e8-67b8-4c3b-a925-fa568f6552b6","resolution":{"observed_at":"2026-08-05T11:24:26.951608Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.935219Z","title":null,"venue":null,"work_id":"b43cad3d-e8d0-4dd5-a223-cc36665537ab","year":2011},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:13.999554Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:30bd24bc3c4aa37db61ae5950300f2c0b72dade400b4310b313e6d94d1272d4c","observation_id":"3685d098-a3d3-4f95-b44b-f618e792ddc0","resolution":{"observed_at":"2026-08-05T11:24:26.938777Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.923127Z","title":null,"venue":null,"work_id":"02eb2e2f-41f3-4b11-a873-e9fad5d700cb","year":1983},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:14.136629Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:2d6b8e70d43de85d87f111710ba19b38effa59ceca7ed5c9ebe756bf4558c651","observation_id":"dfcdf044-6219-4c55-8bc3-639b85d96cee","resolution":{"observed_at":"2026-08-05T11:24:26.927397Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.910441Z","title":null,"venue":null,"work_id":"a384339e-f97b-4f2b-8bc8-c19e7b2dd12c","year":2025},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:14.302364Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:7118ea3ee1891b54f5f812ed0826ad461bca76fdfcdc623ce8c3f398082b7d34","observation_id":"0ba22aeb-fe7c-41ab-83a8-aeb0af53a7e4","resolution":{"observed_at":"2026-08-05T11:24:26.914723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.898862Z","title":null,"venue":null,"work_id":"da6c282d-aee0-4267-aa7e-51f1f5b82e6d","year":null},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:14.511787Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:775d9aae6fbeef7b65144c3520798232909655362c753d10a3f1e3fe843bc139","observation_id":"1f226278-4f50-44d0-8561-b7d481d69ac4","resolution":{"observed_at":"2026-08-05T11:24:26.902925Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.887253Z","title":null,"venue":null,"work_id":"ad1e0ce6-6588-4db7-b193-1a0d02ce952a","year":2013},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:14.731083Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:9df626a2eb79995984c57124d6b51f5870760f709d6fef9830ea737bc2547e20","observation_id":"c76175f3-fab1-41d9-817d-0bc9f31a9958","resolution":{"observed_at":"2026-08-05T11:24:26.891333Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2015.65","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"229c3f0e-65e9-4b57-8502-b561df8463d0","year":2015},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:14.878408Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:f63f381f37aafefdf624131dda0f8fe8968b510c59a0e5324161bedbb89d7aec","observation_id":"7c40de50-5490-4fc9-b897-163efa892809","resolution":{"observed_at":"2026-08-05T11:24:23.396431Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.16210","last_updated":"2023-08-30T09:08:46Z","snapshot_observed_at":"2026-07-06T16:12:26.218372Z","submitted_at":"2023-08-30T09:08:46Z","title":"Deep Inductive Logic Programming meets Reinforcement Learning","version":1},"cited_work":{"arxiv_id":"2308.16210","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.16210","snapshot_observed_at":"2026-08-05T11:24:24.276522Z","title":"Deep Inductive Logic Programming meets Reinforcement Learning","venue":"cs.LG","work_id":"952925d7-41df-421b-9108-48c82579206e","year":2023},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.044718Z"},"links":{"cited_paper":"/paper/2308.16210","citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:6032198d171eb97030f2debb4094ed0456dfeca4e3f0cf537f2fc6d70dca5290","observation_id":"23296cd2-ac44-42d0-aaa2-b3ed4273b9c6","resolution":{"observed_at":"2026-08-05T11:24:24.360447Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2841.2022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T11:24:24.118235Z","title":null,"venue":null,"work_id":"01ca8dd9-11e7-49e6-9705-abb7f3af0a9a","year":2022},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.213641Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:9ec9de75a0e263f9a4aeb0352d36b13cab238eb943e636bde84db3fef586b2ca","observation_id":"41c56122-31c9-4a7f-a41d-b122a06d338e","resolution":{"observed_at":"2026-08-05T11:24:24.214186Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.876096Z","title":null,"venue":null,"work_id":"cbb5e04c-9479-4374-be3f-3b60e7bc439e","year":2007},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.426689Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:745486e185d848d6a99dd518630c906ae60ed03b1051935577237a432ab5fecb","observation_id":"dd8ad212-7f1c-4a12-a27a-aeb3593c4d9b","resolution":{"observed_at":"2026-08-05T11:24:26.880112Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.865425Z","title":null,"venue":null,"work_id":"fbcd03f7-79d4-4e68-ba3c-4d27e6634b7e","year":1989},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.591274Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:3de43ab6c6bb48748c6e69018f07d7a84b83d9d55f264844a43761fc4520b2d2","observation_id":"3df273ef-7ff0-430d-a1fa-1f4e5aa90756","resolution":{"observed_at":"2026-08-05T11:24:26.869038Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.854314Z","title":null,"venue":null,"work_id":"1ef12417-277e-40d3-912f-0762caf32691","year":2024},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.765389Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:7ad87ac730ce06200b69df0c3cbf372daf4c058d03194c3d68839796926c2f30","observation_id":"ad2f719c-abc8-4288-a3c7-32a15ab66671","resolution":{"observed_at":"2026-08-05T11:24:26.857740Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.843715Z","title":null,"venue":null,"work_id":"8e75d418-d440-4270-9ab5-99456daa188a","year":2020},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:15.942216Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:e076ac89bd62ae748c61702662eb2b14a6e33e5f4fad4865bc1c084b2cf20e8e","observation_id":"240634d0-8a71-4ba3-a72d-a0b31981a9f6","resolution":{"observed_at":"2026-08-05T11:24:26.847163Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.832229Z","title":null,"venue":null,"work_id":"fb89dd23-b0b4-42be-95fe-b6058695d695","year":1986},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.123704Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:f08e21ecb34c90bc5752b902457396814f212855b4225fe39050325b94f27058","observation_id":"9d98c468-d217-4786-8066-626a231892e2","resolution":{"observed_at":"2026-08-05T11:24:26.835889Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:16.289857Z","title":"Purushothaman Iyer, and Murali Narasimha","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.289857Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:8cdb60fc879f959b6dcff9455a2ad166f247d0c6387e80c43f20b0121e1680c4","observation_id":"cb50ef79-77db-4ae8-bb9c-05cec3d6c27d","resolution":{"observed_at":"2026-08-05T11:24:16.289857Z","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-05T11:24:26.820225Z","title":null,"venue":null,"work_id":"6bc80232-06a2-4bf7-8f9f-8af8e11fe6e6","year":2015},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.460408Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:5a632d8d750533b5ece53c2febf3dae6f487b7e007b6cf05adb4abfc237b9e1d","observation_id":"47dd216f-4429-4405-b0b5-4650a229223a","resolution":{"observed_at":"2026-08-05T11:24:26.823764Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.808720Z","title":null,"venue":null,"work_id":"e0f99d32-28a6-4168-b280-b752f714fb4e","year":1982},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.622368Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:484473bdd88fb57fcfd9248589aa9feceda323af55f28181e7d6bda9dfcd088a","observation_id":"984c9c3a-a31d-4f49-b8b3-f2d64d281cef","resolution":{"observed_at":"2026-08-05T11:24:26.812300Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.797760Z","title":null,"venue":null,"work_id":"2140df34-a896-4fd7-9272-67b1a11e1f33","year":2012},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.776386Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:d1970d3db4da15adcb714e5a4e95ea9a1a7bb2b752556e7b47710ba22f953ee7","observation_id":"e48609e0-8a8b-4535-b49c-21b6d9e258bd","resolution":{"observed_at":"2026-08-05T11:24:26.801185Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2002.11002","last_updated":"2020-04-22T09:06:19Z","snapshot_observed_at":"2026-08-08T01:18:49.522113Z","submitted_at":"2020-02-25T16:23:11Z","title":"Turning 30: New Ideas in Inductive Logic Programming","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.11002","snapshot_observed_at":"2026-08-05T11:24:16.790447Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.790447Z"},"links":{"cited_paper":"/paper/2002.11002","citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:02d91d3d03d1a8da0f4d729259962e26d8ed5547794b6c9642c357aaf7d64e54","observation_id":"0a1ea923-38ee-42a0-8ed4-ea823afa9b01","resolution":{"observed_at":"2026-08-05T11:24:16.790447Z","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-05T11:24:26.786624Z","title":null,"venue":null,"work_id":"ff321171-0607-40ca-8854-be86b0d8b4f0","year":2019},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:16.837338Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:9fb8fe8ea8571786ac854c51eddf30b489feb06acb1413d71b7776faf5786770","observation_id":"b270f869-16d4-43c2-a8b8-e426353263ed","resolution":{"observed_at":"2026-08-05T11:24:26.790380Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.774933Z","title":null,"venue":null,"work_id":"145c0fe8-8b36-4c0f-b00c-6ca8989d601a","year":1999},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.019548Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:d5141381646ada428fdf12012e4089bdcb79d9856d6891d7dc1ce8bcfe4b3d49","observation_id":"fa8a1e49-35f5-4e90-b49b-bda97f02f472","resolution":{"observed_at":"2026-08-05T11:24:26.778761Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.763520Z","title":"Dekhtyar, and V","venue":null,"work_id":"4594d423-ccfb-4b53-aa19-e9bc0877ed62","year":1999},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.142251Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:90fff71306d6341a9586215ffa7eff9a5561c697f3ac96091d9b081c9d826b74","observation_id":"ab2ed81d-9bec-4719-a8e7-913148e67b89","resolution":{"observed_at":"2026-08-05T11:24:26.767219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:17.274856Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.274856Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:b155c6b7b1d74ca2141eeb4b7cf8861e0bd63ff9f95371ceadf2b16f08bb65c6","observation_id":"8870a787-5c7a-468d-a6a7-78ed4179fd66","resolution":{"observed_at":"2026-08-05T11:24:17.274856Z","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-05T11:24:26.752575Z","title":null,"venue":null,"work_id":"2b8fb622-efbc-4dde-ad4f-4380f4310518","year":2024},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.432150Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:5fa1d95207f3bc06c76edda9fc947b601de3c9ddd829112a240551104c5028fb","observation_id":"c589ba93-4100-44e5-9afa-4e711588307e","resolution":{"observed_at":"2026-08-05T11:24:26.756196Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.740898Z","title":null,"venue":null,"work_id":"1fa7cbd2-210c-4483-aac9-742833284441","year":2016},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.553891Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:3263f395c56c87fc745917a331aba9cbf7821e3dcc7a1af3185805305362dd0e","observation_id":"04f14e43-787b-4525-9efe-036a90b575b4","resolution":{"observed_at":"2026-08-05T11:24:26.744456Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.729422Z","title":null,"venue":null,"work_id":"28b19ed4-2122-44f3-aca5-1d9db72e71e3","year":2018},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:17.681230Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:24178b4e50a67dd2783bfd7e626164f70bc0051f8c78c8a90091266d49735b56","observation_id":"c70d8099-e4f1-4fce-a5ae-2bc4bb3017c1","resolution":{"observed_at":"2026-08-05T11:24:26.733174Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.717387Z","title":null,"venue":null,"work_id":"078779c6-f2c3-4e00-b08a-25f809a44c2b","year":2020},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.008677Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:56863863788b66987e11cbf2f481b397a9e874becc3c41dbd5618e8a361b97d1","observation_id":"dc6dfdc4-68ad-42e4-9f0f-7c114ee2382c","resolution":{"observed_at":"2026-08-05T11:24:26.720918Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.703921Z","title":null,"venue":null,"work_id":"265a7420-2b11-493c-a0cf-0f967463a26c","year":2012},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.215619Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:1c8e507bbbd420d6a06813298dd4a24980f13be68b5f4f5e3645d2bb7335f7ab","observation_id":"7e834640-1330-435f-8540-9725b5c3656d","resolution":{"observed_at":"2026-08-05T11:24:26.708475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.692162Z","title":null,"venue":null,"work_id":"0f2a6152-1548-4149-af6d-b99bc70ce6e7","year":1988},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.338501Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:d624d52154ace0beec937a7ee403f7ba0c6e72a0eaa8c6da5cafc34d8662a6e7","observation_id":"674b803d-471b-43d1-8910-39d4f3eb0499","resolution":{"observed_at":"2026-08-05T11:24:26.695822Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.678941Z","title":null,"venue":null,"work_id":"e781eb11-7e6c-4a5d-a9cd-481f34d71c92","year":2021},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.465818Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:ab92b59b47c2075fa0b334b756e2594eea020cf0e036fa4dd6bcfbb80f3171a3","observation_id":"8116fe60-8d37-4fd1-9a38-9cd5771b91fe","resolution":{"observed_at":"2026-08-05T11:24:26.683592Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.665656Z","title":null,"venue":null,"work_id":"66638c33-974f-4039-b4b2-e7bff632fe32","year":1994},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.555947Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:82dd5a16f6a90debf8cfe266a72805e339773ef7af4aa4eae26f128c9c1ff0d2","observation_id":"ab77f0af-dffc-4ae8-b634-2e873070f7c1","resolution":{"observed_at":"2026-08-05T11:24:26.670301Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:18.665104Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.665104Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:a21493d8aa8b5f2c0a03eb487831dac35c42fed8bb9359fc3b6bbc0c03674a5f","observation_id":"fb889af9-af64-4319-a63c-80a29c38c192","resolution":{"observed_at":"2026-08-05T11:24:18.665104Z","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-05T11:24:26.646470Z","title":null,"venue":null,"work_id":"6ce9ce70-dc48-4cbf-b33c-26e900a805fc","year":2020},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.754824Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:68b9b0a3cb25940d588a8cf01a2631788156ed53e71d0daaa242c79f1e195e67","observation_id":"c34403df-157f-4e41-bbc5-d82695af7e93","resolution":{"observed_at":"2026-08-05T11:24:26.649946Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.634313Z","title":null,"venue":null,"work_id":"c7f4d883-9b4b-43db-b3c1-48c534b728ca","year":1978},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:18.931996Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:c2a3ab03558dd94987f947f83a8e43051ca37c4180743652cd5eb0ccdb55c810","observation_id":"2b793ca3-d8a1-4ae1-80fa-00444ed7f3d7","resolution":{"observed_at":"2026-08-05T11:24:26.638795Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.623255Z","title":"Subrahmanian","venue":null,"work_id":"7867b795-e9df-4a3d-9450-5aa86df924b4","year":1992},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.067919Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:753b72596a3f9dbec4b42df132c52724a08553e87873d547f5c99acafdd17a2f","observation_id":"427be4a7-b480-442a-acac-8156deba6a99","resolution":{"observed_at":"2026-08-05T11:24:26.627005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:19.219356Z","title":"Kowalski","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.219356Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:d1098d2c2013a8d7c41c74e7271ea64acfb3925406444994e1032ae190d05ad3","observation_id":"404be6da-d243-44d9-bdbb-ca3bbd1fc8e9","resolution":{"observed_at":"2026-08-05T11:24:19.219356Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.12816","last_updated":"2020-04-23T22:36:05Z","snapshot_observed_at":"2026-07-31T00:36:11.204598Z","submitted_at":"2020-04-23T22:36:05Z","title":"Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.12816","snapshot_observed_at":"2026-08-05T11:24:19.324614Z","title":"Lattner and V","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.324614Z"},"links":{"cited_paper":"/paper/2004.12816","citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:80127aa6ebece45b62acec9f2f3095b8dcfbabb57cafb76b8fe649380bca9e35","observation_id":"0e3122bc-c1d3-4ac1-82c2-9038c6f491dd","resolution":{"observed_at":"2026-08-05T11:24:19.324614Z","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-05T11:24:19.482545Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.482545Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:2db7363dec5073f7cdd3d39b67a6ed735f911a7fa362d36c2833176a1abfe61a","observation_id":"dc0aaa1f-8124-4857-a310-907faa4116ce","resolution":{"observed_at":"2026-08-05T11:24:19.482545Z","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-05T11:24:26.611624Z","title":null,"venue":null,"work_id":"8dad28bb-caf8-46d1-a2de-775be87e4458","year":1978},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.628246Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:32cfd8fe848e620b1d9927eb7856294440710650f25b12643aba5a765ef1be4a","observation_id":"9a28158a-4995-4ad8-941c-7f4cd43488c7","resolution":{"observed_at":"2026-08-05T11:24:26.615267Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.600127Z","title":null,"venue":null,"work_id":"21193c73-8b17-4193-9778-7c4685f666bb","year":null},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.747320Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:4fa60d7cdf249d8098fab45660998e5a6ae549c22040920362b8a4838ab2d52c","observation_id":"a19d5db3-e917-4ace-bd10-c0ea341ac787","resolution":{"observed_at":"2026-08-05T11:24:26.603893Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.587994Z","title":null,"venue":null,"work_id":"20b57a24-54b9-425a-8e56-b42b7c60c7f2","year":2024},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:19.932561Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:08d8105745cd271f3976aae5afdfdf04c09d7dd918e22c68080eb59a5fd8bf28","observation_id":"2373f644-7d24-4492-9018-9cba48cffd1e","resolution":{"observed_at":"2026-08-05T11:24:26.592444Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.576577Z","title":null,"venue":null,"work_id":"417bf3ea-fb7c-4c94-be26-3c72bb190aba","year":2016},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.080068Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:c59cc0d14d0de7071ffff4b7f0a9f41c0c946c917186aa2d496c7a43ff52d646","observation_id":"b15bcac8-fe9f-41c0-8379-2479ae3a8a44","resolution":{"observed_at":"2026-08-05T11:24:26.580620Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.554325Z","title":null,"venue":null,"work_id":"470debaf-ee77-4483-a0ff-1a4390bbf833","year":2009},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.224645Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:6b568bdd3561654b42505462b9d5f2f06ba4ac7822c34c316126151f78c7ee1a","observation_id":"6a13025b-7160-4da8-a868-6c9860602ed5","resolution":{"observed_at":"2026-08-05T11:24:26.570711Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.476501Z","title":null,"venue":null,"work_id":"b2be6e95-4c13-44b5-90cf-fa499dfb5a6a","year":2024},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.367185Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:9c50288025f721e94f11248364dd3856b80ff1097a4f753713a5e20028dc4fa8","observation_id":"2ca4acf2-293e-4ecb-91bb-8cafd03ab171","resolution":{"observed_at":"2026-08-05T11:24:26.547685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.314153Z","title":null,"venue":null,"work_id":"5ff5a6f6-d51f-4623-9af3-d8bffaf667fd","year":2015},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.496525Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:e9897a51cf09174de72b3bad259227255dfbd18ef7cc6b1b480199acdb3de663","observation_id":"0e4ac528-bdb0-48cd-83c0-3f7084204aac","resolution":{"observed_at":"2026-08-05T11:24:26.390186Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.185123Z","title":null,"venue":null,"work_id":"57dbd296-a03b-4b78-8f1e-f90d5bd2845d","year":1974},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.633537Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:32d617327f232d28fbea2fc61a88c7089ad2b195b92e7068c5ac9fe5dbc1fc0f","observation_id":"a61dbf75-fa45-43ff-ab48-4b0387d39271","resolution":{"observed_at":"2026-08-05T11:24:26.257816Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:26.073164Z","title":null,"venue":null,"work_id":"21984a4c-19bb-4742-a756-ec064a15ddf4","year":2024},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.718553Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:cb8fb8e7a2db3fbad0af735386f4be37823a609cab51db3df51d2e2c893d3e00","observation_id":"3d42f85d-0442-420c-893f-1b25f7d9a955","resolution":{"observed_at":"2026-08-05T11:24:26.125251Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1018930122475","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Annals of Mathematics and Artificial Intelligence","work_id":"2274f4e5-561c-4f0e-a82d-71db4746cf58","year":1999},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.843055Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:916cda12debb440d30ac47e5f506e6cab390bc85fc87a70b6d7e3974f1ce3149","observation_id":"233ed74c-4546-4ce4-b1e0-0a628429ded1","resolution":{"observed_at":"2026-08-05T11:24:23.157432Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.953704Z","title":null,"venue":null,"work_id":"11c3d43c-975e-4d0a-a8a0-60fd728bce58","year":2023},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:20.932983Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:f4807e14f81c3e19c4f611e68f901dbf12ab9cf44019ce2ac9e72806c28d3028","observation_id":"49a0ea7e-1452-4121-b2a7-2a7e7ce841e2","resolution":{"observed_at":"2026-08-05T11:24:26.037131Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:21.049630Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.049630Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:104f29130f50a6ade6fe14bd7a89fe0deeb76caf9ab091b5aaced5b0b5d2e2d4","observation_id":"f95980ff-0435-464c-9b7c-ad14527f2d04","resolution":{"observed_at":"2026-08-05T11:24:21.049630Z","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-05T11:24:21.171770Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.171770Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:dd09c102de38cd15cd5dbdfca9699402228cc5ad125a84916ab031048575566c","observation_id":"60e18992-44f3-42eb-b84e-a42713d454ca","resolution":{"observed_at":"2026-08-05T11:24:21.171770Z","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-05T11:24:25.857112Z","title":null,"venue":null,"work_id":"dd49bf38-d544-40e3-8d9e-090373885860","year":1977},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.258351Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:c662448184e958962cd4f712aa07bf6fe86acf46c4454827130bfa58d4e267dd","observation_id":"accdbb14-c78e-4091-b132-6dd1e0c50bf6","resolution":{"observed_at":"2026-08-05T11:24:25.898610Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.724451Z","title":null,"venue":null,"work_id":"c0db5989-aeb5-4547-b218-53101caa784e","year":2020},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.387006Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:4f7e395c5d36be8efefd099b217a77ffd852f4e4caa97efd139ab4105b5c4239","observation_id":"ab5fb6a3-9074-41e5-961e-3434bd8e27cc","resolution":{"observed_at":"2026-08-05T11:24:25.790157Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.598500Z","title":null,"venue":null,"work_id":"fa8b5f4e-bee8-49df-a951-d9f58e1dfc4f","year":1990},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.475101Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:091c30c15067016c49bd40244234cffeded754b98f75476fd61d57fea3cf47de","observation_id":"ad6f959b-169d-4ee3-987a-cb24119ad675","resolution":{"observed_at":"2026-08-05T11:24:25.659235Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.493583Z","title":null,"venue":null,"work_id":"0f6938cb-090c-4a22-8892-8ff58cf18caa","year":1999},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.552313Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:077a8833ba0b9e5e8477070f996d6cc3b560be7e57c6e1bcbc9bc2b7af91f2a0","observation_id":"e0ce004b-4fef-46d5-8fda-b5b451429753","resolution":{"observed_at":"2026-08-05T11:24:25.535052Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.381512Z","title":null,"venue":null,"work_id":"39cdea7f-c70a-4b7b-8d38-06ad5ed6155c","year":2022},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.668144Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:ed54d66521f17105b3368a76dba1a5867f0730612a4fc736d7b0533b77407d72","observation_id":"5e3f1cff-1b78-4299-91db-bb2b206ab363","resolution":{"observed_at":"2026-08-05T11:24:25.429983Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:21.756303Z","title":"Simari, and Venkatramana V","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.756303Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:5819fab9764482cc455afd0a34af682dc4a1cc51ebc055eb4b66d064b12ea4b6","observation_id":"469215d6-309b-4556-89d3-4614f8795f72","resolution":{"observed_at":"2026-08-05T11:24:21.756303Z","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-05T11:24:25.264590Z","title":null,"venue":null,"work_id":"70ab54b6-6803-41d3-8f53-7d0567162ac5","year":2022},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.836320Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:4449a3157991cec7d258e0bd486b19d86647ff66b9399aae05fd814b9c7c21f5","observation_id":"55976423-7c80-479e-8afa-ceadd119bebf","resolution":{"observed_at":"2026-08-05T11:24:25.312429Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:25.131293Z","title":"Simari, and Robert Schroeder","venue":null,"work_id":"277fa909-6887-483f-b516-5f10a183ddbc","year":2013},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:21.942397Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:a095da36d47de0b6de5e8a5459ea6f0258baa2387e2d11f777a5fea291d21f82","observation_id":"7b99d8bb-130b-49fc-99f6-7e9f4b3c3725","resolution":{"observed_at":"2026-08-05T11:24:25.200558Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:24.990084Z","title":null,"venue":null,"work_id":"3b395fcd-1b1c-44ea-ab63-a414f6fb7a2a","year":2012},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.093559Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:e8b76a1c3f45aa0e5ba5e5d8f50118f87b07ba521ed23d5b2c4834268d1cafab","observation_id":"d49d39ce-e6ba-4ec9-ac37-03275f26e627","resolution":{"observed_at":"2026-08-05T11:24:25.056056Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:24.819434Z","title":null,"venue":null,"work_id":"ecfcce55-6ed4-4209-9361-4bd0e9498f6a","year":2021},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.214841Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:4e629ab5ca869ba6bacdb67b977cd1afb96c7cf5d9cda68731e489d5bcca473c","observation_id":"2b0f2887-09a0-4709-a852-d74f8338dd83","resolution":{"observed_at":"2026-08-05T11:24:24.904183Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:22.313139Z","title":"Suchanek, Gjergji Kasneci, and Gerhard Weikum","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.313139Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:55ba3495612ab8e295cccf34104c779c8993a95fd3294cd37f9e48846346c338","observation_id":"3af6ce7b-fd93-467c-b8c3-391fa159371f","resolution":{"observed_at":"2026-08-05T11:24:22.313139Z","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-05T11:24:24.680575Z","title":null,"venue":null,"work_id":"290a6a34-3904-430a-b93e-62186be1a653","year":null},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.512785Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:40188f694440cc5ee85955a3b691257c0ee62fd360cb5f34f87c25abdc58573a","observation_id":"fa9ddbe9-5e8d-4f0c-a03d-b96b88d2b8f7","resolution":{"observed_at":"2026-08-05T11:24:24.755740Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-05T11:24:22.728644Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.728644Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:f9183c982e18b26731a31fe223f98beda6c1164a571ce5afe27c57967993a3ae","observation_id":"618a7421-fd2e-42d6-b2ca-d13081d7c6d1","resolution":{"observed_at":"2026-08-05T11:24:22.728644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1708.04782","last_updated":"2017-08-16T06:20:52Z","snapshot_observed_at":"2026-08-10T10:13:54.999657Z","submitted_at":"2017-08-16T06:20:52Z","title":"StarCraft II: A New Challenge for Reinforcement Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1708.04782","snapshot_observed_at":"2026-08-05T11:24:22.840572Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.840572Z"},"links":{"cited_paper":"/paper/1708.04782","citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:420e3df70d0bb69d4f2327e54546a33dccf3ac9d131474c6d3dd34679f1c2ecf","observation_id":"b04277b7-e4b8-43be-ba14-ce3880643a0f","resolution":{"observed_at":"2026-08-05T11:24:22.840572Z","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-05T11:24:24.521195Z","title":null,"venue":null,"work_id":"c0ca4e51-130f-4580-829d-433454eb42a5","year":2001},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.950388Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:fb6c083b2cee49a1df5e626ab1dcc2c79792e0ba3cc7a212c9f512655160a0de","observation_id":"ae493ee7-aa77-47f8-ad29-0621c1ad15a6","resolution":{"observed_at":"2026-08-05T11:24:24.571902Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6153.2023","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T11:24:23.915103Z","title":"In 2023 IEEE 17th International Conference on Semantic Computing (ICSC)","venue":null,"work_id":"ea2386bf-f03f-4999-acc0-39cca939f981","year":2023},"citing_paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-05T11:24:22.627413Z"},"links":{"citing_paper":"/paper/2509.02958"},"observation_digest":"sha256:76740eb376d35b1be5d16af15ba7d2c9c3d63abc7844697ab932b9479e33d24c","observation_id":"ecb6e4a0-cc6f-4eb3-9c7b-34f6b842cb8e","resolution":{"observed_at":"2026-08-05T11:24:23.977263Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.02958","last_updated":"2025-09-03T02:45:34Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-05T11:24:12.012110Z","submitted_at":"2025-09-03T02:45:34Z","title":"Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning"},"reference_resolution":{"displayed":69,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":60,"verified_exact":4,"verified_fuzzy":3},"total_outbound_references":69},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 1 inbound Pith citation observation for arXiv:2509.02958."}