Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T06:42:01.174557Z
Paper Citation Record · LEDGER
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
As of 12 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 0 inbound Pith citation observations for arXiv:2601.02821.
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
5 of 5 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 4ac1e98e-7686-4a7c-ba7c-2e8eb27c47a3 · outbound
This paper cites Pudlák,The Lengths of Proofs, in Handbook of Proof Theory, 1998.
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems Pudlák,The Lengths of Proofs, in Handbook of Proof Theory, 1998
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:42:00.615858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 694debc5-a7bb-47cd-818b-aed26752b0cb · outbound
This paper cites Krajíček,Bounded arithmetic, propositional logic, and complexity theory, 1995.
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems Krajíček,Bounded arithmetic, propositional logic, and complexity theory, 1995
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:42:00.719588Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f07d2ba3-ddfb-490a-8d38-ca3140057956 · outbound
This paper cites Krajíček,Proof Complexity, 2019.
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems Krajíček,Proof Complexity, 2019
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:42:00.922299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f29d51d-c77c-4f64-9e5b-7f784856f04d · outbound
This paper cites an unresolved cited work.
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:42:01.073054Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 132b14db-81a5-4efe-be52-fd5ce95b4c23 · outbound
This paper cites Kurokawa,Hypersequent Calculi for Modal Logics Extending S4, in In: Nakano, Y., Satoh, K., Bekki, D.
Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems Kurokawa,Hypersequent Calculi for Modal Logics Extending S4, in In: Nakano, Y., Satoh, K., Bekki, D
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T06:42:01.174557Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.