{"as_of":"2026-08-17T04:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2dfb2b45d48bf6e501376a26bf44cc52525071a354c2d7893cc5301f5a2ba46b","coverage":[{"denominator":24,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":24,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:31:36.534148Z","state":"measured"},{"denominator":24,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":24,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.03501/citation-record","integrity":"/paper/1908.03501/integrity","json":"/paper/1908.03501/citation-record.json","paper":"/paper/1908.03501"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:31:36.915849Z","title":"Baader and U","venue":null,"work_id":"d9af0017-91f6-4079-96fe-31c4b8036b58","year":2001},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.414853Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:b25944674d094bbd04f97799466deb04fc2a42a2877a23807adfdcae25b485f0","observation_id":"2a676537-218e-499d-927a-ca7bd017cf32","resolution":{"observed_at":"2026-08-14T14:31:36.919783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.901658Z","title":"Blackburn, J","venue":null,"work_id":"e900fee0-f552-42b3-9234-820f2ca84091","year":2007},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.421210Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:60b110a886001a4ee3882e1ce047391bf11a7a3a2a39a663235984655907fa58","observation_id":"9de809be-4f13-4866-aedb-489796f0a5be","resolution":{"observed_at":"2026-08-14T14:31:36.906216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.888320Z","title":null,"venue":null,"work_id":"b953baa8-5b13-4641-b296-0dd171703ce5","year":1971},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.426105Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:63fd3a5a3157c9694b66b2f5d5da60e81313ec0e684c37f08d2d069512314112","observation_id":"0f699fd1-d290-45c7-88d4-fbf83cb9e9bb","resolution":{"observed_at":"2026-08-14T14:31:36.892386Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.868644Z","title":"Dabrowski, L","venue":null,"work_id":"faa1c531-ba3c-4b20-9dfd-531b2f7b4764","year":1996},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.431102Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:cea45cdd54eb2e4f3cd2483b77a6f5fdee54082ae36f984a57fda823b28266d6","observation_id":"bfaae013-1533-421c-9481-b3266f55e199","resolution":{"observed_at":"2026-08-14T14:31:36.879659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.852833Z","title":"D’Agostino, D","venue":null,"work_id":"bd27eab9-51f4-4cc2-8cb7-6f87666622f2","year":1999},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.438728Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:c4ad8236e2e451ed4961691813e50c13471426162e68f721c77a137453f7a261","observation_id":"60536b74-174f-46ce-a3ad-ccfdc9490cd4","resolution":{"observed_at":"2026-08-14T14:31:36.858036Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.833808Z","title":null,"venue":null,"work_id":"c60605c0-ef69-418f-83c7-d8fc141bf676","year":1983},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.443938Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:21103c243a241e8df3f37ff2c12f5a202d3a6b237541dfda86fabf43832c50b2","observation_id":"6aae8d4c-8ffa-4ab0-a9c0-4e8328733487","resolution":{"observed_at":"2026-08-14T14:31:36.839726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.818935Z","title":null,"venue":null,"work_id":"82aec4e9-8ca1-49f4-a4d5-124950de452c","year":2007},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.448501Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:5da3247351da2486720ce72beb0dfba403d06dff1eab7332f92aa02450fab688","observation_id":"79683824-fb0f-4e93-9fd7-4674fe4ed59b","resolution":{"observed_at":"2026-08-14T14:31:36.823766Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.804606Z","title":null,"venue":null,"work_id":"fd639168-781c-4db5-ac7f-dbc221e071c9","year":1998},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.452547Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:397adbe7199317ce6fd7997cdc348b9a04731e429205173be0b06432c300860d","observation_id":"5f2ea05b-2bb5-4c5d-95e6-ab2600b9f511","resolution":{"observed_at":"2026-08-14T14:31:36.809112Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.789534Z","title":null,"venue":null,"work_id":"30c8af2b-491e-452b-9d9b-bdc0a22c7c12","year":1999},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.458417Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:f3e40b7ada99162d9c8ca17a4612c6b8a49895b36a98f2d929fcc58414eb6397","observation_id":"14f3d86e-e3c0-4653-99fe-5ffeba9a0c30","resolution":{"observed_at":"2026-08-14T14:31:36.794501Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.773428Z","title":"Governatori","venue":null,"work_id":"b9741383-3990-4417-9b21-ca247dd12eb2","year":2008},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.463814Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:e8ad3f0e90626cbf9efe2f91554474ac544a362709363446f0fa04ce19c4f8db","observation_id":"5cce75f7-0784-485c-a6b9-634df0b0cc6a","resolution":{"observed_at":"2026-08-14T14:31:36.778414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.752628Z","title":null,"venue":null,"work_id":"22b83ec2-75a6-43bf-8470-a767cbab1dfc","year":2011},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.472602Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:62b23232325af437617c9f47c884e8d2fadc01f3f7ea78bb764d40c89d0ce6de","observation_id":"e9ba2aa7-79eb-4890-9600-776dbe4ebe2a","resolution":{"observed_at":"2026-08-14T14:31:36.757493Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.478086Z","title":"Heinemann","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.478086Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:3dade76d615798cffa5d19ea824fd3ce2c13e61223fd5f3f90aafce5f2fbbc50","observation_id":"29df9761-a43c-4501-8a31-cfcc301e494e","resolution":{"observed_at":"2026-08-14T14:31:36.478086Z","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-14T14:31:36.482846Z","title":"Heinemann","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.482846Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:68edf20731cdd4661f9b80c225d1fbde384f9563c5135a29ba41fa30dad5e436","observation_id":"89c88866-a05c-454a-b0a2-0c5b7e446f45","resolution":{"observed_at":"2026-08-14T14:31:36.482846Z","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-14T14:31:36.716870Z","title":"Hertling and G","venue":null,"work_id":"fd2ab773-d954-4937-8625-304378dde504","year":2019},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.487990Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:7e09f5af580c5bc8290892e8ce307371d072b470fbb84c226e8eefa521af7403","observation_id":"bb25924e-7198-45b4-96c0-1e0260390a43","resolution":{"observed_at":"2026-08-14T14:31:36.721731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.700654Z","title":null,"venue":null,"work_id":"fb1d00c3-3e0a-495b-af8b-f67d47e37966","year":1995},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.496141Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:698b12ab6367303bf163aa0ff2df6bfa1cb3d963a49b12264e367f1657ceb20b","observation_id":"46b2bf0c-6ab3-4186-b07b-e6f0d153485d","resolution":{"observed_at":"2026-08-14T14:31:36.705524Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.500541Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.500541Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:f31cf51b360cb6c426661c83f0ee8db32c535dbf41c8d9892745e3c5ab86cd7c","observation_id":"eb968e04-3f40-42a7-9a69-da75fbe77991","resolution":{"observed_at":"2026-08-14T14:31:36.500541Z","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-14T14:31:36.504578Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.504578Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:6a6820b9aa9144cee2390e1feec8d7a6a06d1fa4e93ef59758ccc867c567d743","observation_id":"5f479864-ded5-48e1-9f30-6a9508a58881","resolution":{"observed_at":"2026-08-14T14:31:36.504578Z","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-14T14:31:36.508846Z","title":"Kurucz, F","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.508846Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:c26eea5e706b943d439ceb61c925500f9da062ed6cb98ff606a8d7dedb8e0ec8","observation_id":"265528bf-873f-4c70-97b8-0adc530bd936","resolution":{"observed_at":"2026-08-14T14:31:36.508846Z","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-14T14:31:36.654186Z","title":null,"venue":null,"work_id":"0315d6fb-1033-47be-b4b4-634414b52bba","year":1977},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.513943Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:9bcc35e4d13a0b844104a37d1566bc01c9be6207f1c7d808a9c0981e8259ae6c","observation_id":"b19229c3-3c64-4760-b3d2-1f44b3f8ebde","resolution":{"observed_at":"2026-08-14T14:31:36.658758Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.640718Z","title":null,"venue":null,"work_id":"a0f6fd63-1782-42a1-9664-6c58e0e2bd50","year":1999},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.517702Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:2644b96b5bc121446dfad69c0c304e5fecc8769909b1660f54269f1fcc5b7e67","observation_id":"6f8eb3d2-8750-4ec0-a5b2-32848d70c263","resolution":{"observed_at":"2026-08-14T14:31:36.644908Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.626489Z","title":null,"venue":null,"work_id":"ca710990-6cc8-4f10-a590-08297b2d492b","year":1995},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.521851Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:b8d1c82f727e7f9bd1c0ecca33b31f9f61a859a73085b13e9fb2dc29bc06be15","observation_id":"6bcacd47-f5bc-40b9-ad72-4a927a8cd456","resolution":{"observed_at":"2026-08-14T14:31:36.631307Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T14:31:36.526050Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.526050Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:4c05ec32953766b34f5f267ede02ffb757ddc128346e14630065a16d93c0afd6","observation_id":"459ea6e4-4881-49ce-83ab-1018132e9baa","resolution":{"observed_at":"2026-08-14T14:31:36.526050Z","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-14T14:31:36.530086Z","title":"Parikh, L","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.530086Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:93fdb4cca917cf2fcee6d4bf463a3bc515ac2e97a3f00f0035067edc33e3b7c6","observation_id":"1a77a07f-822b-4932-9c0a-bb48ad229863","resolution":{"observed_at":"2026-08-14T14:31:36.530086Z","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-14T14:31:36.576756Z","title":"Schröder.Ordered sets","venue":null,"work_id":"08fb427d-bf35-4b8a-af92-eff141cc3154","year":2016},"citing_paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:31:36.534148Z"},"links":{"citing_paper":"/paper/1908.03501"},"observation_digest":"sha256:dbeb01d1917f64a8f6d9c67773229af968d411ea4305f411366d51fdc2cb15c5","observation_id":"a0d9ab32-75e4-44d7-a2d9-d2127b77be06","resolution":{"observed_at":"2026-08-14T14:31:36.585882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.03501","last_updated":"2019-08-09T15:43:50Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T03:25:06.911035Z","submitted_at":"2019-08-09T15:43:50Z","title":"EXPSPACE-Completeness of the Logics K4xS5 and S4xS5 and the Logic of Subset Spaces, Part 1: ESPACE-Algorithms"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":0,"verified_fuzzy":7},"total_outbound_references":24},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:1908.03501."}