Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T16:30:59.528499Z
Paper Citation Record · LEDGER
A Proposed Characterization of p-Simulation Between Theories
As of 12 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2507.13576.
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-11T06:34:44.6726+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
24 of 24 outbound references displayed
- verified exact0
- verified fuzzy12
- unresolved12
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e22d77dd-acbd-4050-9f55-2a5a91d71c77 · outbound
This paper cites 3, 32–54.
A Proposed Characterization of p-Simulation Between Theories 3, 32–54
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.742102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8e5b7b72-ab8c-4fff-9944-a2179bc915ea · outbound
This paper cites Razborov, and Avi Wigderson, Pseu- dorandom generators in propositional proof complexity , SIAM Journal on Computing 34 (2004), no.
A Proposed Characterization of p-Simulation Between Theories Razborov, and Avi Wigderson, Pseu- dorandom generators in propositional proof complexity , SIAM Journal on Computing 34 (2004), no
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.735010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 6fd28630-4693-46ff-a4bd-4785adb0bda2 · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.727221Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7cb4f947-01fd-4f8c-be33-c23424fd4cf8 · outbound
This paper cites Baker, John Gill, and Robert Solovay, Relativizatons of the P=?NP question, SIAM J.
A Proposed Characterization of p-Simulation Between Theories Baker, John Gill, and Robert Solovay, Relativizatons of the P=?NP question, SIAM J
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.719099Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation cb573c45-6640-4da8-9c9b-1e62fea771c4 · outbound
This paper cites 1, 37–61.
A Proposed Characterization of p-Simulation Between Theories 1, 37–61
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.711431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 6c520edf-ce08-48d6-a5fd-7dd76b28c110 · outbound
This paper cites Buss, Bounded arithmetic, Lecture notes, Bibliopolis, 1986.
A Proposed Characterization of p-Simulation Between Theories Buss, Bounded arithmetic, Lecture notes, Bibliopolis, 1986
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.703412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 90a5b4dc-8d21-4cf1-8021-a618d39a8e6d · outbound
This paper cites Calude and Helmut J¨ urgensen, Is complexity a source of incompleteness? , Advances in Applied Mathematics 35 (2005), no.
A Proposed Characterization of p-Simulation Between Theories Calude and Helmut J¨ urgensen, Is complexity a source of incompleteness? , Advances in Applied Mathematics 35 (2005), no
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.695836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 2519132d-dacb-44b2-a9dc-13d9962f377e · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.687917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 09e07095-3beb-4738-8f4a-9a466978bb0f · outbound
This paper cites Barry Cooper, Anuj Dawar, and Benedikt L¨ owe, eds.), Springer Berlin Heidelberg, 2012, pp.
A Proposed Characterization of p-Simulation Between Theories Barry Cooper, Anuj Dawar, and Benedikt L¨ owe, eds.), Springer Berlin Heidelberg, 2012, pp
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.679092Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5b81a417-9e6b-4617-862f-02b68e0f487b · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.670831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation a4990be6-d3e6-48d0-983e-57e678eebcc7 · outbound
This paper cites Reif, ed.), ACM, 2002, pp.
A Proposed Characterization of p-Simulation Between Theories Reif, ed.), ACM, 2002, pp
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.662679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d01ba7e7-7279-49a6-9526-efab8d682141 · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.654262Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 33ef8c53-1708-4e3a-a904-42496b851d2f · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.645979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ea5c2885-2cdc-4a95-a189-252aa2c963e5 · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.638278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e9e4f850-fab1-4ba6-b51e-5568d1fac376 · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.630811Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d8daae82-b958-4c41-a5f9-36668be3ef7e · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.622539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 67dc5317-1d84-433f-a9ae-5aec5d14d5a0 · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.613894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 5cc0f543-22eb-48bb-addc-abf4214ebeff · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.605354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation dbb364df-9903-41c0-9973-b2b1cbb7a562 · outbound
This paper cites 6, 2008–2035, Preliminary version in FOCS 1998.
A Proposed Characterization of p-Simulation Between Theories 6, 2008–2035, Preliminary version in FOCS 1998
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.596598Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation c4a4ae31-db9d-43b5-a2b5-ee09a2ea0539 · outbound
This paper cites Collo- quium Comput.
A Proposed Characterization of p-Simulation Between Theories Collo- quium Comput
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.587484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation dcdbaa28-2671-4de3-932a-c093c4685a08 · outbound
This paper cites com/watch?v=-9hwU1HtfHM&t=1135s.
A Proposed Characterization of p-Simulation Between Theories com/watch?v=-9hwU1HtfHM&t=1135s
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.579220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation d117d18d-6b0d-4477-b5ba-224d62b5e7ef · outbound
This paper cites 120, Elsevier, 1986, pp.
A Proposed Characterization of p-Simulation Between Theories 120, Elsevier, 1986, pp
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T16:30:59.523633Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1bb32b60-f52c-47be-8643-c5c7454cd42b · outbound
This paper cites an unresolved cited work.
A Proposed Characterization of p-Simulation Between Theories Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T16:30:59.564494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 508ee1e3-e573-4b9b-8d6b-1046516c8591 · outbound
This paper cites Razborov and Steven Rudich, Natural proofs, STOC ’94: Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing,, (New York, NY: ACM Press), 1994, pp.
A Proposed Characterization of p-Simulation Between Theories Razborov and Steven Rudich, Natural proofs, STOC ’94: Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing,, (New York, NY: ACM Press), 1994, pp
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T16:30:59.555510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.