Paper Citation Record · LEDGER

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

As of 19 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 1 inbound Pith citation observation for arXiv:2505.12305.

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

pith.paper-citation-record.v1
2505.12305 v2

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:46:00.547276Z

measured 51 of 51 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 1 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

50 of 50 outbound references displayed

verified exact8
verified fuzzy17
unresolved16
parse uncertain0
malformed identifier7
metadata mismatch2

External citation measurements

0
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 76cb88c7-71bf-41b8-b6a9-716ee3519ee9 · outbound

This paper cites Reviews of Modern Physics 74(1), 47–97 (Jan 2002).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Reviews of Modern Physics 74(1), 47–97 (Jan 2002)

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-15T20:46:00.345767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 342c631e-9e6c-4c39-bd10-38a32fe35bbc · outbound

This paper cites https://doi.org/10.1093/jigpal/jzac082.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures https://doi.org/10.1093/jigpal/jzac082

Reference 2

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.880012Z

Source-reported events for the cited work

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

Observation 137738ac-29c3-4789-a0e1-85e7ec6c36ac · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Vieweg (1987), first edition 1982

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.422522Z

Source-reported events for the cited work

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

Observation 132a031a-2011-4eb5-8fc0-e70ba4625a4b · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Kahle, R., Rathjen, M

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.359505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c885839-b4b7-48da-83ee-e85568df15c5 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-15T20:46:00.364304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52256d1d-3b4b-424d-9b27-8910757cb1ac · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 6

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.849747Z

Source-reported events for the cited work

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

Observation ffdb3610-a50e-4877-83e2-c28d3bd53717 · outbound

This paper cites Nature Communications 10(1), 1017(Mar2019).https://doi.org/10.1038/s41467-019-08746-5,https://doi.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Nature Communications 10(1), 1017(Mar2019).https://doi.org/10.1038/s41467-019-08746-5,https://doi

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.373370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8af7cbb-887c-4982-b92d-78e77669a14d · outbound

This paper cites Conversion of HOL Light proofs into Metamath.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Conversion of HOL Light proofs into Metamath

Reference 8

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T20:46:01.078143Z

Source-reported events for the cited work

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

Observation ad9eb3ec-2443-4129-9e88-5f5cdfc2c99a · outbound

This paper cites In: Benzmüller, C., Miller, B.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Benzmüller, C., Miller, B

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.409286Z

Source-reported events for the cited work

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

Observation 24c4d06b-58b6-4276-bebf-b1134fc7354d · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Naumowicz, A., Thiemann, R

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.386384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 690a3613-60bb-4e32-87ba-cf591be13612 · outbound

This paper cites SIAM Review51(4), 661–703 (2009).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures SIAM Review51(4), 661–703 (2009)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.390573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b8e6a6e-09fd-49e0-ac06-036d4a160b39 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:46:01.396488Z

Source-reported events for the cited work

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

Observation 9b591988-52d2-4d01-9a32-a926450b0a97 · outbound

This paper cites In: Bonacina, M.P., Furbach, U.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Bonacina, M.P., Furbach, U

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.383578Z

Source-reported events for the cited work

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

Observation 4157fe5f-0d5f-4109-b900-e820dfcc231d · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Seki-Report SR-94-05, Universität Kaiserslautern (1994), http://wwwlehre.dhbw-stuttgart.de/~sschulz/ PAPERS/DS94-SR-94-05.ps.gz, revised September 1997

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.370558Z

Source-reported events for the cited work

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

Observation baa7e730-1ff1-4b50-89b3-43c4d0b7614d · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.406974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82137542-388a-4d28-89f9-74bb1543cc4f · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Dediu, A.H., Martín-Vide, C

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.356578Z

Source-reported events for the cited work

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

Observation 304b9aff-ea13-4394-8de4-574ac69c9213 · outbound

This paper cites Journal of Symbolic Logic55(1), 90–105 (1990).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Journal of Symbolic Logic55(1), 90–105 (1990)

Reference 17

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.801738Z

Source-reported events for the cited work

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

Observation 3937cdbd-44b2-4e1e-a0a7-2484e07664c5 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.786445Z

Source-reported events for the cited work

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

Observation a699ef46-1b1f-41e8-9ab1-3329dcf167f4 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.772669Z

Source-reported events for the cited work

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

Observation 06388ce4-ff37-489e-a120-f89621258ad7 · outbound

This paper cites In: Potapov, I.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Potapov, I

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.343173Z

Source-reported events for the cited work

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

Observation 9a6a251b-b5a6-4545-af09-9b084d052c1b · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.652393Z

Source-reported events for the cited work

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

Observation 3d911fcc-79a7-4fe0-8cdf-0ef4a8e74bb0 · outbound

This paper cites JACM15(2), 236–251 (1968).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures JACM15(2), 236–251 (1968)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.317072Z

Source-reported events for the cited work

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

Observation 11daae2b-79a2-453e-b973-f5eb4b1bca6f · outbound

This paper cites North Holland (1970), edited by L.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures North Holland (1970), edited by L

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.303969Z

Source-reported events for the cited work

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

Observation 37cb6a9a-691b-4f52-8beb-bfe33a8fad40 · outbound

This paper cites Comptes rendus des séances de la Soc.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Comptes rendus des séances de la Soc

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.291293Z

