Paper Citation Record · LEDGER

Classifying the Groups of Order $p^3$ in Lean

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

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

pith.paper-citation-record.v1
2606.26141 v1

Coverage vector

measured 5 of 5 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T11:07:05.823361Z

measured 5 of 5 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

5 of 5 outbound references displayed

verified exact2
verified fuzzy0
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b4cae426-55b8-4f06-990b-fd2f7a9b7c14 · outbound

This paper cites Gonthier et al.,A machine-checked proof of the odd order theorem, ITP 2013, LNCS 7998, Springer, 2013, 163–179.

Classifying the Groups of Order $p^3$ in Lean Gonthier et al.,A machine-checked proof of the odd order theorem, ITP 2013, LNCS 7998, Springer, 2013, 163–179

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T11:07:05.823361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d1b2f00-103a-41da-a62f-3a3631a1b825 · outbound

This paper cites 9th ACM SIGPLAN CPP, ACM, 2020, 367–381,https://github.com/leanprover-community/mathlib4.

Classifying the Groups of Order $p^3$ in Lean 9th ACM SIGPLAN CPP, ACM, 2020, 367–381,https://github.com/leanprover-community/mathlib4

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T11:07:05.823361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd3fa952-d29c-4a56-8d56-2a0720e133c6 · outbound

This paper cites Classifying the groups of order $p q$ in Lean.

Classifying the Groups of Order $p^3$ in Lean Classifying the groups of order $p q$ in Lean

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-04T08:39:42.532909Z

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 5195ae3f-1c84-47c5-91e1-c6ee1eab1eb2 · outbound

This paper cites Automated.

Classifying the Groups of Order $p^3$ in Lean Automated

Reference 4

Resolution: verified exact; doi, observed 2026-06-26T11:09:23.144833Z

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 5ed5a2b1-abe8-411c-81db-f61a1e4cdd98 · outbound

This paper cites com/lixiang90/p3group.

Classifying the Groups of Order $p^3$ in Lean com/lixiang90/p3group

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T11:07:05.823361Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.