{"as_of":"2026-08-08T08:54:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a56360292d093825a909d061bf719ff69fede5072bfe709af86e521146616076","coverage":[{"denominator":48,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":48,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:27:01.069314Z","state":"measured"},{"denominator":48,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":48,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2506.00163/citation-record","integrity":"/paper/2506.00163/integrity","json":"/paper/2506.00163/citation-record.json","paper":"/paper/2506.00163"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01448035","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:03.264030Z","title":"Mathematische Annalen110(1), 390–413 (1935)","venue":null,"work_id":"3dc95056-ae1f-4f05-908a-4d59b7f1b405","year":1935},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:56.705345Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:4e578c11c6ed3b20dcf7f382ef55e72336b3508f6f1649c1119c0e13406a6b74","observation_id":"0f27cf4d-672d-42e8-9408-742a579c9a72","resolution":{"observed_at":"2026-08-07T12:27:03.335070Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:07.732803Z","title":"In: Fernández-Duque, D., Palmigiano, A., Pinchinat, S","venue":null,"work_id":"69b772ba-87bb-44ac-a256-32d1b6ebedee","year":2022},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:56.794143Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:04fc0c32fc16d890e2b916e2d9b91c9da3292d7205dc8638c277e98dbca8b5ed","observation_id":"bdc82776-0e06-4bc0-9efb-75271914eb56","resolution":{"observed_at":"2026-08-07T12:27:07.863830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:56.881874Z","title":"Applicable Algebra in Engineering, Communication and Computing5, 193–212 (1994)","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:56.881874Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:2e03dcd5578a890168a89ae38e972bdc2884fcff754657bc85944640ba461758","observation_id":"52ea5e45-aae4-44c6-b1b3-47a77f2e9dc6","resolution":{"observed_at":"2026-08-07T12:26:56.881874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-22102-7_2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:03.123597Z","title":"In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A., Wolter, F","venue":null,"work_id":"3d802307-aeaf-49f1-8e80-f94cd66351ec","year":2019},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:56.981518Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:0299b865e18d7ed4921c26b5793854e4d07ec1b3aaa4762a1ed2c741a5911de5","observation_id":"8a6b9c08-d123-490c-8127-0dcd3099d613","resolution":{"observed_at":"2026-08-07T12:27:03.171163Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01976313","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.944469Z","title":"Archiv für mathematische Logik und Grundlagenforschung1(1), 17–29 (1950)","venue":null,"work_id":"b0d44ccc-a03a-42ef-bc67-ba133d9bcc26","year":1950},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.076861Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:438865bad416e2a0ee5880b8aec3d53d76cc6abd0902db5f30dc03a6a36509e6","observation_id":"be6a5e44-1f47-4c75-bac6-fee067c835dc","resolution":{"observed_at":"2026-08-07T12:27:03.027291Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01982011","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.768160Z","title":"Archiv für mathematische Logik und Grundlagenforschung1(2), 33–51 (1951)","venue":null,"work_id":"88d5ec95-0f56-417e-8be0-2d5a4ea2201d","year":1951},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.174781Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:ed7f94bef4be6ad7f18e6bfe1fb9fa6352e40fd9c12416e0870f7e30bb7ec83f","observation_id":"30a3f7f0-e49b-442b-ba82-3dd1b12e2c89","resolution":{"observed_at":"2026-08-07T12:27:02.825132Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:57.272463Z","title":"In: Beklemishev, L.D., Blass, A., Dershowitz, N., Finkbeiner, B., Schulte, W","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.272463Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:60cf196b63a75726a0b1ff8d617b08ed5dd149255cffd222e25e26bbcb0d6326","observation_id":"4bc48973-94d8-47ab-8cfb-0a26009ee44f","resolution":{"observed_at":"2026-08-07T12:26:57.272463Z","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-07T12:27:07.553865Z","title":"Computers and Mathematics with Applications29(2), 73–90 (1995)","venue":null,"work_id":"10358f9a-efe8-4109-a8bc-51a2b896324b","year":1995},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.397709Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:f9e8b9ef47af45afc811d36cadbd5ae8b386fcc511cf139de7e1e9a9cfdc4e8b","observation_id":"d750744f-7095-4984-8d99-9acf23b9fb49","resolution":{"observed_at":"2026-08-07T12:27:07.646202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:57.496462Z","title":"In: Kejriwal, M., Szekely, P.A., Troncy, R","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.496462Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:88a7c1b98448935bcc82b23c9766c07e1300cc65feb006b42aa6b977a35d2e18","observation_id":"7042ca51-b860-43a1-a1d5-3900975b257a","resolution":{"observed_at":"2026-08-07T12:26:57.496462Z","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-07T12:27:07.361323Z","title":"The core algorithm sqema","venue":null,"work_id":"75ad3fe9-c510-4abe-b570-5f5da224f43e","year":2006},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.590850Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:e630c9baf4cbd629968a64f5208f96c00e93f687ef57d0c34bc6b58b60e558c6","observation_id":"3545256f-91f7-444b-80e8-f6da3e7be7e3","resolution":{"observed_at":"2026-08-07T12:27:07.430678Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-06025-5_36","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.620256Z","title":"In: Baltag, A., Smets, S","venue":null,"work_id":"e959624d-9c4a-40b6-84c3-b74c363472b0","year":2014},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.678916Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:e5f943b0b6095a364c86b6b3790d9c89fd6bf1a8e3e31bafd89049d74fbd859a","observation_id":"dbe418f7-5fea-44e9-8420-5bb77d99fd28","resolution":{"observed_at":"2026-08-07T12:27:02.689295Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:57.741587Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.741587Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:ce2d1f33edaceeedcd66db33f3956873ecee9b5193b337ff8b6f64fc4057ac10","observation_id":"1aa82c9e-d22d-449a-854e-b2ae8898a2cd","resolution":{"observed_at":"2026-08-07T12:26:57.741587Z","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-07T12:26:57.863898Z","title":"Journal of Automated Reasoning18(3), 297–336 (1997)","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.863898Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:4ceec5f5ca245417e4b104cf153d359eee4c091abcb890e31b2a94420ef39fe5","observation_id":"7e08fe77-045b-4b1c-bdea-bbfa5dc0ed1e","resolution":{"observed_at":"2026-08-07T12:26:57.863898Z","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-07T12:26:57.963133Z","title":"Fundamenta Informaticae36(1), 23–55 (1998)","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:57.963133Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:952d81553bb7db0f59629e94c1e0fc1573efcc740c94ab356a9f23a7d74f7343","observation_id":"d4e8a868-b4fb-48a1-947f-a31adb74d598","resolution":{"observed_at":"2026-08-07T12:26:57.963133Z","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-07T12:27:07.150905Z","title":"In: Nebel, B","venue":null,"work_id":"1aa38621-06b8-4bd1-b0dd-ed14e09191d5","year":2001},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.059207Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:0ae4f8c85497f7a823fffbf0287d90bbcde4f34cf8554a207e83f6b67cdc2f82","observation_id":"ca69faf5-593c-4075-bde4-13044ad4c246","resolution":{"observed_at":"2026-08-07T12:27:07.256565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-25929-9_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.473579Z","title":"In: Tsumoto, S., Slowinski, R., Komorowski, H.J., Grzymala-Busse, J.W","venue":null,"work_id":"327e0b58-040b-49d4-aaca-7cd6f908054c","year":2004},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.135771Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:e05878d81afeaee30012e831df920ab27abf851d03edf150fb7687f030840c7b","observation_id":"f6230ace-f016-46ac-b457-296a85a9b680","resolution":{"observed_at":"2026-08-07T12:27:02.531810Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1093/logcom/exv059","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.324661Z","title":"Journal of Logic and Computation27(1), 109–128 (2017)","venue":null,"work_id":"f7d11718-45f7-48e7-ac1b-ca53691be84c","year":2017},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.236374Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:deffdb00257dc5de48934e6eae60a4a531315847d2d45bc40325b65c23b6a615","observation_id":"0ad3012e-263f-40ea-b63e-04dc1630981c","resolution":{"observed_at":"2026-08-07T12:27:02.369905Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:06.868121Z","title":"In: Olivetti, N., Tiwari, A","venue":null,"work_id":"b90ed731-b122-48e8-b6bf-b3563ed83a2a","year":2016},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.307365Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:4840b62f1c90db34494b8ba6b4666df85808e0e5573d3999b861ad11890aac73","observation_id":"7fd87323-1c6c-4721-b024-e50f0a2af71b","resolution":{"observed_at":"2026-08-07T12:27:06.972039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:58.365041Z","title":"Künstliche Intell.33(1), 9–33 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.365041Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:68296587083ea33f756b881605d6e3ce22d83849961f8b17c709badfa991999a","observation_id":"012b1228-b9bf-45cb-8d60-fc0a226f0a13","resolution":{"observed_at":"2026-08-07T12:26:58.365041Z","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-07T12:27:06.622167Z","title":"Diplomarbeit, Fachbereich Informatik, Univ","venue":null,"work_id":"e1d0bc6e-ab82-46c0-af90-aeb24894b137","year":1996},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.481255Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:8b1588197ecab046518e9eb95482d6cdb0f0539e9d33b6756ddbf25a2d73f7f0","observation_id":"e430ff56-0a69-44e3-969f-ea3a1382331b","resolution":{"observed_at":"2026-08-07T12:27:06.730544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:58.546285Z","title":"In: Benzmüller, C., Heule, M.J.H., Schmidt, R.A","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.546285Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:66e1fbfea57daad9b6fca9b94373d5c0fdb64e13cca0240cc1078b7388c70aa1","observation_id":"8b9db429-d3b5-47b9-bcd8-1736b2c46f1d","resolution":{"observed_at":"2026-08-07T12:26:58.546285Z","resolver_source":null,"status":"malformed_identifier"},"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-07T12:27:06.425745Z","title":"South African Computer Journal7, 35–43 (1992)","venue":null,"work_id":"2f3087e9-a6a3-406f-a920-5e22ccabfbf4","year":1992},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.643956Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:1b17f527fd90a9fed9286cd26dfe01d4908a6ac0f2a70206eff964e94462ec2f","observation_id":"b1f40ccb-adc3-474d-84b7-3fbb136e8fa6","resolution":{"observed_at":"2026-08-07T12:27:06.522895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:06.251103Z","title":"College Publications (2008)","venue":null,"work_id":"f14b9545-6454-4e64-be68-db3f9af85147","year":2008},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.732501Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:8bbd82646b0cbaa266fa9c1895911b07f3b8ffaf8ef5eb767eb02096e131fc96","observation_id":"599e5a71-d971-4e9b-8c27-fb034a25cedd","resolution":{"observed_at":"2026-08-07T12:27:06.341882Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:58.828906Z","title":"Theory Pract","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.828906Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:1ec98618be4a3543d72b0984bd437d76c3ea69d661c79cf7969efcaf8a4c2d6b","observation_id":"5f66ee27-6bd3-4150-b189-f318d7fa0bcd","resolution":{"observed_at":"2026-08-07T12:26:58.828906Z","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-07T12:26:58.918206Z","title":"In: Berghammer, R., Möller, B., Struth, G","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:58.918206Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:133a9460ef2f928fd374c8e81277c83cb7086293459c2858f04e767d990f3154","observation_id":"aa90b72a-be8f-4c64-b8eb-391721cd1337","resolution":{"observed_at":"2026-08-07T12:26:58.918206Z","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-07T12:26:59.042024Z","title":"In: Hojjat, H., Kafle, B","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.042024Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:8b67cac368f5f180068dda7078f74191c2d853c4bf254c6a1ea40d1dcb5ba136","observation_id":"1697e683-f6a0-4611-bbac-1f307a96e3eb","resolution":{"observed_at":"2026-08-07T12:26:59.042024Z","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-07T12:27:06.038726Z","title":"In: Schmidt, R.A., Wernhard, C., Zhao, Y","venue":null,"work_id":"6036e31c-e197-4110-8d78-f4f2694cd046","year":2021},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.109321Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:9e9f26c373948b7c9108e9fa23a1d4a8512c424cb135066832cbf38652dfe8ae","observation_id":"a3e2ef06-19a5-4d38-a129-35302e6f5d5c","resolution":{"observed_at":"2026-08-07T12:27:06.134474Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-14203-1_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.152081Z","title":"In: Giesl, J., Hähnle, R","venue":null,"work_id":"f72df48a-f03b-4fdb-9aef-f8143750c68c","year":2010},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.231422Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:d57e26361bbfb078debad97da0cf74de13eb77e935d4ea951bc721e4b6ca08bb","observation_id":"5466c852-2ba0-411f-8909-74ee0239f220","resolution":{"observed_at":"2026-08-07T12:27:02.217541Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:05.780894Z","title":"Cambridge University Press (1997)","venue":null,"work_id":"0824f4e9-f188-4fd8-9b4b-789171af8928","year":1997},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.352955Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:3b0a0d572de3c8508419a34c3a96b9b2cfd4e443df9f22188216d387a3dbd29d","observation_id":"38d99de4-677d-4bf4-a006-831b90a557e4","resolution":{"observed_at":"2026-08-07T12:27:05.850156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:59.504060Z","title":"In: Creignou, N., Berre, D.L","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.504060Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:1442448273f6a4e4128714db247b7854e6fb92939217a065b50a19305505f8c6","observation_id":"bdb72ccf-96be-4726-9c16-51b48998f9f7","resolution":{"observed_at":"2026-08-07T12:26:59.504060Z","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-07T12:27:05.516151Z","title":"In: Boutilier, C","venue":null,"work_id":"4ab6a031-efc7-457f-bebb-5470d2d47125","year":2009},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.577750Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:6496182b0489b5ea0a17069af0493033cf2b2c9240796beb0e7526f72f232daa","observation_id":"a31d3785-f51d-4f79-ac7a-7630f009b62c","resolution":{"observed_at":"2026-08-07T12:27:05.649310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-45221-5_37","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:02.013824Z","title":"In: McMillan, K., Middeldorp, A., Voronkov, A","venue":null,"work_id":"27e392bd-9718-4f85-b9e2-e909b22312f8","year":2013},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.647103Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:7eb3bb53772145fc0bf8a3dd3264ca6a598aa5cf9650c9eb46950bafbcbffb81","observation_id":"cbd011cc-e72b-4a36-bb35-b44f3d2d0d50","resolution":{"observed_at":"2026-08-07T12:27:02.071361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-40885-4_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:01.835149Z","title":"In: Fontaine, P., Ringeissen, C., Schmidt, R.A","venue":null,"work_id":"52623c8e-6cbb-41b0-92de-96136339479b","year":2013},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.761804Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:a0450885c383699c51a1eb650ac2190bf932a9c57863bbd1780dbb35eac24a3e","observation_id":"688c5ecd-5d9d-47a6-95a2-4ab5db0b93e4","resolution":{"observed_at":"2026-08-07T12:27:01.909731Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:05.269344Z","title":"In: Bonet, B., Koenig, S","venue":null,"work_id":"b02b06a6-1b9b-496e-a656-16f788437155","year":2015},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.834643Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:c0b6c641a8f5502fae590f95ea7abb5bf87465f5034b4ae4c32d424c45bfb781","observation_id":"e80b1664-cba7-4974-8ce8-3d4983bd9868","resolution":{"observed_at":"2026-08-07T12:27:05.384138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:26:59.910148Z","title":"In: Calvanese, D., Erdem, E., Thielscher, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T12:26:59.910148Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:036bd82dc812576825f00eef26962087fc094578019e6329845b4c0df431eca2","observation_id":"c0e0e581-333b-4690-8f75-c3282265605a","resolution":{"observed_at":"2026-08-07T12:26:59.910148Z","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-07T12:27:05.091280Z","title":null,"venue":null,"work_id":"3fd5c76e-1d1b-4f84-89cb-71347d2c7d98","year":1994},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.010062Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:a33e9be75fc40e5a4e05e7919f6c7a071c75f73ae22e858adf80686a410b8743","observation_id":"f51ac8d2-b723-4d3b-b1cc-ebf40f8bfdd4","resolution":{"observed_at":"2026-08-07T12:27:05.167183Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:04.887018Z","title":"In: Demartini, G., Zuccon, G., Culpepper, J.S., Huang, Z., Tong, H","venue":null,"work_id":"67b9d1e0-15f0-459e-926b-88d00521c641","year":null},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.076125Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:2c1e160a9f98304a5a68f1094266e6f70e7f4c23b2a751c3c65b2a4863d6bcdd","observation_id":"55297732-7fe7-4c99-83d2-1ccd74fdd2f4","resolution":{"observed_at":"2026-08-07T12:27:04.990040Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:04.616153Z","title":"In: Baral, C., De Giacomo, G., Eiter, T","venue":null,"work_id":"653805c2-854c-40d6-acb1-a128072b3a9f","year":2014},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.236972Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:0128d25876cef43735ec3a3bf6c809a669db4dfb4e31d06fb9a98aa62c4dd31e","observation_id":"12d061e4-8fb2-413d-8cc4-a0857ba3eb66","resolution":{"observed_at":"2026-08-07T12:27:04.712062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:00.304815Z","title":"Journal of Symbolic Computation7(3-4), 275–293 (1989)","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.304815Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:1b6d308d49c6709eb1ce674ca1445a54a816b32aed48aa155211be3e69206453","observation_id":"d4163537-583a-465b-b319-9a64dbeba9b5","resolution":{"observed_at":"2026-08-07T12:27:00.304815Z","resolver_source":null,"status":"malformed_identifier"},"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-07T12:27:04.353586Z","title":"In: Orłowska, E","venue":null,"work_id":"bcdf322d-e44e-43e7-8e95-4e020658a6e8","year":1998},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.374384Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:3c80d06dfe39d6032c79e84f9fb1e556f4b64d03b9a4594c503c3f04c38e719e","observation_id":"48d0816d-0a67-4765-9ca8-a9df973d1ceb","resolution":{"observed_at":"2026-08-07T12:27:04.482827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:04.146272Z","title":null,"venue":null,"work_id":"60b380cb-0687-45d4-ac4a-3b71e52976c2","year":2004},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.428583Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:6e0ef23ee5bbbc4232a52f84f0d4f065b80cc6a8e6a00499eca86373940b1420","observation_id":"6321eeed-eb92-4b6e-8e73-66dde5c12795","resolution":{"observed_at":"2026-08-07T12:27:04.240332Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:03.926550Z","title":"In: McRobbie, M.A., Slaney, J.K","venue":null,"work_id":"de8fd04d-cbbd-4fad-ade2-f236d76808d8","year":1996},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.544238Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:cc61fbf68d017edaeb3511f955267926a128518d39e8b035ed7daf53dd9868cf","observation_id":"2da56398-765e-4b31-9216-7304e1d7c04c","resolution":{"observed_at":"2026-08-07T12:27:04.020468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-86205-3_3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:01.648386Z","title":"In: Konev, B., Reger, G","venue":null,"work_id":"3bc8a4d7-5ebf-41e9-b847-73bff941b484","year":2021},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.618592Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:249ed41bc63aefc50a845520a7e5420bd62c665c16ecf9a73ce60b80640f1a54","observation_id":"7a3fdedd-beed-44a5-aaf6-a6674ec4b58a","resolution":{"observed_at":"2026-08-07T12:27:01.737949Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:03.749420Z","title":"North-Holland (1974)","venue":null,"work_id":"6b36e1d6-1ff3-4861-8606-3fe7ce508639","year":1974},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.683785Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:b1d7aea7e7f5f163e6150ce35b906c6a4259c212b10dcfc730660fa4a24e74fd","observation_id":"660658cd-2848-4313-92ed-9decb72f2534","resolution":{"observed_at":"2026-08-07T12:27:03.820812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:03.553669Z","title":null,"venue":null,"work_id":"8ed229a2-9540-4bcc-9a77-118b77dd1c05","year":null},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.834553Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:3dd6fdb683b43262f090da89d878f9a527c00f32082a4ef508924479a1711150","observation_id":"6112a987-e465-4490-ac14-b638545df55a","resolution":{"observed_at":"2026-08-07T12:27:03.625991Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-97457-2_20","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:01.443601Z","title":"In: Alechina, N., Baldoni, M., Logan, B","venue":null,"work_id":"2b1e47d1-d0f2-4929-8516-8d8988bce363","year":2021},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.948832Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:7912cc5d94d06c2962524f19a7af9286b9decb8840c0f7058b0b937ed73fa5f6","observation_id":"8640ab00-0814-42aa-a6b7-06cd9827529b","resolution":{"observed_at":"2026-08-07T12:27:01.520678Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66167-4_19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:27:01.193814Z","title":"In: Dixon, C., Finger, M","venue":null,"work_id":"4595d9a5-68d8-49cb-aed5-3c143b5368b8","year":2017},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:01.069314Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:4752f7292c81fda56a483ca4751dbc5c682dcb2874c749ee52f39ea241f4f14c","observation_id":"e11ab33d-9a74-44af-8afa-2c7d31c9642f","resolution":{"observed_at":"2026-08-07T12:27:01.284393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:27:00.144920Z","title":"https://doi.org/10.1145/3459637.3482307","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)","version":1},"reference_index":1139,"source":"pdf_text","source_observed_at":"2026-08-07T12:27:00.144920Z"},"links":{"citing_paper":"/paper/2506.00163"},"observation_digest":"sha256:94d67a194ae2d42c70e3eb3c8c056c608f172b4e9c101f238632afb8d8061e27","observation_id":"9bd16548-13ea-4158-ad87-3a19f37cb7be","resolution":{"observed_at":"2026-08-07T12:27:00.144920Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.00163","last_updated":"2025-05-30T19:08:00Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T12:08:45.842345Z","submitted_at":"2025-05-30T19:08:00Z","title":"Computing Witnesses Using the SCAN Algorithm (Extended Preprint)"},"reference_resolution":{"displayed":48,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":13,"verified_fuzzy":17},"total_outbound_references":48},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2506.00163."}