Source-reported events for the cited work

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

Observation 4e13e72b-afd4-4724-9edd-7a78ea1148a4 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:46:01.278755Z

Source-reported events for the cited work

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

Observation 99267cbc-5a7f-45e7-a5a9-3e5d5f7ce531 · outbound

This paper cites In: Kapur, D.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Kapur, D

Reference 26

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.638993Z

Source-reported events for the cited work

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

Observation 22df6e31-33a0-4c78-8bae-5d156cce9261 · outbound

This paper cites lulu.com, second edn.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures lulu.com, second edn

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.265443Z

Source-reported events for the cited work

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

Observation 7c946b7a-9c21-4de0-9ca6-1502ecf7f09a · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:46:01.252572Z

Source-reported events for the cited work

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

Observation 38009b97-237f-4c95-9bee-745ac49713c1 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:46:01.238977Z

Source-reported events for the cited work

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

Observation 8539e664-b14e-497b-aab9-34c71ca37ba3 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 30

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:46:01.058805Z

Source-reported events for the cited work

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

Observation 2852da94-28e9-49aa-95f8-7ac62a8678da · outbound

This paper cites Oxford Univ.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Oxford Univ

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.224939Z

Source-reported events for the cited work

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

Observation 3e31f81f-d3e5-435a-a497-e60fbc68ea7e · outbound

This paper cites Theoria26, 102–139 (1960).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Theoria26, 102–139 (1960)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.212451Z

Source-reported events for the cited work

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

Observation a24b5629-5cc1-4dd6-9e4f-5ad93016cf62 · outbound

This paper cites Machine In- telligence 4, 59–71 (1969), reprinted with author preface in J.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Machine In- telligence 4, 59–71 (1969), reprinted with author preface in J

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.199449Z

Source-reported events for the cited work

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

Observation 777b5bc8-e709-4ff8-8965-52bb44761d40 · outbound

This paper cites Australasian Journal of Philosophy 34(3), 182–192 (1956).

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Australasian Journal of Philosophy 34(3), 182–192 (1956)

Reference 34

Resolution: verified exact; doi, observed 2026-08-15T20:46:00.625646Z

Source-reported events for the cited work

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

Observation 6e1cd3de-769f-4588-af2d-241ebbcb60e5 · outbound

This paper cites Clarendon Press, Oxford, 2nd edn.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Clarendon Press, Oxford, 2nd edn

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.491603Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9137b557-536f-4fe6-8dab-ac590e15e9a9 · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Ramanayake, R., Urban, J

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.495664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32be8fb0-bda6-4165-8dfb-e49e9c7803d0 · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Projektarbeit in informatik, Fachbereich Informatik, Universität Kaiserslautern (1993), http: //wwwlehre.dhbw-stuttgart.de/~sschulz/PAPERS/Sch93-project.ps.gz, (German Language)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.186383Z

Source-reported events for the cited work

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

Observation 0603f54e-7262-45cb-b9e4-dbf93a356533 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.503694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da71e6e9-fa4b-4212-800d-900bcc4f2eda · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:46:01.172092Z

Source-reported events for the cited work

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

Observation 49e334d4-a93b-4cc7-9f78-9f36fbcf6b10 · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.511570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c597d804-bf6f-4c68-86cc-448b38c1e34e · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.515437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0625edc-b917-4b1a-9019-c589b92bb302 · outbound

This paper cites In: Fontaine, P., Schulz, S., Urban, J.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Fontaine, P., Schulz, S., Urban, J

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.159005Z

Source-reported events for the cited work

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

Observation 3e03d311-ff02-4917-a906-1079127e0865 · outbound

This paper cites In: Hofstedt, P., et al.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Hofstedt, P., et al

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.146203Z

Source-reported events for the cited work

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

Observation 5ac20e8e-be7b-4958-a231-576ea8f5b303 · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving

Reference 44

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T20:46:00.907761Z

Source-reported events for the cited work

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

Observation 7022fa66-8b3d-4256-a696-96b887525720 · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Otten, J., Bibel, W

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:46:01.118342Z

Source-reported events for the cited work

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

Observation b20083b2-5ad6-4c01-8603-d7119fe1bd9d · outbound

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

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures In: Platzer, A., Sutcliffe, G

Reference 46

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:46:01.105143Z

Source-reported events for the cited work

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

Observation 78b67e26-6967-4bb9-98fc-bc010a11db6d · outbound

This paper cites an unresolved cited work.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-15T20:46:00.543078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8120143-6ef6-4b21-914b-37050c6e0350 · outbound

This paper cites bottom-up.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures bottom-up

Reference 48

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:46:01.091994Z

Source-reported events for the cited work

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

Observation 7492643e-468d-48d9-87f8-d53222eac53c · outbound

This paper cites 9168, pp.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures 9168, pp

Reference 2015

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:46:01.329765Z

Source-reported events for the cited work

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

Observation e04d26e9-5988-48bc-9188-b61287296843 · outbound

This paper cites 12057, pp.

Mathematical Knowledge Bases as Grammar-Compressed Proof Terms: Exploring Metamath Proof Structures 12057, pp

Reference 2019

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:46:01.132099Z

Source-reported events for the cited work

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

Pith citing papers

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

Generating Theorems by Generating Proof Structures cites this paper.

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-19T06:32:44.657259+00:00.