{"entities":{"Q7361896":{"pageid":31521227,"ns":120,"title":"Item:Q7361896","lastrevid":105370091,"modified":"2026-10-07T13:38:46Z","type":"item","id":"Q7361896","labels":{"en":{"language":"en","value":"Lehmer's Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Lehmer"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05dfa773f4f736678933d932a43804d2b016bf1d","datavalue":{"value":"https://isa-afp.org/entries/Lehmer.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361896$AD1F1B68-386E-4B63-B24C-0B4C5CAA2AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adde9adc5284d10b35126226bc6566cef97a2e7","datavalue":{"value":{"time":"+2013-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361896$4F77BDB2-2EB4-46D1-9CF6-53805F7E93AA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361896$DD5F5670-6D30-435B-A765-E0AB07DE6556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4b9c377da6ea8f099d820dce8871088d2eadbf73","datavalue":{"value":"Lars Noschinski","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361896$6381430F-6D91-4298-B7F9-1EEE0672B35E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9e57d7191cdd972c38a2fdaed17e430a50246eb","datavalue":{"value":{"text":"Lehmer's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361896$26E368BE-4722-4E31-A930-F02DB62B12F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf841beb4f97ee05deb8ab47c9b6c57a0aa53272","datavalue":{"value":"In 1927, Lehmer presented criterions for primality, based on the converse of Fermat's litte theorem. This work formalizes the second criterion from Lehmer's paper, a necessary and sufficient condition for primality. As a side product we formalize some properties of Euler's phi-function, the notion of the order of an element of a group, and the cyclicity of the multiplicative group of a finite field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361896$887EFF57-121F-4ACB-BB62-3889FA8C7097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5290fe8984c54a923dfbe4d987daf126635d4d84","datavalue":{"value":{"entity-type":"item","numeric-id":1444871,"id":"Q1444871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361896$03C740D8-5F24-4941-838C-71E8728200CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3ef38ef005c69e7bd0fea842b7da511c1842a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077450,"id":"Q4077450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361896$3381BB91-2C28-4A88-B877-A5AC990C1D9A","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361896$5A568A9A-0D7F-463F-B120-C35893BC36A6","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"51467ee0a503af56d0e1903e0514853bd73fc1a9","datavalue":{"value":{"entity-type":"item","numeric-id":7360830,"id":"Q7360830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361896$157E86E5-32B0-49CF-8A96-F09C7A743EC8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361896$8F6D22AA-1776-42A5-A3D8-51C1C132CD0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lehmer's Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lehmer%27s_Theorem"}}}}}