Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-09T18:18:01.513949Z
Paper Citation Record · LEDGER
Some structural complexity results for $\exists\mathbb R$
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
24 of 24 outbound references displayed
- verified exact0
- verified fuzzy21
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 8edda3b3-4c58-432b-8fe0-0e5b16e4a3a9 · outbound
This paper cites Baker, J.
Some structural complexity results for $\exists\mathbb R$ Baker, J
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.790357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0770e714-a7a8-49c4-8092-204c931c71bc · outbound
This paper cites Ben-David, K.
Some structural complexity results for $\exists\mathbb R$ Ben-David, K
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.779893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c40ec888-3c39-4759-b489-12872b5dcd97 · outbound
This paper cites Cucker, M.
Some structural complexity results for $\exists\mathbb R$ Cucker, M
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.768419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f41ad3fe-e731-42af-a4cc-442f29b15251 · outbound
This paper cites an unresolved cited work.
Some structural complexity results for $\exists\mathbb R$ Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T18:18:01.757646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0af73c9d-2f94-4594-9c3f-7e341e4421d3 · outbound
This paper cites Canny, Some algebraic and geometric computations in PSPACE.
Some structural complexity results for $\exists\mathbb R$ Canny, Some algebraic and geometric computations in PSPACE
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.747805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cb04e55f-83e2-41bc-9b37-c55f36acf1a3 · outbound
This paper cites Chapuis, P.
Some structural complexity results for $\exists\mathbb R$ Chapuis, P
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.737585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a749c0b7-bc65-46ae-9a59-f0f557e039a4 · outbound
This paper cites Emerson, Relativizations of the P=?NP Question over the Reals (and ot her Ordered Rings), Theor.
Some structural complexity results for $\exists\mathbb R$ Emerson, Relativizations of the P=?NP Question over the Reals (and ot her Ordered Rings), Theor
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.727378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation cef5de6f-6522-4e6b-b4be-bfff37269b81 · outbound
This paper cites Fagin, Generalized first-order spectra and polynomial-time recognizable sets, Pro- ceedings SIAM-AMS 7, 43–73, 1974.
Some structural complexity results for $\exists\mathbb R$ Fagin, Generalized first-order spectra and polynomial-time recognizable sets, Pro- ceedings SIAM-AMS 7, 43–73, 1974
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.717480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c6321b96-9c67-4522-aa33-b94add4b62cb · outbound
This paper cites Gassner, The Separation of Relativized Versions of P and DNP for the Ri ng of the Reals, J.
Some structural complexity results for $\exists\mathbb R$ Gassner, The Separation of Relativized Versions of P and DNP for the Ri ng of the Reals, J
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.707297Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0822152e-9152-4510-a043-ac97a3891cfd · outbound
This paper cites Gr¨ adel, Y.
Some structural complexity results for $\exists\mathbb R$ Gr¨ adel, Y
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.697797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 41806e26-d6a4-4613-91fa-46e6482375af · outbound
This paper cites Gr¨ adel, K.
Some structural complexity results for $\exists\mathbb R$ Gr¨ adel, K
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.688687Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4eb6a179-37c9-4ae0-aa76-195da8ecb388 · outbound
This paper cites Gr¨ adel, P.
Some structural complexity results for $\exists\mathbb R$ Gr¨ adel, P
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.679109Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d0c37036-032e-4589-be86-a7274e6f8cd5 · outbound
This paper cites Hannula, J.
Some structural complexity results for $\exists\mathbb R$ Hannula, J
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.669492Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9ab4d394-124c-4ac2-b7b4-7d43f682121d · outbound
This paper cites Ladner, On the structure of polynomial time reducibility , Journal of the ACM 22, 155–171, 1975.
Some structural complexity results for $\exists\mathbb R$ Ladner, On the structure of polynomial time reducibility , Journal of the ACM 22, 155–171, 1975
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.659436Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f49692c5-2ac5-481b-8c2c-0e315635a224 · outbound
This paper cites Malajovich, K.
Some structural complexity results for $\exists\mathbb R$ Malajovich, K
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.648329Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4c64c49d-5c06-497e-9967-2ee664ca8f08 · outbound
This paper cites Matiyasevich, Enumerable sets are Diophantine , Soviet Mathematics.
Some structural complexity results for $\exists\mathbb R$ Matiyasevich, Enumerable sets are Diophantine , Soviet Mathematics
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.638409Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 50af022f-38ae-4cbb-8a7a-bc794d1a5211 · outbound
This paper cites Meer, Real Number Models under Various Sets of Operations , J.
Some structural complexity results for $\exists\mathbb R$ Meer, Real Number Models under Various Sets of Operations , J
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.627074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0eeb1bb5-73b6-419c-b937-3b3eee8ee47d · outbound
This paper cites Meer, On Ladner’s result for a class of real machines with restrict ed use of constants, Information and Computation, Vol.
Some structural complexity results for $\exists\mathbb R$ Meer, On Ladner’s result for a class of real machines with restrict ed use of constants, Information and Computation, Vol
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.615868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0e412fbe-dfb4-40aa-9766-f86281f1bac8 · outbound
This paper cites an unresolved cited work.
Some structural complexity results for $\exists\mathbb R$ Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-09T18:18:01.603771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 372e79b1-afef-4901-a3b4-6a2b489a281c · outbound
This paper cites 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.
Some structural complexity results for $\exists\mathbb R$ 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
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.593160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 987c9f02-72a5-4155-9644-7e8638944efc · outbound
This paper cites Schaefer, Complexity of Some Geometric and Topological Problems.
Some structural complexity results for $\exists\mathbb R$ Schaefer, Complexity of Some Geometric and Topological Problems
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.582369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 89317f54-75e2-45f0-83a3-8da9d796f776 · outbound
This paper cites The Existential Theory of the Reals as a Complexity Class: A Compendium.
Some structural complexity results for $\exists\mathbb R$ The Existential Theory of the Reals as a Complexity Class: A Compendium
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-09T18:18:01.507265Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a63bac1-1e74-48dd-817f-b7d81c78d090 · outbound
This paper cites Sch¨ oning, A uniform approach to obtain diagonal sets in complexity cla sses, Theoretical Computer Science 18, 95-103, 1982.
Some structural complexity results for $\exists\mathbb R$ Sch¨ oning, A uniform approach to obtain diagonal sets in complexity cla sses, Theoretical Computer Science 18, 95-103, 1982
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.571164Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation bd6273e6-0823-4d1c-9608-5f2c75c203d7 · outbound
This paper cites Vereshchagin, Relativizable and nonrelativizable theorems in the polyno mial theory of algorithms , Russian Acad.
Some structural complexity results for $\exists\mathbb R$ Vereshchagin, Relativizable and nonrelativizable theorems in the polyno mial theory of algorithms , Russian Acad
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-09T18:18:01.558337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.