{"as_of":"2026-08-12T13:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2d5e4a75f9369271b532aa5364cd0bb5580c8781f36b09404155f44195ed8d93","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-09T18:18:01.513949Z","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-12T06:34:41.77262+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/2502.00680/citation-record","integrity":"/paper/2502.00680/integrity","json":"/paper/2502.00680/citation-record.json","paper":"/paper/2502.00680"},"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-09T18:18:01.786783Z","title":"Baker, J","venue":null,"work_id":"d2773ee4-c3d9-4f77-b993-0f7cb21f94a3","year":1975},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.427950Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:181cb5dcd530a6816ed5974c7cef4c98cc8317ad3de14c8a8d1e93265b35b0af","observation_id":"8edda3b3-4c58-432b-8fe0-0e5b16e4a3a9","resolution":{"observed_at":"2026-08-09T18:18:01.790357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.775866Z","title":"Ben-David, K","venue":null,"work_id":"a2916dc2-471d-41ab-9348-8235ea95bb0a","year":2000},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.432610Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:5124e9d842b271616c90a9353afb11532a3042d988569c1110cf4caf03ef84b7","observation_id":"0770e714-a7a8-49c4-8092-204c931c71bc","resolution":{"observed_at":"2026-08-09T18:18:01.779893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.765017Z","title":"Cucker, M","venue":null,"work_id":"1397680b-f093-4640-93cf-2956270835b2","year":1998},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.436315Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:b5ac52cc8c403f3237a564799cb8ddca67fd59be7dd891228c4059f07cbfb0cb","observation_id":"c40ec888-3c39-4759-b489-12872b5dcd97","resolution":{"observed_at":"2026-08-09T18:18:01.768419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.754141Z","title":null,"venue":null,"work_id":"89409f6a-adb0-4158-85d5-db20dddb391c","year":1989},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.440408Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:16e366392fbdec830d876d4eb45b07532799c525ce48c0c313903529a931ef98","observation_id":"f41ad3fe-e731-42af-a4cc-442f29b15251","resolution":{"observed_at":"2026-08-09T18:18:01.757646Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.744288Z","title":"Canny, Some algebraic and geometric computations in PSPACE","venue":null,"work_id":"66b13e5a-2560-4815-aaa3-dcf2d63711b4","year":1988},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.444400Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:5f0b7dbd4bc64a994ee8d283eee4aac5bddd284ef6dac255b2af33dbeb858e1a","observation_id":"0af73c9d-2f94-4594-9c3f-7e341e4421d3","resolution":{"observed_at":"2026-08-09T18:18:01.747805Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.733925Z","title":"Chapuis, P","venue":null,"work_id":"757c40be-de36-478e-9ab6-eecd7a2c6d91","year":1999},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.448078Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:06bc10a7955e30ddfc651ec4695d12608b434f2feaf1b152c8dab91e319e0211","observation_id":"cb04e55f-83e2-41bc-9b37-c55f36acf1a3","resolution":{"observed_at":"2026-08-09T18:18:01.737585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.723780Z","title":"Emerson, Relativizations of the P=?NP Question over the Reals (and ot her Ordered Rings), Theor","venue":null,"work_id":"30393f6e-48b4-4ef2-b4ae-566153fe880a","year":1994},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.452026Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:6cb2328d6ce04fb42237901e567a444343b49ea9cb7a2582b5fcbc3efe025697","observation_id":"a749c0b7-bc65-46ae-9a59-f0f557e039a4","resolution":{"observed_at":"2026-08-09T18:18:01.727378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.714055Z","title":"Fagin, Generalized first-order spectra and polynomial-time recognizable sets, Pro- ceedings SIAM-AMS 7, 43–73, 1974","venue":null,"work_id":"f5def124-7b92-4929-ad3d-2b9657c655af","year":1974},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.455480Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:5a22966a7437c1521a55c1e0499a82cb3f98ab4bc255f4b50f63b6bc4f7e08f1","observation_id":"cef5de6f-6522-4e6b-b4be-bfff37269b81","resolution":{"observed_at":"2026-08-09T18:18:01.717480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.703586Z","title":"Gassner, The Separation of Relativized Versions of P and DNP for the Ri ng of the Reals, J","venue":null,"work_id":"ba0283fd-d7ee-4eb2-ac3b-7623a6dd6ff6","year":2010},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.458732Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:5ae19ef4548606721c6f06033eff7873d6eaa5ce3ab5d566a0c8e55ddac1013d","observation_id":"c6321b96-9c67-4522-aa33-b94add4b62cb","resolution":{"observed_at":"2026-08-09T18:18:01.707297Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.694677Z","title":"Gr¨ adel, Y","venue":null,"work_id":"c7b17e04-7330-4900-b210-db05c62b66ab","year":1996},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.462125Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:2794db721d4bcf8f4f627f7014415e860ecb131bdee0afee5d7840d8328d6194","observation_id":"0822152e-9152-4510-a043-ac97a3891cfd","resolution":{"observed_at":"2026-08-09T18:18:01.697797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.685550Z","title":"Gr¨ adel, K","venue":null,"work_id":"2995e739-a545-4f99-9cd9-7ccf89a2dc85","year":1996},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.465501Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:008b69aacde3be636a97d77e81e020f7449d464f19e32b0d829bfdf65ec108fa","observation_id":"41806e26-d6a4-4613-91fa-46e6482375af","resolution":{"observed_at":"2026-08-09T18:18:01.688687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.675773Z","title":"Gr¨ adel, P","venue":null,"work_id":"7357cb5d-5a0a-4391-8e1a-f49e20b6586e","year":2007},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.469613Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:8de29b77be95cf58e230bb772349ecb243807a09585d66051e70722ad13a6343","observation_id":"4eb6a179-37c9-4ae0-aa76-195da8ecb388","resolution":{"observed_at":"2026-08-09T18:18:01.679109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.665995Z","title":"Hannula, J","venue":null,"work_id":"d0f0e881-07b1-4e2b-a296-c2dff28f2e44","year":2020},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.473223Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:3a332ad884e811ba116def1e47c116f14f4209fc346ced7ec665ec3ba9b3a5ff","observation_id":"d0c37036-032e-4589-be86-a7274e6f8cd5","resolution":{"observed_at":"2026-08-09T18:18:01.669492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.655303Z","title":"Ladner, On the structure of polynomial time reducibility , Journal of the ACM 22, 155–171, 1975","venue":null,"work_id":"b10fe52e-e6bf-48ea-a513-f406760b69bc","year":1975},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.476409Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:8feda8145bb2c08da5ea7332e9cbee4a819d44dfc64dad989d5d1613e29468be","observation_id":"9ab4d394-124c-4ac2-b7b4-7d43f682121d","resolution":{"observed_at":"2026-08-09T18:18:01.659436Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.644824Z","title":"Malajovich, K","venue":null,"work_id":"6d1d1c78-5757-4c2c-9982-e6370c55f585","year":1999},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.479783Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:9fe5e81579854a639dbc49b315ad1cfc04bfbf271c6d196cb89569b55dc20e8d","observation_id":"f49692c5-2ac5-481b-8c2c-0e315635a224","resolution":{"observed_at":"2026-08-09T18:18:01.648329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.634759Z","title":"Matiyasevich, Enumerable sets are Diophantine , Soviet Mathematics","venue":null,"work_id":"9949c284-781b-4e36-9e10-3a3d36bb78d1","year":1970},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.483274Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:7cdabfd73caec7cca3528108e09966e6e203c3a08532510e2c516c67358dd42d","observation_id":"4c64c49d-5c06-497e-9967-2ee664ca8f08","resolution":{"observed_at":"2026-08-09T18:18:01.638409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.623424Z","title":"Meer, Real Number Models under Various Sets of Operations , J","venue":null,"work_id":"6820a4c4-a902-444d-a51b-5061bf0282f8","year":1993},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.486554Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:584ef288ef89ed4874cb11967340983bab2b6b1283686859dc469d7bf0265996","observation_id":"50af022f-38ae-4cbb-8a7a-bc794d1a5211","resolution":{"observed_at":"2026-08-09T18:18:01.627074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.611300Z","title":"Meer, On Ladner’s result for a class of real machines with restrict ed use of constants, Information and Computation, Vol","venue":null,"work_id":"deb9e33e-dc77-4208-b6be-1dd4021b210f","year":2012},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.489946Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:e834ff2d3e3024af427edbe9927aa66ef6860f93a00a19872788d910cd5b8a1d","observation_id":"0eeb1bb5-73b6-419c-b937-3b3eee8ee47d","resolution":{"observed_at":"2026-08-09T18:18:01.615868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.600235Z","title":null,"venue":null,"work_id":"ad5b34b6-4c86-4c7c-8134-0985949ae30b","year":2008},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.493082Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:b44bda1c1236a0c8a45c40fbcbdda8f629ec0b94b5d18827ffc52488536229a5","observation_id":"0e412fbe-dfb4-40aa-9766-f86281f1bac8","resolution":{"observed_at":"2026-08-09T18:18:01.603771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.589404Z","title":"Renegar, On the computational Complexity and Geometry of the first-or der The- ory of the Reals , I - III , Journal of Symbolic Computation, 13, 255–352, 1992","venue":null,"work_id":"1b6a75d6-b504-49f6-9f25-2942c6fbae10","year":1992},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.500554Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:eb35c3cd0cbb5ebd97db40c209568c703a5f6b26745d394d39e2b9989fd349ee","observation_id":"372e79b1-afef-4901-a3b4-6a2b489a281c","resolution":{"observed_at":"2026-08-09T18:18:01.593160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.578693Z","title":"Schaefer, Complexity of Some Geometric and Topological Problems","venue":null,"work_id":"8b75487b-55af-41e4-9bad-92049b5192c7","year":2009},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.503898Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:f955ab0373d832bcdc8a4777280abba1ce094df27fc28c88756681219368e793","observation_id":"987c9f02-72a5-4155-9644-7e8638944efc","resolution":{"observed_at":"2026-08-09T18:18:01.582369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.18006","last_updated":"2024-07-25T13:02:06Z","snapshot_observed_at":"2026-07-06T18:51:49.871551Z","submitted_at":"2024-07-25T13:02:06Z","title":"The Existential Theory of the Reals as a Complexity Class: A Compendium","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.18006","snapshot_observed_at":"2026-08-09T18:18:01.507265Z","title":"Schaefer, J","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.507265Z"},"links":{"cited_paper":"/paper/2407.18006","citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:964556672b5dff3e4a9babce05b7bae9b0cdb132057daaba92aadb2a4a69ed4d","observation_id":"89317f54-75e2-45f0-83a3-8da9d796f776","resolution":{"observed_at":"2026-08-09T18:18:01.507265Z","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-09T18:18:01.566451Z","title":"Sch¨ oning, A uniform approach to obtain diagonal sets in complexity cla sses, Theoretical Computer Science 18, 95-103, 1982","venue":null,"work_id":"0fd08fe9-3780-4aff-b038-0dc40dc1ed5c","year":1982},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.510511Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:8e59778d78fdd9e77688bf06fe734cf1db7754a1d432f9054fa3591729a3f7f1","observation_id":"7a63bac1-1e74-48dd-817f-b7d81c78d090","resolution":{"observed_at":"2026-08-09T18:18:01.571164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-09T18:18:01.552907Z","title":"Vereshchagin, Relativizable and nonrelativizable theorems in the polyno mial theory of algorithms , Russian Acad","venue":null,"work_id":"82d715f3-2a57-4809-984a-e48d766054c1","year":1994},"citing_paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-09T18:18:01.513949Z"},"links":{"citing_paper":"/paper/2502.00680"},"observation_digest":"sha256:a9282a22ce97b005cafbec5cf75978993e537e7b38818267e8ad7dfbfd3d2ab4","observation_id":"bd6273e6-0823-4d1c-9608-5f2c75c203d7","resolution":{"observed_at":"2026-08-09T18:18:01.558337Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.00680","last_updated":"2025-02-02T05:54:54Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-12T09:02:25.234144Z","submitted_at":"2025-02-02T05:54:54Z","title":"Some structural complexity results for $\\exists\\mathbb R$"},"reference_resolution":{"displayed":24,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":21},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2502.00680."}