Search
| Leader | 00000nz a2200037n 45 0 | ||
|---|---|---|---|
| 001 | WKP|Q102431247 (VIAF cluster) (Authority/Source Record) | ||
| 003 | WKP | ||
| 005 | 20241121000241.0 | ||
| 008 | 241121nneanz||abbn n and d | ||
| 035 | ‡a (WKP)Q102431247 | ||
| 035 | ‡a (OCoLC)Q102431247 | ||
| 100 | 0 | ‡a Cyril Cohen ‡c Ph.D. École Polytechnique 2012 ‡9 en | |
| 670 | ‡a Author's A Machine-Checked Proof of the Odd Order Theorem | ||
| 919 | ‡a machinecheckedproofoftheoddordertheorem ‡A A Machine-Checked Proof of the Odd Order Theorem ‡9 1 | ||
| 996 | ‡2 SUDOC|172541271 | ||
| 996 | ‡2 DBC|87097990435167 | ||
| 996 | ‡2 J9U|987007319848405171 | ||
| 996 | ‡2 JPG|500110332 | ||
| 996 | ‡2 ISNI|0000000044200419 | ||
| 996 | ‡2 SUDOC|129212164 | ||
| 996 | ‡2 J9U|987007394883605171 | ||
| 996 | ‡2 SUDOC|090330722 | ||
| 996 | ‡2 LC|n 98015162 | ||
| 996 | ‡2 ISNI|0000000391064204 | ||
| 996 | ‡2 LC|no2005095803 | ||
| 996 | ‡2 ISNI|0000000082633928 | ||
| 996 | ‡2 SUDOC|079051200 | ||
| 996 | ‡2 NTA|068852622 | ||
| 996 | ‡2 RERO|A024501871 | ||
| 996 | ‡2 RERO|A023796193 | ||
| 996 | ‡2 NTA|073432911 | ||
| 997 | ‡a 0 0 lived 0 0 ‡9 1 |
