Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-02T22:53:13.751436Z
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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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
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.
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.