Paper Citation Record · LEDGER

Generating Theorems by Generating Proof Structures

As of 13 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2602.15511.

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

pith.paper-citation-record.v1
2602.15511 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T22:53:13.751436Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

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

52 of 52 outbound references displayed

verified exact17
verified fuzzy0
unresolved28
parse uncertain0
malformed identifier6
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d2c6f18-4642-4ce8-86d9-44431c3baa38 · outbound

This paper cites Addison-Wesley (1986).

Generating Theorems by Generating Proof Structures Addison-Wesley (1986)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:06.634961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bdc79dd-5f7b-4f06-9791-c8aae5629e5a · outbound

This paper cites Lemmanaid: Neuro-Symbolic Lemma Conjecturing.

Generating Theorems by Generating Proof Structures Lemmanaid: Neuro-Symbolic Lemma Conjecturing

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:06.782311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3770d60-5528-47a6-9307-c4c5612a54f5 · outbound

This paper cites In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J.

Generating Theorems by Generating Proof Structures In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:06.913662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e192d5a-284c-4caf-9a30-552e9bdb8262 · outbound

This paper cites Vieweg (1987), first edition 1982.

Generating Theorems by Generating Proof Structures Vieweg (1987), first edition 1982

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:06.963027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5893f157-f126-4aab-8766-69faade42b48 · outbound

This paper cites In: Kahle, R., Rathjen, M.

Generating Theorems by Generating Proof Structures In: Kahle, R., Rathjen, M

Reference 5

Resolution: verified exact; doi, observed 2026-08-02T22:53:39.484935Z

Source-reported events for the cited work

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

Observation bf0dda41-71b6-44c7-ac3a-2a16eab7d532 · outbound

This paper cites In: Capretta, V., Krebbers, R., Wiedijk, F.

Generating Theorems by Generating Proof Structures In: Capretta, V., Krebbers, R., Wiedijk, F

Reference 6

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:07.129809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2aee8a3e-3778-4eb6-915c-fcb386d29e79 · outbound

This paper cites In: Naumowicz, A., Thiemann, R.

Generating Theorems by Generating Proof Structures In: Naumowicz, A., Thiemann, R

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.235340Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54e5fe26-ef61-4e50-8467-ed4c41707c29 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.333158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e0aa22f-754d-4b22-9a8d-22d6e2f1ec95 · outbound

This paper cites Seki-Report SR-94-05, Uni- versität Kaiserslautern (1994),http://wwwlehre.dhbw-stuttgart.de/~sschulz/ PAPERS/DS94-SR-94-05.ps.gz, revised September 1997.

Generating Theorems by Generating Proof Structures Seki-Report SR-94-05, Uni- versität Kaiserslautern (1994),http://wwwlehre.dhbw-stuttgart.de/~sschulz/ PAPERS/DS94-SR-94-05.ps.gz, revised September 1997

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.436830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 356778ad-99a2-48d0-90ac-6873b93eff8e · outbound

This paper cites Vieweg, Braunschweig (1992).https://doi.org/10.1007/978-3-322-84222-0.

Generating Theorems by Generating Proof Structures Vieweg, Braunschweig (1992).https://doi.org/10.1007/978-3-322-84222-0

Reference 10

Resolution: verified exact; doi, observed 2026-08-02T22:53:38.568216Z

Source-reported events for the cited work

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

Observation 446d9039-7fe5-428a-8679-e760da046c96 · outbound

This paper cites In: Börger, E., Kleine Büning, H., Richter, M.M.

Generating Theorems by Generating Proof Structures In: Börger, E., Kleine Büning, H., Richter, M.M

Reference 11

Resolution: verified exact; doi, observed 2026-08-02T22:53:38.033239Z

Source-reported events for the cited work

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

Observation f1ae2fe8-0560-45d9-bc59-f20763a0075a · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.712803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79dbbea8-7db5-482f-967c-1702f546c41f · outbound

This paper cites In: Dediu, A.H., Martín-Vide, C.

Generating Theorems by Generating Proof Structures In: Dediu, A.H., Martín-Vide, C

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.808014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a24ec5f2-7cee-4896-9959-7d23db698393 · outbound

This paper cites Cambridge University Press (1997).

Generating Theorems by Generating Proof Structures Cambridge University Press (1997)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:07.951500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f7777ab-33ee-45a9-9f86-4bb04bd9bcd6 · outbound

This paper cites Journal of Symbolic Logic55(1), 90–105 (1990).https://doi.org/10.2307/ 2274956.

