Paper Citation Record · LEDGER

Extended Frege proofs, circuits and rewriting

As of 23 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 0 inbound Pith citation observations for arXiv:2606.13367.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.13367 v1

Coverage vector

measured 8 of 8 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T04:50:18.090302Z

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

8 of 8 outbound references displayed

verified exact0
verified fuzzy0
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4603f7db-81ad-4403-a4d2-81a48102378a · outbound

This paper cites Baader and T.

Extended Frege proofs, circuits and rewriting Baader and T

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f900da29-70ca-4ff4-a11a-75a94717f378 · outbound

This paper cites Birkhoff, On the structure of abstract algebras,Proceedings Cam- bridge Phil.

Extended Frege proofs, circuits and rewriting Birkhoff, On the structure of abstract algebras,Proceedings Cam- bridge Phil

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 454ea0d6-2f39-4372-a900-d517910ead34 · outbound

This paper cites an unresolved cited work.

Extended Frege proofs, circuits and rewriting Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ff453ff-3cac-4149-a075-7b44c28b96c2 · outbound

This paper cites Jain and Z.

Extended Frege proofs, circuits and rewriting Jain and Z

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82c1a424-ec32-4326-99e4-b2f3b0af5b1b · outbound

This paper cites Jeˇ r´ abek, Dual weak pigeonhole principle, Boolean complexity, and derandomization,Annals of Pure and Applied Logic,129, (2004), pp.1- 37.

Extended Frege proofs, circuits and rewriting Jeˇ r´ abek, Dual weak pigeonhole principle, Boolean complexity, and derandomization,Annals of Pure and Applied Logic,129, (2004), pp.1- 37

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d865835-1e73-4e6f-a770-04f8d5899fa5 · outbound

This paper cites Kraj´ ıˇ cek, On Frege and Extended Frege Proof Systems.

Extended Frege proofs, circuits and rewriting Kraj´ ıˇ cek, On Frege and Extended Frege Proof Systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a03b9505-08b0-4a26-94e9-023a01a3411b · outbound

This paper cites Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications, Vol.170, Cambridge University Press, (2019).

Extended Frege proofs, circuits and rewriting Kraj´ ıˇ cek,Proof complexity, Encyclopedia of Mathematics and Its Applications, Vol.170, Cambridge University Press, (2019)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcba7e27-b4ff-4696-acf7-4f4a63a90a8c · outbound

This paper cites an unresolved cited work.

Extended Frege proofs, circuits and rewriting Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T04:50:18.090302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.