{"as_of":"2026-08-11T17:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1a1964068e34aa850fac92dddf407cfced8978346e97a886346012c0d6db6707","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-11T06:34:44.6726+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-09T02:55:22.472209Z","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:9b1ff5bd3f8bbad25d12ce8bbcd501fc8c6006aff7c1075a99f2789ce9253cf3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"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:96eb4440b954525398868b6d8f97c0fd8086f4805d219a59bf2e34f0d81539e9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:bf4eb710eb896c9f70581f0c3ab3b6d80160dcaaa7ceaa23c38d65608385b7a6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:6072a8eec234d038e16c18c78337e39008cef3b24899fb1d92dfa92ddf851202","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:d8c0b3d2cfbac3b95f990b0be25fb0f71cb698929de4d0515faecf467fff24d8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-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:b42361a466271f29dd9597c3521786426079cd9789faf7d8d7c1ad21668b5b64","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:7b0f5d0e85f5df1b8d4d4dd1913ed434fcc636234ce061f629f1b1f59e089916","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:d3f09b898476230879ef9b57ee6206a899b080295de39f9c7569a296b2dad781","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:db98b0ee5c9e979628c4f115cfe21b279002f15f5963b805b9b39ef7f19d1b82","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:a1f9d16d2337f946f9f926382e14eb8a5b4a4d1f78a2801c72efe44263630a69","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:f2aa3df6616d4aea7867e1d6816954e5183cc8211e35cb8f6c4d8187169e5ee6","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:90e4cb9ced4e653dfda78fff9fc8dab874365aff3adcb0aa08cae1d0981bc50f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:842826091e6f4846e4e111fc14972584aff4c5498d707c52f6073b4ffb579eee","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:8ab8a093515a12924801d5bc0a0be3931a197e916522378a14746044d0c37be3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:643675e7c21f844d94b2aa459f0026991b52e8dd65e6de8a12822cdf7a0d44ab","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:2d3062b32b62b385c17e92cc8473cae2edd38e4da47e47871fcc00c28b3d9988","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b15f873d86272056e8a9696f6a144ce0ceeba45376a7aace0346fdd6d1c11307","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:d8d31cb56541d72db0cb526e6b6bbcc1ed3f4eedc056395a386404094fe30462","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:459177dd57fe351988a1e81ce099e18a19ef463441ef8f50188eaf4c3d8670bf","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:03cae30548de812ab57dd84ccc8ee2b1b5134b5aca68dc2c82e6b1a6e7aa85ff","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:a837d5f0a2ec633a1897ee9b9a9561563a08d7dd63fa47c481688aea3581019b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:8280d4cbb537d84b1a3891fd0971d3b19dca38a0dd2e9d34b710324dcf62613d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b0badeb5a3e89a754df14a9f04c62560af1e27f1719e95aaac6ba8b335aa8cd8","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:20253b70578202f52f565be8ee9af639837fb81080fed6def48238dd0d09ee56","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:90d5da42108b54801e8e4e0ee87f17de746ae806b3a074cc4cbc50f26ff20969","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:894d0c03d42888e4a56c41321b081718148070e1ccedbdad5fa010d2fbcb0c3d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:f39b704829fec83f1c98bd6977cd7904ed9645946f92681577ff9b96062a8b74","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:087fa2d69c3880818befa2ed3eb6a4f247e32ac3756c8f9b5a99c785afc90ef3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:34b7b7779b739a7b597639523a80a144478f5b255c52a82bc7094ba4d0058448","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:670ddf321507c2d6d6b4220859a74c045ccd65485c2c0443fd972ad3aa179f3d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:0d50ae19a9faad9da003c5d44888db120ba0aaedcb2cb2b5095acb403a4b8889","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:893743018e73ac818158d9f39ec5f3567bced55fd184b1f8f07ab82034e6a1c1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:57164e18d00d3b3afecd3d4a7b8b062d6936412672651b749ecf6409488a4bef","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:4b9576a0a5880f7a199d00281da541e271280af0afce54ebc1cc34f39195cbe3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:c0c339d351416d09e9ce4883088e0dfd164659f0a88053a9bba5fba93e187a69","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:0999a04a236fc72d3438e266c0455fe0ed2367ea3af64eab3aab4dae5bc5ab14","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:c758c24e64df4e31ff8f082f107f5848efc551b0e52d7f3991813f555c89ca08","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:89822b37f3af7c8c89f62102cbc87016a244d0263e618e1dc7d840d81d3688c4","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b4d9b6ea70ebbc8345b5452a1a1b2fb6d7a40cdf4527fba06ef9c9389ef6cfc1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:cd2eaa5d3c0e573b15645c14415168e5fcacb0a408e4c1490f7f83bbbea39f48","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:73faaf644c7ddfe61663042253d34872f771465ae908f034600515060b9578ce","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/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:37f448696c6f1a08348b3a56c7c6d5cc2b707ab406d14d85b2afc07605429508","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:99a480892f8af88ba69c3e0c8440be5d5a771a13b774b983bfef376d1f243324","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:57975db6ed47cf47e06f353ab42a9f7e8d397d78a042406b45a5497db9c30116","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:4b9942a4e12ba655d3f0823c63d65e68756b4b08018c842e4cb4302ced64f66f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:037d8f772dda0a5b482876129fc1a06629a0bf7eb43b1c9641454bb71f32cc36","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:d4c6dfb42dab8c1c2cc4ee2998d3d7a6d6a1079bf317ed91cbf07dda7a6f59d2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:20f2329d7fc59c0c38c57a7e750f6504544188a481c66f57e41147b3c38c95f2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:ddb6976b11f11fe7974b7dae727328ceef0aacf6841a575c21f01cfc43149ef2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:391d8da1a1c4636bff16ac16892f1dca885c006868aa10253b7ed735351bdef9","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b3e00cb20591525f0973f35199002ae0a7f6ab30c68b0f21dbc57899f05a5c7e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:5d64f5bec96e268ce48c3e9c92455ba9d970c0747a5c53742978b843f38e9f7e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:282b611ea829214b4f2f3837765de30f773c391204fe67b9dac009deafe3f729","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:1171da7b34185c5f8da522362b936f639d79b6e77c9761461ce7a27d7d6ae5d3","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:9cc8006256cd8a242dd6d6646c70021ef4d59883a61fba956cd5f4476ad8684e","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:ff9a34a9c164dbc29be8c599b4ccfefd878b7c8be71d75c6248f2889922aea26","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:ad932d0cc20b4de9517a3e000c49d6695e4b0609808eab4b012dea24294f7a9d","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b904dbf5695ba9012df67910ae46f8d847a818d34b7dcf1bbd900c0cdfbc554b","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:575456e153d4d7dd4b0c9e953d42adafc16ceeaca73020297dfc0d23436494da","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:3980106f651e3782abb3c6ef0c194af78799dbdd3b78bf641331098feacb3ae2","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:59ea707a7bd0a2e1b6fe1b72b3bdee856b3f163f79ec40d7d7aaecdbc415183c","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:6955ef3bfa14af9b108fa3e72b4f189502e9226f071ceecfa706b73cf91597f0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:d654cfd9676efade79cdaf628b87e95265792a69256151e2132427599568fcee","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:ecdc8d3fd882e5e551b9e37922fa5932a0233bf2aef5b81fefe618eb85c0b098","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:f8102b00d7f38320407be373cb9ac1bedf8a8a75baca8081c36ba26c742d884f","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:9d31e59b4b69dc28a7eb6aa9b77ea925f12a36e640705e7fae34f9a50a1f4282","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:c8356b15d743bdcfb684da0c4d9c02db87c5c4f58c72a3ee7d2d20ce80e6a4bb","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:93c72a0bd12671dd658e47fe962c05dac34be5a6d6167e62cfefb2ad87e2e7ca","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:b21e628708ec32844d0c102617e4deefd0de28c6a3fa730afd671f148383f0ab","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.06108","last_updated":"2026-05-30T01:11:16Z","snapshot_observed_at":"2026-08-04T20:14:09.448988Z","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:3c8f2bc4c0f203fc41d7c31d1cd66f13bde927660e00566b983f5b57bf305026","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:6edc52486b9e904cece8c3735ba6f6634bf73c8bbc211581d4b1b9be42b50f58","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:857edad87435a47456e6962b9b68beaa7d4ed34731e15c558391afb47825ecf0","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"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:5c7e387849cdf15bde31672dfe93962763ea1830f45e274625a99adf60d77b64","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 100 of 108 outbound references and 1 inbound Pith citation observation for arXiv:2508.09318."}