Generating Theorems by Generating Proof Structures Journal of Symbolic Logic55(1), 90–105 (1990).https://doi.org/10.2307/ 2274956

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:08.048884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66d88118-47f4-45a7-bfe0-66f97b31ff3d · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-02T22:53:36.934663Z

Source-reported events for the cited work

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

Observation eff0fcbb-1bb9-469a-bfc5-9cc2330f442a · outbound

This paper cites In: Gallagher, J.P., Sulzmann, M.

Generating Theorems by Generating Proof Structures In: Gallagher, J.P., Sulzmann, M

Reference 17

Resolution: verified exact; doi, observed 2026-08-02T22:53:36.329903Z

Source-reported events for the cited work

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

Observation f5ecd54e-7646-4dba-bb78-9753aaa739cb · outbound

This paper cites In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013.

Generating Theorems by Generating Proof Structures In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:08.476153Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4163ea97-d5b2-40ad-bbfb-3f901acf2d32 · outbound

This paper cites Structure, Complexity, Implementa- tion.

Generating Theorems by Generating Proof Structures Structure, Complexity, Implementa- tion

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:08.653987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 817e2bdf-c145-4efc-b142-ec7cf052a67b · outbound

This paper cites In: Potapov, I.

Generating Theorems by Generating Proof Structures In: Potapov, I

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:08.789346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0340792-a727-4d89-bd0e-7ea4bb542608 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-02T22:53:35.291799Z

Source-reported events for the cited work

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

Observation cc343f3f-b216-46b6-954d-34595f4497a1 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:09.295855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5e5ebc5-eb57-4dca-919a-5c878e6ef628 · outbound

This paper cites lulu.com, second edn.

Generating Theorems by Generating Proof Structures lulu.com, second edn

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:09.458854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e8e575d-022a-4670-9e77-b5f55919a6c0 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:09.626406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22245a96-cab2-4150-8dec-8099e939f49b · outbound

This paper cites Notre Dame J.

Generating Theorems by Generating Proof Structures Notre Dame J

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:09.735361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35cb7ac8-b634-4901-99f2-85e662fd4bd0 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:09.900565Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbb8a969-609a-4006-a15f-2574250b147a · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-02T22:53:34.143854Z

Source-reported events for the cited work

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

Observation 69ac5fc9-efa6-41cf-bd70-2020601fdefc · outbound

This paper cites Prentice Hall (1987),https://simon.peytonjones.org/slpj-book-1987/.

Generating Theorems by Generating Proof Structures Prentice Hall (1987),https://simon.peytonjones.org/slpj-book-1987/

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:10.247035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad6dead5-00be-4ab6-a1b9-f4c2febc74cf · outbound

This paper cites In: Lusk, E., Overbeek, R.

Generating Theorems by Generating Proof Structures In: Lusk, E., Overbeek, R

Reference 29

Resolution: verified exact; doi, observed 2026-08-02T22:53:33.818974Z

Source-reported events for the cited work

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

Observation 2c6e4b02-e43c-4948-bc05-93c5ea9beceb · outbound

This paper cites Australasian Journal of Philosophy34(3), 182–192 (1956).https://doi.org/10.1080/ 00048405685200181.

Generating Theorems by Generating Proof Structures Australasian Journal of Philosophy34(3), 182–192 (1956).https://doi.org/10.1080/ 00048405685200181

Reference 30

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:10.664664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1cd5ee7-de1f-4b55-9900-2e88c1b6f372 · outbound

This paper cites In: Ramanayake, R., Urban, J.

Generating Theorems by Generating Proof Structures In: Ramanayake, R., Urban, J

Reference 31

Resolution: verified exact; doi, observed 2026-08-02T22:53:33.292044Z

Source-reported events for the cited work

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

Observation fc12d447-6f1e-4c33-b0d5-2ed7891fdd98 · outbound

This paper cites In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J.

Generating Theorems by Generating Proof Structures In: Douglas, M.R., Hales, T.C., Kaliszyk, C., Schulz, S., Urban, J

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:11.064058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a999b08a-74ec-4c64-80f2-76b50c381184 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:11.247065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da3835e4-7b97-4431-9e63-295c02ec2038 · outbound

This paper cites Projektarbeit in informatik, Fachbereich Informatik, Universität Kaiserslautern (1993),http: //wwwlehre.dhbw-stuttgart.de/~sschulz/PAPERS/Sch93-project.ps.gz, (Ger- man Language).

