{"entities":{"Q7361105":{"pageid":31518854,"ns":120,"title":"Item:Q7361105","lastrevid":105362996,"modified":"2026-10-07T13:34:44Z","type":"item","id":"Q7361105","labels":{"en":{"language":"en","value":"Mersenne primes and the Lucas\u2013Lehmer test"}},"descriptions":{"en":{"language":"en","value":"AFP entry Mersenne_Primes"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30c7acfeda14239fe0225137c04dd4d6b5a6a68d","datavalue":{"value":"https://isa-afp.org/entries/Mersenne_Primes.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361105$7047173B-E1A8-4314-91CC-055E3176BEBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6a5b5fdeb4bedfada8cbabb8db67346705498a","datavalue":{"value":{"time":"+2020-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361105$BAF850C5-B849-4134-ADDC-232BF9DA4E52","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361105$88E77A45-7946-4521-8B5D-D0BC071D8C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4313853de1e91ee60096391e9f158398cdec486","datavalue":{"value":{"text":"Mersenne primes and the Lucas\u2013Lehmer test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361105$8C1F736F-3A30-49B6-8011-F55D8774D183","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee16c031674a6f185c20bc3d91f1e3ad30a48b7e","datavalue":{"value":"This article provides formal proofs of basic properties of Mersenne numbers, i. e. numbers of the form 2 n - 1, and especially of Mersenne primes. In particular, an efficient, verified, and executable version of the Lucas\u2013Lehmer test is developed. This test decides primality for Mersenne numbers in time polynomial in n .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361105$6FB848E1-5BB7-420D-A3AC-D149FF8AC778","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"478375dec8833d5c95a1e0b01514652d6fc13cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4695136,"id":"Q4695136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361105$01A4E6E4-16B7-43D0-913A-C3D02121DA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd1123fc886d89d3659d37fe12980bb8763453a","datavalue":{"value":{"entity-type":"item","numeric-id":1338515,"id":"Q1338515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361105$2ED5B546-6A81-474E-B47E-26CB5A7C5F6F","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":"Q7361105$B56F7E94-3CFE-4C30-BAEC-DE144CBED3E8","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361105$6AF7BE9F-2EDF-4C06-805A-9AF6E852A6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"bb9e98cc8b757881adb60cfcea13c0234280dbb5","datavalue":{"value":{"entity-type":"item","numeric-id":7361777,"id":"Q7361777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361105$924E30DB-D87F-4460-9FF7-DC9FFA9726B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"db2f027ce37e64078e30403d319f909accdb9142","datavalue":{"value":{"entity-type":"item","numeric-id":7361146,"id":"Q7361146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361105$A9DF73DA-6ED0-4341-AC06-665D72A2DBC0","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":"Q7361105$8FEEFED1-4A0E-4354-9096-B33745E6AF9E","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":"Q7361105$36F5F829-250E-45BC-896E-3AC4469DAA1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mersenne primes and the Lucas\u2013Lehmer test","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mersenne_primes_and_the_Lucas%E2%80%93Lehmer_test"}}}}}