Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-07T14:48:03.362903Z
Paper Citation Record · LEDGER
Proof Identity and Categorical Models of BV
As of 3 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 2 inbound Pith citation observations for arXiv:2604.25501.
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-03T06:30:56.289259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T22:03:14.689530Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-30T12:16:12.909640Z
Reference resolution
5 of 5 outbound references displayed
- verified exact0
- verified fuzzy1
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 060bedb0-c426-4991-8bcf-fcc81e49a3b1 · outbound
This paper cites Probabilistic coherence spaces as a model of higher-order probabilistic computation.
Proof Identity and Categorical Models of BV Probabilistic coherence spaces as a model of higher-order probabilistic computation
Reference 1
- Resolution
- metadata mismatch
- doi, observed 2026-05-09T02:44:52.614464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation b426f81b-b2fd-4bfc-af9c-9c844069f67a · outbound
This paper cites an unresolved cited work.
Proof Identity and Categorical Models of BV Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-27T04:08:45.598937Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 625e7bd8-2965-42a7-bcfa-f7c69eb2b136 · outbound
This paper cites an unresolved cited work.
Proof Identity and Categorical Models of BV Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-27T04:08:45.602269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 1ac3fbe0-a1ad-41d4-81d5-8a41d27589ba · outbound
This paper cites an unresolved cited work.
Proof Identity and Categorical Models of BV Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-27T04:08:45.608987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Observation 7f9736c0-e418-46f4-b41e-f2a6a0340fcd · outbound
This paper cites ◀ FSCD 2026.
Proof Identity and Categorical Models of BV ◀ FSCD 2026
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-27T04:08:45.605975Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.
Pith citing papers
Observation 4e03f0a3-a876-4b06-bc5b-3e7131f33360 · inbound
Causality in Pure Quantum Computation with Quantum Control cites this paper.
Causality in Pure Quantum Computation with Quantum Control Proof Identity and Categorical Models of BV
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:03:14.689530Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d2509fd-d048-4aca-a1c2-d09143b56abf · inbound
Interpolation via Generalized Splitting cites this paper.
Interpolation via Generalized Splitting Proof Identity and Categorical Models of BV
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-07-30T12:15:57.705355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-03T06:30:56.289259+00:00.