Generating Theorems by Generating Proof Structures Projektarbeit in informatik, Fachbereich Informatik, Universität Kaiserslautern (1993),http: //wwwlehre.dhbw-stuttgart.de/~sschulz/PAPERS/Sch93-project.ps.gz, (Ger- man Language)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:11.423242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1cb3130-a3da-4db6-9324-b8362ba973ac · outbound

This paper cites In: Fontaine, P.

Generating Theorems by Generating Proof Structures In: Fontaine, P

Reference 35

Resolution: verified exact; doi, observed 2026-08-02T22:53:33.016207Z

Source-reported events for the cited work

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

Observation 926fd754-5b93-4390-9cb8-be784dfd23f3 · outbound

This paper cites In: CADE-12.

Generating Theorems by Generating Proof Structures In: CADE-12

Reference 36

Resolution: verified exact; doi, observed 2026-08-02T22:53:32.772123Z

Source-reported events for the cited work

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

Observation 2d28e08f-f043-4439-9bca-e4edafc1d7a4 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:12.028410Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0c7d619-1e8c-4fc4-b898-838a6170c679 · outbound

This paper cites From CNF to TH0, TPTP v6.4.0.

Generating Theorems by Generating Proof Structures From CNF to TH0, TPTP v6.4.0

Reference 38

Resolution: verified exact; doi, observed 2026-08-02T22:53:32.268432Z

Source-reported events for the cited work

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

Observation 34a3613d-ec30-4f18-9743-a3158266cb31 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-02T22:53:32.012597Z

Source-reported events for the cited work

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

Observation 202a3425-0536-4588-a170-bebd13987e89 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 40

Resolution: verified exact; doi, observed 2026-08-02T22:53:31.377993Z

Source-reported events for the cited work

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

Observation 294081c4-f99a-4934-b012-232e45ac6a21 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:12.754345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 326aec04-480b-41c0-a625-9e7b03e37d7f · outbound

This paper cites Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving.

Generating Theorems by Generating Proof Structures Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:12.936154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46b5c437-f9b4-4383-b9ef-35b706e8c1aa · outbound

This paper cites In: Otten, J., Bibel, W.

Generating Theorems by Generating Proof Structures In: Otten, J., Bibel, W

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:13.007621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eda40d1f-5dc7-4601-8e15-3f104ae251df · outbound

This paper cites In: Platzer, A., Sutcliffe, G.

Generating Theorems by Generating Proof Structures In: Platzer, A., Sutcliffe, G

Reference 44

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:13.131974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3badd157-9967-44b6-b922-31022b16606c · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 45

Resolution: verified exact; doi, observed 2026-08-02T22:53:31.214361Z

Source-reported events for the cited work

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

Observation 19f80449-1d06-4c9e-a18b-62255759fb60 · outbound

This paper cites Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures.

Generating Theorems by Generating Proof Structures Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures

Reference 46

Resolution: metadata mismatch; local_arxiv, observed 2026-08-02T22:53:31.028630Z

Source-reported events for the cited work

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

Observation 0dcd3332-a3e0-4a29-8aac-b2735b9f9646 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:13.359889Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc4a22e1-f927-4335-9d62-dd7d4b35cbc7 · outbound

This paper cites an unresolved cited work.

Generating Theorems by Generating Proof Structures Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T22:53:13.505574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3974229a-98b7-4e33-b677-40f02eb5838f · outbound

This paper cites Theory and Practice of Logic Programming12(1-2), 67–96 (2012).https://doi.org/10.1017/ S1471068411000494.

Generating Theorems by Generating Proof Structures Theory and Practice of Logic Programming12(1-2), 67–96 (2012).https://doi.org/10.1017/ S1471068411000494

Reference 49

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:13.561271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92121f39-e7c1-464a-9700-a12a98120ca8 · outbound

This paper cites Computers Math.

Generating Theorems by Generating Proof Structures Computers Math

Reference 50

Resolution: verified exact; doi, observed 2026-08-02T22:53:30.813349Z

Source-reported events for the cited work

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

Observation 501518c7-cac2-43ab-ba19-4786a786f1a7 · outbound

This paper cites top-level.

Generating Theorems by Generating Proof Structures top-level

Reference 51

Resolution: verified exact; doi, observed 2026-08-02T22:53:30.650022Z

Source-reported events for the cited work

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

Observation ea37d1f9-5623-477a-92c1-84a36f7dad9a · outbound

This paper cites 9168, pp.

Generating Theorems by Generating Proof Structures 9168, pp

Reference 2015

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:53:08.970963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.