{"entities":{"Q1401290":{"pageid":1412030,"ns":120,"title":"Item:Q1401290","lastrevid":48154936,"modified":"2026-01-03T19:39:13Z","type":"item","id":"Q1401290","labels":{"en":{"language":"en","value":"Primality test for numbers \\(M\\) with a large power of 5 dividing \\(M^{4}-1\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965312"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$4023A2D6-AEDD-479E-BD1D-12BDF18CC646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d2c13606f24b3c8f30fd050d4b4c2217120a52","datavalue":{"value":{"text":"Primality test for numbers \\(M\\) with a large power of 5 dividing \\(M^{4}-1\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401290$4CFF57BC-C44D-4643-898A-33FB936549A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a3b227576223926b827bb0281c71cb5afdaf472","datavalue":{"value":"1048.11101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401290$63C1B1A1-1247-44D0-B11B-670ACA883319","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd62aa46503dc77cc517ff4738ea3c866a98522b","datavalue":{"value":"10.1016/S0304-3975(02)00617-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401290$5230D003-93AC-4315-BC97-C6FBA9ECA319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7cbba19c34e0022acee3a4722e3c771d0dd2008","datavalue":{"value":{"entity-type":"item","numeric-id":306153,"id":"Q306153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$F126619E-D603-4CE5-8F9B-E8BBA7008C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33666fb7b204eaf8a12857413fad50cc5bfc7f3f","datavalue":{"value":{"entity-type":"item","numeric-id":1401289,"id":"Q1401289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$11896EA2-7114-41CC-A80E-DD45A6168323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6647dd226ecd21fa5094248e3b45e3c3fe01e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1313210,"id":"Q1313210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$3AAC1630-1CDD-4008-83F1-27ABA6354E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$D6031D99-3366-4A9A-BDC4-A3507DCB389A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-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":"Q1401290$C6DCD97D-F5D2-4410-8CCB-0659C4B864EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46932a34c6f9d65531c38e6c335d712942b1501c","datavalue":{"value":"The paper uses quintic reciprocity to derive primality tests for numbers of the form \\(A.5^n\\pm\\omega_n\\), where \\(0<A<5^n\\), \\(0<\\omega_n<5^n/2\\), \\(\\omega_n^4\\equiv 1 \\pmod {5^n}\\). (In particular \\(\\omega_n=1\\) satisfies the conditions.) A deterministic test is given which runs in polynomial time provided that a small prime \\(p\\), \\(p\\equiv 1\\pmod 5\\) can be found such that \\(M\\) is not a fifth power modulo \\(p\\). In practice such a prime is easily found by trial and error, but it is difficult to give a theoretical estimate for the worst-case complexity of finding \\(p\\), so the algorithm is not proven to be polynomial. As a partial remedy for this deficiency, a probabilistic algorithm which does not require \\(p\\) is given. This algorithm differs from the usual probabilistic algorithms, such as the Miller-Rabin-Monier algorithm in that, if it declares \\(M\\) prime then there is no probability of error, but there is a probability of \\(1-5^{[\\log A/2\\log 5-n]}\\) that a prime \\(M\\) will not be detected. The paper discusses the implementation of the tests, and notes an application to finding twin primes of the given form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401290$61735070-CEEB-49EA-B698-D0219C07CEF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e200d87f1cfce7aee3654a6353f4c1c1dded81bd","datavalue":{"value":{"entity-type":"item","numeric-id":1152104,"id":"Q1152104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$6B5198F5-1B37-40F0-A462-14B282BC4800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401290$427BC902-B614-431D-A003-195FBCFF7820","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07a75044d477b29c6fc258a42924bdf492e5f94e","datavalue":{"value":"1965312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401290$B286664A-2FE2-4320-AF6D-DC6EEFCB6871","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efed5172d86eecab432335e1eeacd0424f509637","datavalue":{"value":"primality test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401290$92C50A26-41B0-4E5E-ADBC-BC30598E4A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0531e83716408b04b0d5175e14e36c8bc4d6f8","datavalue":{"value":"quintic reciprocity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401290$D4199FB0-10D2-40CB-A9B5-2122CF9C6B59","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$779FA48D-FE56-4912-8AA4-D9A182244AEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c115548701848a04f92f389f92d61be34267bf97","datavalue":{"value":{"entity-type":"item","numeric-id":594912,"id":"Q594912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$3F55CAE7-637F-48FB-AE09-B55613B58310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93f13262bc300fba769190aafdb0940400641e6","datavalue":{"value":{"entity-type":"item","numeric-id":4888749,"id":"Q4888749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$7F1B83AB-8B0B-47A5-8BA4-BC8D317F62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"867145d190e7da2de320618107bdec89391f87b5","datavalue":{"value":{"entity-type":"item","numeric-id":4243658,"id":"Q4243658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$3734A5DA-77C2-45C8-8C6A-D47036F0C320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db78f31c027d84b96c1f83f4c15fa057e75ab92c","datavalue":{"value":{"entity-type":"item","numeric-id":3995106,"id":"Q3995106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$DF79AC10-67D8-4D3A-B994-3467F2CA4D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0af6142fc4d37442aa82ad00b234f68a555c05","datavalue":{"value":{"entity-type":"item","numeric-id":3699757,"id":"Q3699757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$A881A48D-4F0B-421E-9E0A-21FD45636807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0ed04c5400c6e0a2e85e668119dc08e38feca2","datavalue":{"value":{"entity-type":"item","numeric-id":3748326,"id":"Q3748326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$AAA98875-AD98-4D5D-92EC-1EF49E07F96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7655490d02e0bcbd79494ca1cc2a91a888841d3","datavalue":{"value":{"entity-type":"item","numeric-id":1198983,"id":"Q1198983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$BEB12F4F-65CF-49EE-B818-4D8801F627D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045f069d44b7d32ac907d01f81c962bc393253fb","datavalue":{"value":{"entity-type":"item","numeric-id":3939864,"id":"Q3939864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$D5E32574-FB00-4983-9501-3BA6947AB59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31066db85cc606b83d230014d2fe81ac53f9902","datavalue":{"value":{"entity-type":"item","numeric-id":3822229,"id":"Q3822229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$5B901324-D243-4675-9DE5-A07474D13088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e257391e63285678946a94ffb3f9617fa429619","datavalue":{"value":{"entity-type":"item","numeric-id":4773759,"id":"Q4773759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$B07ABFE7-3EDE-49C0-B2D6-6873046A8F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33b59ee0c5a541cd6c0a99c51ed6300c7b27e01","datavalue":{"value":{"entity-type":"item","numeric-id":3748328,"id":"Q3748328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$36DE00C0-D206-4960-8CFE-A74EA4A079A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017eabaa17b0e33d5e4e1401609d1e0a493b92d1","datavalue":{"value":{"entity-type":"item","numeric-id":4083505,"id":"Q4083505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401290$8FB2625D-4CF3-4CDB-A811-2AAADA58DEEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147ac0a9299adbbef7c0242d450a36ec3048a153","datavalue":{"value":{"entity-type":"item","numeric-id":4508384,"id":"Q4508384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a622f2823fd195082feeb9cb7de4caa94bbdf","datavalue":{"value":{"amount":"+0.8112261891365051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401290$D18231A4-E906-4164-A45C-CF717ECF5090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39714082425900afb8c2dc1fa55065527858f5b5","datavalue":{"value":{"entity-type":"item","numeric-id":3184538,"id":"Q3184538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a622f2823fd195082feeb9cb7de4caa94bbdf","datavalue":{"value":{"amount":"+0.8112261891365051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401290$64C74A6E-DF88-4D2B-98F6-8E4AC43F6906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a6fc040165c755cba11a310828bb3096a56637","datavalue":{"value":{"entity-type":"item","numeric-id":491620,"id":"Q491620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4005bbf0ecbc6c193a55e9359b6ff6f610478219","datavalue":{"value":{"amount":"+0.8001655340194702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401290$8549F888-FB77-4546-B862-1D2EA27BB9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04850d04dcf2937c49c33577fac61cbe282586e","datavalue":{"value":{"entity-type":"item","numeric-id":5261959,"id":"Q5261959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaa05d0a3b3dd56a5bae61dc11d02f1d4394d52","datavalue":{"value":{"amount":"+0.7904561161994934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401290$050255BD-3B28-4DAC-B202-9BD423037D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe826fe935505d9e1b94076f1b8cee356388291a","datavalue":{"value":{"entity-type":"item","numeric-id":3748328,"id":"Q3748328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2df205e5b1bcb8be60438ea841111ac0b61661","datavalue":{"value":{"amount":"+0.7812939882278442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1401290$DF69B2C0-F6F9-45A6-8D0F-ECBD5A154FCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401290"}}}}}