Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T22:49:22.404181Z
Paper Citation Record · LEDGER
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
As of 14 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 0 inbound Pith citation observations for arXiv:2506.20909.
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-14T06:32:32.682623+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
5 of 5 outbound references displayed
- verified exact2
- verified fuzzy0
- unresolved1
- parse uncertain0
- malformed identifier1
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 842d8607-4aaf-482e-aa89-abd577a30c64 · outbound
This paper cites Reduction of an arbitrary dio- phantine equation to one in 13 unknowns.
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization Reduction of an arbitrary dio- phantine equation to one in 13 unknowns
Reference 9
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-06T22:49:23.239499Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 5fb251ab-4b3c-4f98-bdd6-966d6c0a2a83 · outbound
This paper cites A Lean formalization of Matiyasevi\v{c}'s Theorem.
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization A Lean formalization of Matiyasevi\v{c}'s Theorem
Reference 251
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T22:49:22.679678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 68b8f42e-9586-4ed0-927c-2ceebbbf0dc1 · outbound
This paper cites On the multiple solutions of the Pell equation.
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization On the multiple solutions of the Pell equation
Reference 2019
- Resolution
- malformed identifier
- doi_truncated, observed 2026-08-06T22:49:23.830973Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 5ba31437-749f-4f2a-82f3-fa592b101ebe · outbound
This paper cites an unresolved cited work.
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization Unresolved cited work
Reference 2024
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T22:49:23.532531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d807a3bc-99b7-41a9-bf23-76971418df6b · outbound
This paper cites The QED Manifesto.
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization The QED Manifesto
Reference 2025
- Resolution
- verified exact
- doi, observed 2026-08-06T22:49:22.962867Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Pith citing papers
No inbound Pith citation observations are available.