Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T22:14:18.033647Z
Paper Citation Record · LEDGER
Digitalizing Wick's theorem
As of 17 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2505.07939.
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-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T00:43:37.545799Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-16T00:43:38.287748Z
Reference resolution
11 of 11 outbound references displayed
- verified exact0
- verified fuzzy3
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation cd974efa-c17f-4384-a227-b7aa4d53217f · outbound
This paper cites an unresolved cited work.
Digitalizing Wick's theorem Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:17.971024Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 09ba7277-11dc-4d8c-b599-cae502cd8600 · outbound
This paper cites Notes on Wick's theorem in many-body theory.
Digitalizing Wick's theorem Notes on Wick's theorem in many-body theory
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:17.977400Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 99555bbc-4fbf-434c-85b3-af3f795c70a1 · outbound
This paper cites The Lean theorem prover (system description).
Digitalizing Wick's theorem The Lean theorem prover (system description)
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:17.983951Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57248f27-3d4b-4150-802d-0e0de412e832 · outbound
This paper cites The Lean mathematical library.
Digitalizing Wick's theorem The Lean mathematical library
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:17.991088Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ffb44c01-2bf1-4a8e-bfce-0f2aed23fd52 · outbound
This paper cites Physlean: Digitalising physics into lean 4.
Digitalizing Wick's theorem Physlean: Digitalising physics into lean 4
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:14:18.366027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a0704d1f-b81b-440b-8b0c-7e773205521e · outbound
This paper cites HepLean: Digitalising high energy physics.
Digitalizing Wick's theorem HepLean: Digitalising high energy physics
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:18.003637Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8a180ef-699e-4311-a01e-cf6d50a94180 · outbound
This paper cites Formalizing chemical physics using the lean theorem prover.
Digitalizing Wick's theorem Formalizing chemical physics using the lean theorem prover
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:18.010014Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d967ca6-cb0b-4257-b8ae-c3c3a7818c65 · outbound
This paper cites Scilean: Scientific computing assistant.
Digitalizing Wick's theorem Scilean: Scientific computing assistant
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:14:18.346374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9050a7ed-5ff5-4d6a-86af-0ec0c1cfd251 · outbound
This paper cites an unresolved cited work.
Digitalizing Wick's theorem Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T22:14:18.328415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e5795c97-2c90-4091-9f26-25484fd953bd · outbound
This paper cites Ai achieves silver-medal standard solving international mathe- matical olympiad problems, 2024.
Digitalizing Wick's theorem Ai achieves silver-medal standard solving international mathe- matical olympiad problems, 2024
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T22:14:18.310928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c93dd282-1ec1-43ed-8383-13315251ae51 · outbound
This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.
Digitalizing Wick's theorem LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T22:14:18.033647Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 1a994403-bc69-4176-849a-f5828fc106d7 · inbound
Algebraic versus physical uniqueness of MHV gravity numerators cites this paper.
Algebraic versus physical uniqueness of MHV gravity numerators Digitalizing Wick's theorem
Reference 31
- Resolution
- verified exact
- local_arxiv, observed 2026-08-16T00:43:38.369663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.