Paper Citation Record · LEDGER

Classifying the groups of order $p q$ in Lean

As of 13 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 1 inbound Pith citation observation for arXiv:2501.09769.

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

pith.paper-citation-record.v1
2501.09769 v2

Coverage vector

measured 10 of 10 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T19:59:32.878441Z

measured 11 of 11 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-27T21:21:03.453620Z

Reference resolution

10 of 10 outbound references displayed

verified exact0
verified fuzzy7
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4551fb38-4431-44b4-9aaa-2a3c15c0d602 · outbound

This paper cites Bertot and P.

Classifying the groups of order $p q$ in Lean Bertot and P

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:33.041927Z

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 b970d0e7-65e7-410f-b949-c4b61fd4ead4 · outbound

This paper cites Commelin, A.

Classifying the groups of order $p q$ in Lean Commelin, A

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:33.029004Z

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 f700c8da-d2da-4c30-8d23-1a5813f122c5 · outbound

This paper cites de Moura, S.

Classifying the groups of order $p q$ in Lean de Moura, S

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:33.015176Z

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 3ce92a4a-7ed9-46f6-9be3-778700561ca9 · outbound

This paper cites Dillies, B.

Classifying the groups of order $p q$ in Lean Dillies, B

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:33.001061Z

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 5466877f-e96e-4631-88b9-7b4110f35b2d · outbound

This paper cites Gonthier, A.

Classifying the groups of order $p q$ in Lean Gonthier, A

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:32.986191Z

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 40336c15-2d19-41f0-a7bf-a0157b6cba78 · outbound

This paper cites Gorenstein, R.

Classifying the groups of order $p q$ in Lean Gorenstein, R

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:32.972172Z

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 67d5607e-0fcb-4373-99b1-836518baa58d · outbound

This paper cites On a conjecture of Marton.

Classifying the groups of order $p q$ in Lean On a conjecture of Marton

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T19:59:32.864768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36336218-c4b8-4cc6-8d27-4eb3d5dd1641 · outbound

This paper cites Harper and P.

Classifying the groups of order $p q$ in Lean Harper and P

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T19:59:32.957607Z

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 d45934fb-474a-4d3c-ba9d-c82c3926f73b · outbound

This paper cites an unresolved cited work.

Classifying the groups of order $p q$ in Lean Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:59:32.943208Z

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 d778df83-c7b2-4020-a14b-96a28c924ab9 · outbound

This paper cites an unresolved cited work.

Classifying the groups of order $p q$ in Lean Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T19:59:32.928229Z

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.

Pith citing papers

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

Classifying the Groups of Order $p^3$ in Lean cites this paper.

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.