{"as_of":"2026-08-21T12:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0b5f4d44ea253850192b176d55598cd1dafa785105ac74e3e83b55804c886a5c","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T21:51:04.110337Z","state":"measured"},{"denominator":10,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":10,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2602.19102/citation-record","integrity":"/paper/2602.19102/integrity","json":"/paper/2602.19102/citation-record.json","paper":"/paper/2602.19102"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T21:51:02.902127Z","title":"Mitchell","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:02.902127Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:393738e03035d9bbd4d3caad22a95acde89fe4194b17f1edddede19c22a671a7","observation_id":"e8fa2d61-2f68-4934-bc54-903f4cc9026c","resolution":{"observed_at":"2026-08-02T21:51:02.902127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1405.3694","last_updated":"2014-05-14T21:33:07Z","snapshot_observed_at":"2026-08-15T14:31:01.619560Z","submitted_at":"2014-05-14T21:33:07Z","title":"Clingo = ASP + Control: Preliminary Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1405.3694","snapshot_observed_at":"2026-08-02T21:51:03.609208Z","title":"Clingo = ASP + control: Preliminary report","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.609208Z"},"links":{"cited_paper":"/paper/1405.3694","citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:a5366e054e42aa68251ca9f92c388c20c9cf2cd34aba6c5714038a2536ed3390","observation_id":"9dcb264d-3f61-4924-bd92-289ec378b648","resolution":{"observed_at":"2026-08-02T21:51:03.609208Z","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-02T21:51:03.751460Z","title":"Gringo : A new grounder for answer set programming","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.751460Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:b683a20cae0b71ba9f63f6974a22cfd4ac4272399fedeef60265e4bc48dfed45","observation_id":"7c3b43a5-c061-4274-b1ae-c2d85efc605b","resolution":{"observed_at":"2026-08-02T21:51:03.751460Z","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-02T21:51:03.860721Z","title":"Efficiently grounding FOL using bit vectors","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.860721Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:e18aed8ef951b54c89c25e20ceff8b59d04d095f934f1f0d05182bf1b615ace8","observation_id":"7385f028-2b23-41cf-a0ba-46f511e8dfe8","resolution":{"observed_at":"2026-08-02T21:51:03.860721Z","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-02T21:51:04.110337Z","title":"Model expansion as a framework for modelling and solving search problems","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:04.110337Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:47c81c083d5ba8a0655e0d8cf3e45b7ec9335bc7dd1dbb841b4a0ceb85b39a73","observation_id":"c4fe550e-b041-4c35-badb-c793a212fcc6","resolution":{"observed_at":"2026-08-02T21:51:04.110337Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1608.08447","last_updated":"2016-08-30T13:47:41Z","snapshot_observed_at":"2026-08-14T21:42:10.662598Z","submitted_at":"2016-08-30T13:47:41Z","title":"BreakID: Static Symmetry Breaking for ASP (System Description)","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1608.08447","snapshot_observed_at":"2026-08-02T21:51:03.467526Z","title":"Breakid: Static symmetry breaking for ASP (system de- scription)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.467526Z"},"links":{"cited_paper":"/paper/1608.08447","citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:1838be066c77d7b162446596c56b01f417123779e474128c60af468cdeeee00b","observation_id":"125e0170-fad2-4fea-bc51-7d1e94b016ea","resolution":{"observed_at":"2026-08-02T21:51:03.467526Z","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-02T21:51:03.379627Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.379627Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:0fc79327042d936546ff3ff27dbc0c8e21581838be62183ed09a0eca22ca00fa","observation_id":"6e81f2db-8d89-4ff7-b525-c3cb1af7b623","resolution":{"observed_at":"2026-08-02T21:51:03.379627Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1401.6312","last_updated":"2018-03-13T13:06:19Z","snapshot_observed_at":"2026-08-14T23:47:08.125244Z","submitted_at":"2014-01-24T11:13:43Z","title":"Predicate Logic as a Modelling Language: The IDP System","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1401.6312","snapshot_observed_at":"2026-08-02T21:51:03.262870Z","title":"Predicate logic as a modelling language: The IDP system","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.262870Z"},"links":{"cited_paper":"/paper/1401.6312","citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:4130f0c5924af7a6df4b2b0d20a713ccb7d0317790f830879d9310a1ba633dac","observation_id":"24cd1c0e-62e6-4d51-a23f-2a9155fc586f","resolution":{"observed_at":"2026-08-02T21:51:03.262870Z","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-02T21:51:03.972629Z","title":"DIRT: a literature-based bench- mark suite for grounders","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.972629Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:37967d638bc6b94c2f5753d01426dd6e36c7749fdbaa29039dc9c3188f7aed24","observation_id":"ee5c5c44-6a2a-4b9d-8e94-37d225f3e04c","resolution":{"observed_at":"2026-08-02T21:51:03.972629Z","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-02T21:51:03.096525Z","title":"3 Francesco Calimeri, Davide Fuscà, Simona Perri, and Jessica Zangari","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-02T21:51:03.096525Z"},"links":{"citing_paper":"/paper/2602.19102"},"observation_digest":"sha256:3e14897ea70eee2731f561f479ed7e07fb8c9f7a325d3e82c32b9e468a183c64","observation_id":"d99c37b3-08f4-4900-8c0b-7d9db4a27e17","resolution":{"observed_at":"2026-08-02T21:51:03.096525Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.19102","last_updated":"2026-06-24T14:38:21Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-20T15:37:16.829235Z","submitted_at":"2026-02-22T09:23:42Z","title":"Table-based Quantifier Elimination"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":10},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2602.19102."}