Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T19:05:20.836662Z
Paper Citation Record · LEDGER
Failure of the strong feasible disjunction property
As of 12 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 1 inbound Pith citation observation for arXiv:2604.04830.
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, observed 2026-08-02T05:03:38.614147Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
17 of 17 outbound references displayed
- verified exact0
- verified fuzzy12
- unresolved5
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 252ff3a0-bc03-40ea-9897-ee0ca21ee096 · outbound
This paper cites Alekhnovich, E.
Failure of the strong feasible disjunction property Alekhnovich, E
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.141330Z
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 fd88b455-dc02-4d3b-b348-01d188cac81a · outbound
This paper cites an unresolved cited work.
Failure of the strong feasible disjunction property Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T09:07:40.143568Z
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 6674e2a3-91c5-4380-ac8e-1728e2540824 · outbound
This paper cites an unresolved cited work.
Failure of the strong feasible disjunction property Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T09:07:40.128505Z
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 a1cc7219-61be-43e6-9573-b39d7b446025 · outbound
This paper cites an unresolved cited work.
Failure of the strong feasible disjunction property Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T09:07:40.130745Z
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 5d47df81-0dae-4812-bad6-805c19f3b53d · outbound
This paper cites Khaniki, Jump operators, Interactive Proofs and Proof Complex- ity Generators, in:Proc.
Failure of the strong feasible disjunction property Khaniki, Jump operators, Interactive Proofs and Proof Complex- ity Generators, in:Proc
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.146220Z
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 74fc48cd-e19a-4519-902a-8a1f5c4e1d72 · outbound
This paper cites Kraj´ ıˇ cek, On the weak pigeonhole principle,Fundamenta Mathemat- icae.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek, On the weak pigeonhole principle,Fundamenta Mathemat- icae
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.139011Z
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 eb46350e-c8a3-497a-89dd-d2ed03b27558 · outbound
This paper cites Kraj´ ıˇ cek, A proof complexity generator, in:Proc.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek, A proof complexity generator, in:Proc
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.148751Z
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 a3b326f9-0953-45a7-a6f1-d39a4b8c018d · outbound
This paper cites Kraj´ ıˇ cek, Dual weak pigeonhole principle, pseudo-surjective func- tions, and provability of circuit lower bounds,J.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek, Dual weak pigeonhole principle, pseudo-surjective func- tions, and provability of circuit lower bounds,J
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.136028Z
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 83a91d4e-a7c2-45f6-84a4-b8fc2cfbe3c3 · outbound
This paper cites Kraj´ ıˇ cek, On the proof complexity of the Nisan-Wigderson generator based on a hardN P ∩coN Pfunction,J.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek, On the proof complexity of the Nisan-Wigderson generator based on a hardN P ∩coN Pfunction,J
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.133202Z
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 66770fc9-3ea1-450d-a89c-e075452dada3 · outbound
This paper cites Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.154357Z
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 499ed851-c148-4daf-8588-18b69164f87c · outbound
This paper cites Kraj´ ıˇ cek, On the existence of strong proof complexity generators, Bull.
Failure of the strong feasible disjunction property Kraj´ ıˇ cek, On the existence of strong proof complexity generators, Bull
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.156865Z
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 b018d8cf-13c0-4218-822d-06e11328c227 · outbound
This paper cites Kraj´ ıˇ cek,Proof complexity generators, London Mathematical Society Lecture Note Series, No.497, Cambridge University Press, (2025).
Failure of the strong feasible disjunction property Kraj´ ıˇ cek,Proof complexity generators, London Mathematical Society Lecture Note Series, No.497, Cambridge University Press, (2025)
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.159308Z
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 42b4f788-74ae-4752-a8cb-3a506eeb3590 · outbound
This paper cites an unresolved cited work.
Failure of the strong feasible disjunction property Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T09:07:40.161607Z
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 6ea67b50-b4ea-4dcd-9816-528012784fea · outbound
This paper cites an unresolved cited work.
Failure of the strong feasible disjunction property Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T09:07:40.163976Z
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 02c2f749-0d07-459e-a07b-7f8d045001ae · outbound
This paper cites Rudich, Super-bits, demi-bits, andN P/qpoly-natural proofs, in: Proc.
Failure of the strong feasible disjunction property Rudich, Super-bits, demi-bits, andN P/qpoly-natural proofs, in: Proc
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.168594Z
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 60704f65-f83d-4881-8fc2-e1c8a09b5638 · outbound
This paper cites Sipser, A complexity theoretic approach to randomness, in:Proc.
Failure of the strong feasible disjunction property Sipser, A complexity theoretic approach to randomness, in:Proc
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.151268Z
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 8a89d2a4-d2e5-4e49-8ee8-a7086fb2aa9f · outbound
This paper cites Tzameret and L.
Failure of the strong feasible disjunction property Tzameret and L
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T09:07:40.166255Z
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
Observation 3fabeb1b-b730-4f5e-aac0-ab2cb9ddb1d5 · inbound
A proof complexity perspective on effectively zero-knowledge proofs cites this paper.
A proof complexity perspective on effectively zero-knowledge proofs Failure of the strong feasible disjunction property
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T05:03:38.614147Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.