Paper Citation Record · LEDGER

Towards an Analysis of Proofs in Arithmetic

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

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

pith.paper-citation-record.v1
2506.05837 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:18:57.574550Z

measured 12 of 12 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

12 of 12 outbound references displayed

verified exact5
verified fuzzy2
unresolved3
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 43d70f60-a750-42f3-9b55-c0922391fb76 · outbound

This paper cites Theoretical Computer Science 403(2-3), pp.

Towards an Analysis of Proofs in Arithmetic Theoretical Computer Science 403(2-3), pp

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T10:18:59.275296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e61e282a-7af1-4ca4-9971-82d6e8a682aa · outbound

This paper cites Journal of Logic and Computation 21(6), pp.

Towards an Analysis of Proofs in Arithmetic Journal of Logic and Computation 21(6), pp

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T10:18:55.709709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fcc73950-c954-4f63-8480-8aa354bea30a · outbound

This paper cites Cerna, Alexander Leitsch & Anela Lolic (2021): Schematic Refutations of F ormula Schemata.

Towards an Analysis of Proofs in Arithmetic Cerna, Alexander Leitsch & Anela Lolic (2021): Schematic Refutations of F ormula Schemata

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T10:18:59.091692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2d0b5a75-7a55-4b21-bbe7-2b1246d19f37 · outbound

This paper cites In: International Tbilisi Symposium on Logic, Language, and Co mputation, Springer, pp.

Towards an Analysis of Proofs in Arithmetic In: International Tbilisi Symposium on Logic, Language, and Co mputation, Springer, pp

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T10:18:58.788223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 15b5823a-6e98-492e-83a2-273f2fb127ba · outbound

This paper cites American Mathematical Monthly 62(5), p.

Towards an Analysis of Proofs in Arithmetic American Mathematical Monthly 62(5), p

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T10:18:56.248442Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81609b2e-3c2d-4008-b211-c88cc12bbe06 · outbound

This paper cites 1, Biblopolis.

Towards an Analysis of Proofs in Arithmetic 1, Biblopolis

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:00.429422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8020ecf0-e66e-4f6e-bbee-33d5c9ea3dc2 · outbound

This paper cites In: Proceedings of 25th Conference on Logic for Programming, Artiﬁcial Intell igence and Reasoning, LP AR , EPiC Series in Computing 100, EasyChair, pp.

Towards an Analysis of Proofs in Arithmetic In: Proceedings of 25th Conference on Logic for Programming, Artiﬁcial Intell igence and Reasoning, LP AR , EPiC Series in Computing 100, EasyChair, pp

Reference 7

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T10:18:58.523539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 24c8e48b-af20-43fa-a469-49f255b37503 · outbound

This paper cites In: LP AR 2024 Complementary V olume, Kalpa Publications in Computing 18, EasyChair, pp.

Towards an Analysis of Proofs in Arithmetic In: LP AR 2024 Complementary V olume, Kalpa Publications in Computing 18, EasyChair, pp

Reference 8

Resolution: malformed identifier; doi_truncated, observed 2026-08-07T10:18:58.185844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2f4a0a5c-7f33-4d29-acfc-18fa967bcf8c · outbound

This paper cites Journal of Logic and Computation 27(7), pp.

Towards an Analysis of Proofs in Arithmetic Journal of Logic and Computation 27(7), pp

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T10:18:57.915845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3cf4c5e3-d17c-48a9-a2a4-c0af482e1640 · outbound

This paper cites an unresolved cited work.

Towards an Analysis of Proofs in Arithmetic Unresolved cited work

Reference 10

Resolution: verified exact; raw_fallback, observed 2026-08-07T10:18:59.737324Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation db3ad30c-4372-4530-9f96-6d8ab16abb49 · outbound

This paper cites The- oretical Computer Science 232(1-2), pp.

Towards an Analysis of Proofs in Arithmetic The- oretical Computer Science 232(1-2), pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T10:18:57.352978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb227069-4fc2-4d5a-bb5e-6fb6e14a6057 · outbound

This paper cites North Holland, second edition.

Towards an Analysis of Proofs in Arithmetic North Holland, second edition

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:00.097061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.