{"as_of":"2026-08-18T02:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cbebf42a2f3e78442055bba125a5757ecebe0c726a86d55d145e2461828d6fec","coverage":[{"denominator":108,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T21:10:39.518850Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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-06T05:28:31.282497Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-10T05:30:23.456663Z","state":"measured"}],"external_citation_measurements":[{"count":1,"observed_at":"2026-08-10T05:30:23.456663Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"cited_work":{"arxiv_id":"2508.09318","doi":"10.48550/arxiv.2508.09318","metadata_source":"pith","pith_arxiv_id":"2508.09318","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"TPTP World Infrastructure for Non-classical Logics","venue":"cs.LO","work_id":"9a980b03-06cf-4efc-a769-d74b155c66f1","year":2025},"citing_paper":{"arxiv_id":"2608.05097","last_updated":"2026-08-05T17:33:47Z","snapshot_observed_at":"2026-08-16T07:52:21.027426Z","submitted_at":"2026-08-05T17:33:47Z","title":"Same Formulas, Different Semantics: Do Language Models Follow Modal Logic Specifications?","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T05:28:31.282497Z"},"links":{"cited_paper":"/paper/2508.09318","citing_paper":"/paper/2608.05097"},"observation_digest":"sha256:0cc9f69ae5a192f1a13030d821cc6bb7e2202c5615044a79dc28bb91f050cf34","observation_id":"a77ebd04-a5b1-4476-abca-187288feb087","resolution":{"observed_at":"2026-08-06T05:28:37.239975Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.09318/citation-record","integrity":"/paper/2508.09318/integrity","json":"/paper/2508.09318/citation-record.json","paper":"/paper/2508.09318"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-017-9407-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:10:41.933590Z","title":": The TPTP Problem Library and Associated Infrastructure","venue":null,"work_id":"b0dba240-038f-49ba-bea4-1c1d17fd89b2","year":2017},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.655420Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:98b5849192a752145e36225af20902861e7d12d54b3e4e6a92d91ca936f47daf","observation_id":"645a71d5-3a96-41b0-b503-81e099721346","resolution":{"observed_at":"2026-08-05T21:10:42.020273Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:28.687071Z","title":": The TPTP World - Infrastructure for Automated Reasoning","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.687071Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:295505d86cb03a233cdfbf7eec501b0d53bbf45b24f8e582bfaae208121be0dd","observation_id":"379b7c75-c9cc-4ae9-9dd9-d5b3b468806e","resolution":{"observed_at":"2026-08-05T21:10:28.687071Z","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-05T21:10:28.765363Z","title":", Schulz , S","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.765363Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:e1eb91e6c0e4f9b21fde1210860879586ec62b9afdb5b752b4aaec65f0fd1867","observation_id":"6b586724-8a2f-4f87-a1e0-cfdb88cac886","resolution":{"observed_at":"2026-08-05T21:10:28.765363Z","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-05T21:10:28.836970Z","title":": The SZS Ontologies for Automated Reasoning Software","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.836970Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:cf7c1bff699481a22bd521c4dc1cb31038eb9aa90e17fa59f4334b38f862ab07","observation_id":"5a467110-9534-48b7-8d8d-d54e1a4074a2","resolution":{"observed_at":"2026-08-05T21:10:28.836970Z","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-05T21:10:28.921022Z","title":": The CADE ATP System Competition - CASC","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.921022Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:c04c0dfb5f6317adea0953f607654ae3af147ee1a725e57f1ee8895daf59f49b","observation_id":"1c19d71f-8717-44a3-833f-a1ba7fbc9d76","resolution":{"observed_at":"2026-08-05T21:10:28.921022Z","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/s13218-023-00824-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:10:41.807840Z","title":"u ller , C. : What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre . K \\","venue":null,"work_id":"7c36ab3b-d90d-4600-bc77-c8945af51a6f","year":2024},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:28.994105Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:2501ac4f3f66f298f520348c06d48b2493d3d1742f7ae525f236cdc74a3562a4","observation_id":"4a5dc3ee-a092-45ac-8153-f2145d608b72","resolution":{"observed_at":"2026-08-05T21:10:41.868572Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:29.078820Z","title":", Gliozzi , V","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.078820Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:99de4923aedab8e95d8b72fcc5eb572e1580197e7c0f99d33635bb59672d3fad","observation_id":"30b91d69-f924-4da7-b147-296906b2de0b","resolution":{"observed_at":"2026-08-05T21:10:29.078820Z","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":"2020.10330","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:10:42.353629Z","title":", Achen , A","venue":null,"work_id":"bed08788-2a89-4124-92e0-cceeed0bd1fe","year":2020},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.185865Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:6e52bbe0c7ae44326af2be819cddbeb0708adc0f33edc24f3128a4ab1c84354b","observation_id":"589b04b9-346b-4450-a6d3-14e03ba8c621","resolution":{"observed_at":"2026-08-05T21:10:42.422148Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:29.294428Z","title":", Lehnherr , D","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.294428Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:aedca09814cc3b1538036de360670b7fedacb0b8860ad53754a4c0c95599e8ca","observation_id":"568e7304-4a3a-4132-814a-5bfc30f6b98b","resolution":{"observed_at":"2026-08-05T21:10:29.294428Z","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-05T21:10:29.402210Z","title":", Parent , X","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.402210Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:e3db9a61d0a1a3758f9ae40eb68a66b8f553467275ff0e5c878d0244b429ed7d","observation_id":"2bc761c0-7710-4757-a354-5b9a17187c29","resolution":{"observed_at":"2026-08-05T21:10:29.402210Z","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-05T21:10:29.482405Z","title":"u ller , C. , Woltzenlogel Paleo , B. : The Inconsistency in G \\","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.482405Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:3c6266017281048bd9a6104ffa612eea6508160d4bdc44e0788e41db81f15fd3","observation_id":"226cadd5-dbd2-42c9-ae24-854d8f43c06f","resolution":{"observed_at":"2026-08-05T21:10:29.482405Z","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-94-009-3381-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":": Towards a Computational Semantics","venue":"Studies in linguistics and philosophy","work_id":"9bfe0937-af50-4742-bec5-48ca36709264","year":1987},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.577621Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ea7d6d553cbd419953090fd89b465f6e7726017f12eb062cb2107f43d3c70070","observation_id":"64bcb33d-2e48-416d-9726-96b229a9ecda","resolution":{"observed_at":"2026-08-05T21:10:41.741069Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:29.700080Z","title":": What 'must' and 'can' Must and Can Mean","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.700080Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:54bcad15a9f91de4c7994561b71781eb49fead93677e3255f664b56016ada078","observation_id":"a9eef23e-9f20-4cf2-aa1f-6bed0edf53ef","resolution":{"observed_at":"2026-08-05T21:10:29.700080Z","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-05T21:10:29.829266Z","title":": A Methodology for Hardware Verification Based on Logic Simulation","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.829266Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:7a0ac503d2eaa46fc7316d569d5faeaea87a5629df4387cef918f41e08d7640e","observation_id":"774be5b9-6a25-434c-bb46-9953074ef14b","resolution":{"observed_at":"2026-08-05T21:10:29.829266Z","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-05T21:10:29.921452Z","title":"u ller , C. : TPTP and Beyond: Representation of Quantified Non-Classical Logics . In: Benzm \\","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:29.921452Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:7f726d531b6e6fa7ee25165e8c5dc945486d521f80cf0759d26753d787045048","observation_id":"d9a27a76-dd89-40c9-bebb-b3baa2a16d38","resolution":{"observed_at":"2026-08-05T21:10:29.921452Z","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-05T21:10:30.019232Z","title":", Benthem , J","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.019232Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:724fbc492e1da84f1df04ef6b1932940f03e9f28cc56696c11ea47628b64a6c6","observation_id":"c38d10fa-28cf-45e2-9545-654d5db80729","resolution":{"observed_at":"2026-08-05T21:10:30.019232Z","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-05T21:10:30.126033Z","title":", Cate , B","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.126033Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:a65ac22462845fee7ab34f25528f4004c8235df0e974dc5ea54a4e92dd988ecd","observation_id":"3165aa95-1a1d-46e9-a047-8524af3cada0","resolution":{"observed_at":"2026-08-05T21:10:30.126033Z","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-05T21:10:30.234191Z","title":", Steen , A","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.234191Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:218ba17c32a14b67e6dc3ca49f31f3e661b4729e558dce30f233fd17e1d59181","observation_id":"1ef50762-70a1-4adf-8cb0-140af8898c7d","resolution":{"observed_at":"2026-08-05T21:10:30.234191Z","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-05T21:10:30.342656Z","title":", Steen , A","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.342656Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:555392c246e4477d2a880e38d0409d7f7171afcb806be3d73ceb45481da0966f","observation_id":"19ea5fb5-4e71-4002-a91f-1bf1899e1996","resolution":{"observed_at":"2026-08-05T21:10:30.342656Z","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-05T21:10:30.441444Z","title":": An extensible logic embedding tool for lightweight non-classical reasoning (short paper)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.441444Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:518de041fdfbbbebbace7b7000354e9b3231ca638fc50e6d7495cf2bd54c1d1b","observation_id":"3b64b62d-d7aa-424c-b81a-4d2c7ab4edbb","resolution":{"observed_at":"2026-08-05T21:10:30.441444Z","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-05T21:10:30.553102Z","title":", Fuenmayor , D","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.553102Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:cb919f3a6ba0d3fc2ee762774b16fa3932b820582f5ffe0d8d9f98f8cd13e692","observation_id":"ff91e665-b9b4-4887-84dd-a93f900ed320","resolution":{"observed_at":"2026-08-05T21:10:30.553102Z","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-05T21:10:30.642756Z","title":", Sutcliffe , G","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.642756Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:b42a2e2c99d22d66fc96405657be1f059ff7966637af4d99b5dc4a8fcb7ccb2a","observation_id":"e0721501-1601-4b0b-a2c5-e53dd4ae0bad","resolution":{"observed_at":"2026-08-05T21:10:30.642756Z","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-05T21:10:30.733924Z","title":": An Introduction to Non-Classical Logic: From If to Is","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.733924Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:a500c2d378445fc1c671d8512371e9fbe949c40872053cb872d386f35cdfac83","observation_id":"954d0704-40d7-470c-87b8-2589c80f9eba","resolution":{"observed_at":"2026-08-05T21:10:30.733924Z","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-05T21:10:30.838104Z","title":": The Blackwell Guide to Philosophical Logic","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.838104Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:dcc533a98741f2370249914a3da6086fd0e3a9c7483917b3115dc2d3f301f670","observation_id":"3241c8f9-40b3-499a-98ed-de9a105833ca","resolution":{"observed_at":"2026-08-05T21:10:30.838104Z","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-05T21:10:30.983066Z","title":", Mendelsohn , R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:30.983066Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:0603ac29137cf6eedea31c7d34f31365886b8590b6ae144d97ae9cc44868372c","observation_id":"b225ed15-9e02-488f-b566-b8e81552d3c9","resolution":{"observed_at":"2026-08-05T21:10:30.983066Z","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-05T21:10:31.111133Z","title":": Alethic Modal Logics and Semantics","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.111133Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:8381ff947f4e1a31f07a4e724bf613835efcd3c9b979925a801353498140a858","observation_id":"dde3073e-e4e7-4769-9acd-69b9e3a2593e","resolution":{"observed_at":"2026-08-05T21:10:31.111133Z","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-05T21:10:31.197850Z","title":": Deontic Logic: Introductory and Systematic Readings","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.197850Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:8ff05732f283aef1a38cd0f544f46228a56ecdc56d1432a6f325d40139ec15b3","observation_id":"4cfeb484-d373-4761-8265-2afc327ce16e","resolution":{"observed_at":"2026-08-05T21:10:31.197850Z","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-05T21:10:31.309343Z","title":", Halpern , J","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.309343Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:b661458c0701a3ecc24be374174512fcf755cb54c998ac962c91285ccde74b6d","observation_id":"c0c1b816-6190-4061-9699-114c17414510","resolution":{"observed_at":"2026-08-05T21:10:31.309343Z","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-05T21:10:31.389841Z","title":": Knowledge and Belief - An Introduction to the Logic of the Two Notions","venue":null,"work_id":null,"year":1962},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.389841Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:5107ca6efe9131642fbc670635041161c6f5d67c169910f60140d1ae7bdd9464","observation_id":"a09cd534-d1ed-4566-891b-9b88f3cb8c8a","resolution":{"observed_at":"2026-08-05T21:10:31.389841Z","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-05T21:10:31.487471Z","title":", Rumberg , A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.487471Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:634801efc29e47cd5de2c8d1d8a9dae73f3e7f1c14d5d54d4b4dac4e823fc754","observation_id":"81c0ccc9-06dd-4ec2-8776-ea2f57433ff0","resolution":{"observed_at":"2026-08-05T21:10:31.487471Z","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-05T21:10:31.567875Z","title":", Heuerding , A","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.567875Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:14be4f0c36894063b1ddcfe0634a0e3f3d664a822a49e6ab943863e0057229e4","observation_id":"7bd223cb-0b10-43c1-8ce8-c973a841bfdc","resolution":{"observed_at":"2026-08-05T21:10:31.567875Z","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-05T21:10:31.672028Z","title":", Otten , J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.672028Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:90084325a5bdfad39872e3f7e35be4b9323eab1fef7d76fe8bd3f01855087c19","observation_id":"d21a5afd-c68a-4c7b-bb25-1550758e8195","resolution":{"observed_at":"2026-08-05T21:10:31.672028Z","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-05T21:10:48.023402Z","title":", Otten , J","venue":null,"work_id":"5a14d775-622b-460b-a992-01b4c2fbdc29","year":2012},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.762389Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ecfd0cb81762886eea73262e93b87ab8cad34ec5204e05a8f96bf6047fc50dc3","observation_id":"27cb5091-9ee8-4551-b8e8-e6106367709a","resolution":{"observed_at":"2026-08-05T21:10:48.027354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:48.012288Z","title":"a hnle , R. , Kerber , M. , Weidenbach , C. : Common Syntax of the DFG-Schwerpunktprogramm Deduction . Technical Report TR 10/96, Fakult \\","venue":null,"work_id":"087337de-4049-498b-9dde-afcaf989f22e","year":1996},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.869618Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:8917ee6cf4f290c13c57e982db3466f6a6d975ed3a2cac79dfc1fbf22651dadc","observation_id":"09f77956-1426-4437-afd1-43b612cd27dd","resolution":{"observed_at":"2026-08-05T21:10:48.015744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:48.002920Z","title":", Schmidt , R.A","venue":null,"work_id":"76a89e72-424c-48fe-96b5-b311726c13d7","year":1997},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:31.946403Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:964469313e35e22b8c8beb403f861e022a4cbbbb4f9cc2a83216880d5203adb5","observation_id":"7daab5e3-72ac-429c-a075-0369d53d3f2f","resolution":{"observed_at":"2026-08-05T21:10:48.005705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.993505Z","title":", Schmidt , R","venue":null,"work_id":"b3d3e78f-56e5-479c-a88d-ae422b68ad8f","year":2002},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.038121Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:6dfa633b834970e07b512e3aba870cd354bc986eac7ae12a89e8ef9950f32fd6","observation_id":"8394b652-6161-4814-a878-cb3f6d94e490","resolution":{"observed_at":"2026-08-05T21:10:47.996828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.984604Z","title":", Fikes , R.E","venue":null,"work_id":"dee47def-2c08-4e72-b66d-54add7f2e07f","year":1992},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.129980Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:5e48b9edb1ea4cb9dd622ae3beaafbb5831f3292b7438ff067ee31b0e96ac319","observation_id":"5a7f2bf0-178f-4f2b-a09a-e5547c6d5ee5","resolution":{"observed_at":"2026-08-05T21:10:47.987589Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.976530Z","title":"ISO/IEC 24707:2018 (2018) botherref","venue":null,"work_id":"f8d49193-083a-4a9e-8af9-13467105e95d","year":2018},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.209137Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:dfbfe4a523c818655d2efa3a2d149f36ac1972ff6117686e7806e9928e993dd9","observation_id":"e07b67b3-e1d8-43d4-bc84-89a10bc71335","resolution":{"observed_at":"2026-08-05T21:10:47.979239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.967092Z","title":", Aranda , V","venue":null,"work_id":"43156e0a-1ce2-47f6-bf67-61789e87fe58","year":2022},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.248131Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:dee614ad75e6a78242351cb207485c775c3704242750747b5e400d3bc33f48d9","observation_id":"7bca0899-bc8c-4b7d-9ba6-03e453fcad7d","resolution":{"observed_at":"2026-08-05T21:10:47.970187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.957713Z","title":", Kovacs , L","venue":null,"work_id":"0ee00813-a9ae-474f-b49a-86db2ab5500c","year":2015},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.331235Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:c33f00aed03270433bb9a9f0d5d9f66af19b40c35c35900e43f8474da872b5a6","observation_id":"79c781ad-cbba-48d5-820b-f9b8d9d23c10","resolution":{"observed_at":"2026-08-05T21:10:47.960992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.948500Z","title":": Completeness in the Theory of Types","venue":null,"work_id":"4c234b2b-8299-4ff6-b0b3-d5a00ce44645","year":1950},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.482143Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ab06ca1fcec483e42405af6af1f8c3459f14acf88182613804bacfcf6af71882","observation_id":"83c42c3c-4f7a-4093-b363-4aec63e78740","resolution":{"observed_at":"2026-08-05T21:10:47.951515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.939658Z","title":": General Models and Extensionality","venue":null,"work_id":"669e564e-a41c-4686-883b-7291487561ca","year":1972},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.569481Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:2251713baeb972521181cbcf9628544525ca7a2fad3dd8a686d41d718a928573","observation_id":"2577e52f-cc58-4426-9843-adf5281cae02","resolution":{"observed_at":"2026-08-05T21:10:47.942661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.929861Z","title":", Brown , C.E","venue":null,"work_id":"1a812e53-3322-49a4-b9b4-6ba52a731cb2","year":2004},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.665021Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:0ce7e23ddcfab82c34424e7bade793df2fd9d68816fdb0023f5604a703b25e28","observation_id":"a35cc3ef-07b8-497c-acda-924329718368","resolution":{"observed_at":"2026-08-05T21:10:47.933210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.918460Z","title":": Normal Multimodal Logics: Automatic Deduction and Logic Programming Extensions","venue":null,"work_id":"f0cc78f7-dc47-46fe-b2fe-d3b1e2bd5640","year":1998},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.743499Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:a58168e540cbf186eb6974bb5effb15bf81209171b90fa2f8a06182149fbf32f","observation_id":"7f9ad3e2-72fc-41ab-ba9f-7eb4efcaf6f5","resolution":{"observed_at":"2026-08-05T21:10:47.922079Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.907170Z","title":": Modal Logic","venue":null,"work_id":"a0941abb-f061-42d0-881d-1c8f56c790f7","year":2018},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.830975Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:24044832348fe06aeae2d8b7673bf477cd3c3c7a606eba61287066f92bd8a814","observation_id":"58d98ab7-ff4a-4c1a-8959-835b475adef0","resolution":{"observed_at":"2026-08-05T21:10:47.910404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.895675Z","title":": Semantical Considerations on Modal Logic","venue":null,"work_id":"8344187b-9774-4023-a955-6a538bbe7d0e","year":1963},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:32.977463Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:940736aa35e7212d75554366ec442462892f98296c855f76897b6330522419eb","observation_id":"c5208e99-a2e1-452f-96d1-5060d092fead","resolution":{"observed_at":"2026-08-05T21:10:47.899250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.883664Z","title":": A Functional Calculus of First Order Based on Strict Implication","venue":null,"work_id":"46bbdf5e-9bbd-48d5-8a2f-d99b71b971cb","year":1946},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.041955Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:f2a94976517b3d615dde711ec03391b83ac69bafc645deef677be146d197b204","observation_id":"03920a44-4f10-4a90-ad36-51c04035b3c6","resolution":{"observed_at":"2026-08-05T21:10:47.887971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.871481Z","title":": Universal Grammar","venue":null,"work_id":"ed0d8747-eb58-48f4-a7a2-200e67f91ef2","year":1970},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.236811Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:d70fdea4c593087ad1e73fa1c754bce3a3cda350d4b2c28d49ebbdabd1836d69","observation_id":"99176401-407a-4500-8dc6-d7799a2eea06","resolution":{"observed_at":"2026-08-05T21:10:47.875224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.859657Z","title":": The Proper Treatment of Quantification in Ordinary English","venue":null,"work_id":"c6663959-0325-470a-b777-5713d434f5b8","year":1970},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.411837Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:7f76a8b60e42014c8e6ef87a466c4bf775fadaa331d1fef565212b7d413422b6","observation_id":"d74e0b0a-684a-41b0-aa51-dffa29c2c243","resolution":{"observed_at":"2026-08-05T21:10:47.863690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.847306Z","title":": A General Interpreted Modal Calculus","venue":null,"work_id":"fabae78f-23fe-4de9-a5bb-4bb80ccc9a2d","year":1972},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.580837Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:0e62949aa846c79ae23a14eaccfdc5ecab0caf80e3ea3506d7b5a44cd4088be2","observation_id":"423ec8cb-390e-49dd-842a-424ea489b2fb","resolution":{"observed_at":"2026-08-05T21:10:47.851321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.835215Z","title":": Intensional and Higher-order Modal Logic","venue":null,"work_id":"b544af62-a100-4682-bb15-00e24c4fe9d8","year":1975},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.723008Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ebd1e6e9a9e953b4924e712a7b7eaab7b1a015b33b50fedace92671b36cd04b0","observation_id":"fed82b21-6a2a-4395-a1d9-19872aa4635b","resolution":{"observed_at":"2026-08-05T21:10:47.839072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.824019Z","title":": Types, Tableaus, and G \\\"o del’s God","venue":null,"work_id":"31be3aa2-daf6-40aa-b600-439492808ba4","year":2002},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:33.887109Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:5a1b33007631e702948c10706a1c9b2debc60af82702c337b16bfde511a4d9d7","observation_id":"a2b26224-2312-40d4-9ad4-eee745b69573","resolution":{"observed_at":"2026-08-05T21:10:47.827546Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.812351Z","title":", Suttner , C.B","venue":null,"work_id":"d5530224-5578-46d3-ab51-e86b359c8937","year":1998},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.029268Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:a98ef3a187c7b49e78f61229e2554f451311a3a1e199a990ae9262d17382b2d6","observation_id":"5a7e20d4-8705-4e7e-884e-af2653237cb7","resolution":{"observed_at":"2026-08-05T21:10:47.816118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.800393Z","title":": The TPTP Problem Library and Associated Infrastructure","venue":null,"work_id":"f365c536-4ab0-40db-8c96-1996bfb92e95","year":2009},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.218576Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:aadc90becd729879f189c649a71943f4ffda375dda348ed0aa3eb97c3e4bc5c1","observation_id":"a12bcdd6-2132-4e8e-9c3e-55feeda51a08","resolution":{"observed_at":"2026-08-05T21:10:47.804026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.789554Z","title":", Schulz , S","venue":null,"work_id":"4d195343-b1b4-4265-86e6-7ba5d9b05e0f","year":2012},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.321755Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:1e81400bbed8397a9d1590311072ed913896be473d3760c88b4efce42c7663aa","observation_id":"c5d40a9d-5f81-43ac-856d-26838a70e1d1","resolution":{"observed_at":"2026-08-05T21:10:47.793029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.778599Z","title":", Paskevich , A","venue":null,"work_id":"01e568d7-f919-4396-ae1a-16176d74da42","year":2013},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.400834Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:51434469ce3f76c8c7a9fe83da4ad4652cc398ffa4ef25974b644e0ebf275f3d","observation_id":"4495836d-de2a-400f-a87e-2b4f8807ee94","resolution":{"observed_at":"2026-08-05T21:10:47.782086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.767095Z","title":", Kotelnikov , E","venue":null,"work_id":"f57524bc-09aa-4cff-b65a-7f9b1c5cc66a","year":2018},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.500321Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:7d84fda6627d94218082a15ef28474df2f99e1662c7bdb59fab23c30201d4061","observation_id":"b06dfb8b-3567-4ca3-b160-81d5a5aa514a","resolution":{"observed_at":"2026-08-05T21:10:47.770486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.755301Z","title":", Benzm \\\"u ller , C","venue":null,"work_id":"a1b391ca-445d-455e-bd73-2ab31c7b6c56","year":2010},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.609672Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:7b387601a4aef76ebe7d36f0f226566b6a5355a79ab04a7994068cff275946e2","observation_id":"0efd9b3e-c150-4afc-bb7c-a944dd1e9a24","resolution":{"observed_at":"2026-08-05T21:10:47.758768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.744258Z","title":", Sutcliffe , G","venue":null,"work_id":"b346821f-84ae-45de-853f-ff51089a4e06","year":2016},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.738773Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:8c1810a6443caf2e931eb81bb92c2ecdcacfc79c73fa1de0cea113358468f932","observation_id":"995f38aa-36fe-4d27-a5d3-ed03dbf4edbb","resolution":{"observed_at":"2026-08-05T21:10:47.747682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.733314Z","title":", Sutcliffe , G","venue":null,"work_id":"0b324ec0-0c5f-4c82-a6d7-ac64c8bdc78a","year":2006},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.863071Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:3d8e4eac61135935312b8e9e78ab5dcdef997da37912a8a45fe93c4eb30260e5","observation_id":"f362b833-abe7-462a-9143-fd2725a958e6","resolution":{"observed_at":"2026-08-05T21:10:47.737019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.721623Z","title":": What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles","venue":null,"work_id":"445cf7e9-aa4d-46c4-9516-0078774960af","year":1978},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:34.981004Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:3da10818fe6df3196d56206f057b5bd4a00668c673c9d73b51695457c4d9cc50","observation_id":"b4338e71-d7ee-409e-9043-9c378522adfb","resolution":{"observed_at":"2026-08-05T21:10:47.725430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.708875Z","title":", Rott , P","venue":null,"work_id":"992cf6fa-ee5f-4618-adfa-c7080883a6e4","year":2021},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.115577Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:89038f567505f3f04dd6cd0be8f8d065fb14a151a7faaf698f7dffb6646a6c41","observation_id":"cfbd9d5a-7f93-42ae-be04-263420f05292","resolution":{"observed_at":"2026-08-05T21:10:47.713603Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.697092Z","title":": Light Linear Logic","venue":null,"work_id":"eabb0d2a-b81b-43c8-8d06-ea135208bbfd","year":1998},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.288508Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:111ef7992b8c02d656495dbc1bfe0c7b5f4f60246d8c109555e1701d60cb29dd","observation_id":"c7a873db-c11d-4023-97bd-349c1cb21beb","resolution":{"observed_at":"2026-08-05T21:10:47.700869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.685268Z","title":", Zimmer , J","venue":null,"work_id":"e28e3df9-cf96-41df-ab96-54fcc9a81866","year":2004},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.429177Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:efb68db6d46761a0c3bcc24bb8185f22abde338f448d8ee3988e6dfbe4b8809a","observation_id":"1d3ac82d-06b0-4382-8c84-e11d6cc3c760","resolution":{"observed_at":"2026-08-05T21:10:47.689260Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.673338Z","title":", Thalman , L","venue":null,"work_id":"17c4ff6e-23ec-498f-b189-21e0fb688e77","year":2001},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.546588Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:0b882e921475870cb00cbbd67c50e1f6ffb54f23f829463081ea4975edd0d842","observation_id":"9cf68aa0-1412-4124-b90e-11f9c8ce1ce5","resolution":{"observed_at":"2026-08-05T21:10:47.677210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.660287Z","title":", Sano , K","venue":null,"work_id":"b3e5a5ac-13c5-485e-ad0e-2f71d9fa13d3","year":2019},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.661212Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:17e72f24f1490e5218c106bbacc775fc72101eb2e7bdec609bdfa19e381c273e","observation_id":"1b16ae57-b590-4a65-9ae4-5764455ad1fb","resolution":{"observed_at":"2026-08-05T21:10:47.664210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.646772Z","title":", Kozen , D","venue":null,"work_id":"7a155fd7-cf3e-4951-8893-2adf0cbe7ede","year":2001},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.752053Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:70d117d9c3db68bcc52af7a67ec539700967cfdf996b0f659c9fbe9ba760d943","observation_id":"11538af7-ed88-42bb-8f5b-ee325b51d713","resolution":{"observed_at":"2026-08-05T21:10:47.651135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.633279Z","title":", Hoek , W","venue":null,"work_id":"7da9c3db-66ea-4321-a890-25b90558912b","year":2007},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:35.906656Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:d46e106d57d8db5ea6dc38a6bbd5df9dac2e7c5604cc1c55fe69af4ad1ca7f62","observation_id":"400a2e56-a1d3-4766-b97b-cf2ec041fa88","resolution":{"observed_at":"2026-08-05T21:10:47.637365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0004-3702(01)00113-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T21:10:41.472006Z","title":", Suttner , C.B","venue":null,"work_id":"7a8fb14e-43e7-4799-8263-db2bf3d96c9c","year":2001},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.016312Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:c3e6a03c03a71be078f503518f8f4c4c7d596165b8e0c3e5118210e81a7b8c7f","observation_id":"89bd11ee-eadc-488a-88ff-e973b1cf9972","resolution":{"observed_at":"2026-08-05T21:10:41.588238Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.621310Z","title":": Modern Logic","venue":null,"work_id":"8932d911-c043-47b5-bd38-0b215287b36d","year":1994},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.120876Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:f8e5db0d266f1b3d44c10a0b4dc5d9b15fff352e60ce16c62580d410accbca50","observation_id":"026946e8-1ec9-4e2c-a210-d6b58c44f490","resolution":{"observed_at":"2026-08-05T21:10:47.624785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.608824Z","title":": Modal Logics and Philosophy","venue":null,"work_id":"3bfdd240-37e4-4033-845d-230a6607499c","year":2000},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.199908Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:501e744f1b1bd6e38c1c0a6a3e0896737dc7c206995ae7bf54e806c2ae3b8e9b","observation_id":"b031296d-eb75-410e-a12a-3546837c244b","resolution":{"observed_at":"2026-08-05T21:10:47.613193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.598545Z","title":": Logic for Philosophy","venue":null,"work_id":"d1476458-8339-482d-93e0-a7b6d1dd5335","year":2010},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.307639Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:09328f1318573c4817a1028b8a52f28ea9abfa26f7af1946182f12f5700a77c5","observation_id":"11a016d8-d4fb-4c15-b7a7-07cd19c3e4d7","resolution":{"observed_at":"2026-08-05T21:10:47.601746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.588684Z","title":": What Should a Database Know? Journal of Logic Programming 14 ( 1-2 ), 127 -- 153 ( 1992 ) barticle","venue":null,"work_id":"055a0737-cf68-44bf-a254-5f9ae99b2269","year":1992},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.411341Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:5708bff31dc7845c5279a3a4a1f1f7dfc28d58798d1faa99be7e4011848d1a10","observation_id":"26fb6c24-c2d0-4e3e-910b-cc47ff380089","resolution":{"observed_at":"2026-08-05T21:10:47.591772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.578546Z","title":", Herzig , A","venue":null,"work_id":"a0e1fb59-2172-432a-9529-dd3650e2fd54","year":1998},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.587306Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:aec1bb70cc3d2a2895c7f6ba5ea58ba1dc58a9ebec3f57dc13f8f1f554d137e3","observation_id":"8946b734-24a1-4fda-84e5-444adb04ed1e","resolution":{"observed_at":"2026-08-05T21:10:47.581653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.429540Z","title":": Towards a Computational Account of Knowledge, Action and Inference in Instructions","venue":null,"work_id":"17223144-0078-45bb-b141-392207706d50","year":2000},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.703585Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:f3931f316cf3cb60097d7346be9a5b13c6575d650e591533c30154c5cc4e9ef3","observation_id":"bebf2315-41d1-491f-beaa-b5cd04feea0d","resolution":{"observed_at":"2026-08-05T21:10:47.571523Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:47.079634Z","title":", Nalon , C","venue":null,"work_id":"fc7555fb-081e-43d5-ad1b-f5d97d22671e","year":2021},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.818200Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:425d3cae3738c916e9ba8e754df51fc3038f0d9aba9c153583a70193902f941e","observation_id":"68897daf-04bd-45cb-ae77-dd9cdd474d40","resolution":{"observed_at":"2026-08-05T21:10:47.258386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:46.694339Z","title":"u ller , C. , Woltzenlogel Paleo , B. : Automating G \\","venue":null,"work_id":"031e8459-a07f-4488-8d66-a495aab7cc83","year":2014},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:36.898019Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:eb6a6365f1475a23a4bdf6d59e2c39c870938bb9cee748c96044886cf0c72910","observation_id":"63e14b24-9bd7-40dd-a8c5-ff2ecc5fda3b","resolution":{"observed_at":"2026-08-05T21:10:46.903776Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:46.235918Z","title":", Ravishankar Sarma , A.V","venue":null,"work_id":"b0214173-bc76-4719-93bc-e2ae33af2fa5","year":2022},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.038337Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ff13a1dba0af52ae9b660d7f4e3db23178ed9cc90c0f62d41396004a58e1d18e","observation_id":"32eedeee-2dc2-4fdd-bfd3-31b59e196f4c","resolution":{"observed_at":"2026-08-05T21:10:46.494094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.975106Z","title":", Hustadt , U","venue":null,"work_id":"e7f05ced-88cc-407c-8476-8a9ff5a64a9d","year":2020},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.177560Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:b0b2a982741e5255ff2b387ccd95f4a8e6b7e438de7b5e387e00c0f6adb3998c","observation_id":"21b0f978-8790-4d05-b801-9dc0e1bfc182","resolution":{"observed_at":"2026-08-05T21:10:46.052522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.886520Z","title":": The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics","venue":null,"work_id":"e61c25e5-17df-4012-9dbf-841ac0059d6c","year":2021},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.291743Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:f5e894b7416a0ad75e31247f322d891a80eead5418779c2f0865173481040196","observation_id":"a6d1c8ee-663b-4e94-989e-7a03cd83c3b5","resolution":{"observed_at":"2026-08-05T21:10:45.939248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.720487Z","title":": MleanCoP: A Connection Prover for First-Order Modal Logic","venue":null,"work_id":"c7e54d9c-741c-4b56-896d-43c7e31a5e63","year":2014},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.409649Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:fa86e2041591a7e21fa33c9d9b341bc3fa2cfdeab0d3c0798a7db4314b542fb4","observation_id":"da384ce3-9603-446c-916f-53f13accc45d","resolution":{"observed_at":"2026-08-05T21:10:45.795651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.506880Z","title":", Schmidt , R","venue":null,"work_id":"89f36829-65ee-4f70-87e0-eacf31ebd98e","year":2012},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.520051Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:4635d3e46ca978d3253179d406f065956d6d6671286dde84ccc9edb83ef783d2","observation_id":"59f2d6e4-e6fa-4d8c-bef4-204038b3f5c1","resolution":{"observed_at":"2026-08-05T21:10:45.617584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.327773Z","title":", Benzm \\\"u ller , C","venue":null,"work_id":"7045997e-2d63-445b-875f-625ddcedb8b6","year":2021},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.703102Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:90b227bb0c205dbaaa3994d34afc3f5471728912e874d0af582953919d10149f","observation_id":"11d68052-9082-45cf-a65a-8569f0342e52","resolution":{"observed_at":"2026-08-05T21:10:45.404693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.184423Z","title":", Fauthoux , D","venue":null,"work_id":"ce4b8852-1041-4e0c-bbec-359224dac91b","year":2001},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.860281Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:31fd4a047f92825a76c5a7e3c4f9e4a0c1bc498ce3928dcd59ee38933d62ff04","observation_id":"80072366-8f39-4fa7-a95b-d89650d4f2fd","resolution":{"observed_at":"2026-08-05T21:10:45.234652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:45.043933Z","title":", Schmidt , R","venue":null,"work_id":"4bf2a842-e071-4e52-9133-df4a9be732c8","year":2000},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:37.986884Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:be1b3d14c67717720c6f9118d4c66bf955dcf5d1e13d6fac27d9bd1a069c67c7","observation_id":"2009c199-85fc-4290-8459-f371b9bd8496","resolution":{"observed_at":"2026-08-05T21:10:45.119592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.912185Z","title":", Sutcliffe , G","venue":null,"work_id":"8be75aae-5c6e-4926-8392-02886d47b856","year":2023},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.094247Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:e667c73bec1f87c305feeb3170f787c5d80fc960e6a7feb4155b2a1c338ec270","observation_id":"face2e25-03af-4c8f-b8be-f39f3b8dc0d5","resolution":{"observed_at":"2026-08-05T21:10:44.963925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.774460Z","title":", Voronkov , A","venue":null,"work_id":"69ba98a3-4a07-47a7-bb4d-8c7c3c0d5f9c","year":2006},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.194785Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:bdf0feaa8c8cc710f4ae80b9dc75cc6f4c733f714933ebf171eaaefbf21d95fd","observation_id":"2b216db3-64e5-409c-872d-28afa3c36a86","resolution":{"observed_at":"2026-08-05T21:10:44.851430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.627220Z","title":", Hustadt , U","venue":null,"work_id":"72f8efd7-764b-4535-8fb8-9383b42d3d59","year":2007},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.274998Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:be140930c2a6cd10b045c221f127bad87ba16dc80a0aa5e48e436db70919b006","observation_id":"16e68567-0bee-4b1b-85dc-75a582e08054","resolution":{"observed_at":"2026-08-05T21:10:44.696071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.458465Z","title":", Sutcliffe , G","venue":null,"work_id":"aeab5b1b-7094-47cd-8ae0-7870831ead9b","year":2011},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.351576Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:8efb3fd554bc3db43605dd89130769ec14fa6452ff058908b84c0a42dee4eabb","observation_id":"4945d344-7a07-4246-a501-beca7247e5f3","resolution":{"observed_at":"2026-08-05T21:10:44.565655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.297635Z","title":", Alassaf , R","venue":null,"work_id":"7b929794-3d1b-423d-b4d4-d2cb8dedb094","year":2023},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.428104Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:ea4bb2cd8f57d9e24568ed55a3dce2adcc8fec2acae8f56148374601a068615d","observation_id":"5d23e826-0cef-4d5b-9d0b-a671cd4fd759","resolution":{"observed_at":"2026-08-05T21:10:44.372101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:44.149232Z","title":", Paulson , L","venue":null,"work_id":"c1cb57a7-b3b0-4890-a224-f0c00ffd7271","year":2013},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.536059Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:e8dd5b8cb7e37d4de4d342d986dc94b9dc01be82b11952d25dcb5d76c0a991e1","observation_id":"bf55dd34-7c9b-48d8-b6ab-ff259f826f78","resolution":{"observed_at":"2026-08-05T21:10:44.207842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.958192Z","title":", Raths , T","venue":null,"work_id":"d7dd2bc1-8467-4c60-ae6f-2993ac4af88e","year":2013},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.645286Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:4b05435991adb4524815f67a3cfc9602c42c988504db0ed633cfe3582731f16b","observation_id":"1e2ffd68-8199-47a7-b40e-9804f2ea0d4e","resolution":{"observed_at":"2026-08-05T21:10:44.057212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.745263Z","title":": Dynamic Epistemic Logic I: Modeling Knowledge and Belief","venue":null,"work_id":"6c317662-e63d-4842-98bc-da8dac9b4295","year":2013},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.752583Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:2a03fdfd674885efd08c72280f4661af0ff9e867c7fe6d9c928ac559b450cd35","observation_id":"812d18ab-0c43-491d-87ab-cfed8526e345","resolution":{"observed_at":"2026-08-05T21:10:43.846222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.618789Z","title":", Jones , A","venue":null,"work_id":"577f6c37-0249-478a-aeac-5873b0806ecd","year":2013},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.840474Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:e99fde4a467d97cf8cd5ae32116320864824b18fef0854f89d572dec02cd07ae","observation_id":"ca246262-8b5d-43f2-a731-0358bcb5799a","resolution":{"observed_at":"2026-08-05T21:10:43.674183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.465363Z","title":": Deontic Logic","venue":null,"work_id":"525b8642-bb85-474a-944b-d163afd7d46c","year":2002},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:38.934688Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:d05665514925b4fce7144cc30bef0177f0cfb28f9716710219260644ecb13ccc","observation_id":"0f8f6f72-c078-49b4-b1d2-3b34d08afad3","resolution":{"observed_at":"2026-08-05T21:10:43.560074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.302256Z","title":", Sutcliffe , G","venue":null,"work_id":"32cea6a6-080a-48bb-9bbc-bcb6f09b5e77","year":2023},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:39.045773Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:197a84cbb491f97a9ab28ba08540b03db01d5f594e20fcd4b6c07f17d16c3f65","observation_id":"faf79e15-5582-4c85-b285-a3d55bc887ea","resolution":{"observed_at":"2026-08-05T21:10:43.390417Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06108","last_updated":"2026-05-30T01:11:16Z","snapshot_observed_at":"2026-08-16T13:44:37.998149Z","submitted_at":"2024-06-10T08:48:54Z","title":"The TPTP Format for Interpretations","version":2},"cited_work":{"arxiv_id":"2406.06108","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.06108","snapshot_observed_at":"2026-08-05T21:10:42.107380Z","title":"The TPTP Format for Interpretations","venue":"cs.LO","work_id":"e1de4798-97ba-4306-bee7-224caf14ba8a","year":2024},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:39.153207Z"},"links":{"cited_paper":"/paper/2406.06108","citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:c247903805e021069f99f8b7f7837c1fe8144649f13026c15016f465cbeef6c1","observation_id":"e0ce91a3-22ac-4da8-8bf4-0af88de6c7fa","resolution":{"observed_at":"2026-08-05T21:10:42.184992Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:43.160784Z","title":", Vaught , R","venue":null,"work_id":"af9daac4-3ca4-4d14-8489-bf0b087ddd31","year":1956},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:39.235606Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:2e7f46d62c93fca79497163c5edb6ee34830ab828ca6150f82132673f279470e","observation_id":"da41fdde-a424-4d75-9a76-fc12a0066fb2","resolution":{"observed_at":"2026-08-05T21:10:43.219888Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:42.998045Z","title":": Logic for Computer Science - Foundations of Automatic Theorem Proving","venue":null,"work_id":"eb52a206-1814-4620-ae79-c49cb29457d7","year":2015},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:39.372794Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:80ab5d9240ba265e1b57821ad2b17fb152c52af6c78a338a65fa9631d93edeef","observation_id":"d2e952cb-cb19-4ab5-824e-b0e2cbdd959f","resolution":{"observed_at":"2026-08-05T21:10:43.077248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-05T21:10:42.822159Z","title":": SystemOnTPTP","venue":null,"work_id":"10ae2c23-4e46-4a72-bf85-88a529b897db","year":2000},"citing_paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics","version":1},"reference_index":100,"source":"arxiv_source","source_observed_at":"2026-08-05T21:10:39.518850Z"},"links":{"citing_paper":"/paper/2508.09318"},"observation_digest":"sha256:4924efcf57f94da3a5fc940e7dae8130ce3c6ec6acefc3307a56febbe1cdea2f","observation_id":"f07ccd9b-322f-49bf-b3d2-4b15518375fa","resolution":{"observed_at":"2026-08-05T21:10:42.901594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.09318","last_updated":"2025-08-12T20:05:52Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-08T15:26:59.423123Z","submitted_at":"2025-08-12T20:05:52Z","title":"TPTP World Infrastructure for Non-classical Logics"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":28,"verified_exact":3,"verified_fuzzy":66},"total_outbound_references":108},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 100 of 108 outbound references and 1 inbound Pith citation observation for arXiv:2508.09318."}