{"entities":{"Q1273196":{"pageid":1283946,"ns":120,"title":"Item:Q1273196","lastrevid":67196316,"modified":"2026-04-12T15:58:39Z","type":"item","id":"Q1273196","labels":{"en":{"language":"en","value":"A probable prime test with high confidence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1229752"}},"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":"Q1273196$AECEF0BA-EA5F-4E72-BD87-1C5C0EA280A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c38691e8d03eba00394ef1d165137a6dfcaf38af","datavalue":{"value":{"text":"A probable prime test with high confidence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273196$248BC433-7C92-4DC7-8049-2544B9679EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88652bb712881c0ce952661c2557d4793fa54dc8","datavalue":{"value":"0930.11087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$0CF9C737-9ED4-4BC2-9841-C524EBF4C90F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7aa64fa27e597d00813c5d57a76c0f94eb323d1","datavalue":{"value":{"entity-type":"item","numeric-id":971843,"id":"Q971843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$07C69357-7636-4F37-B033-24704CF51DE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$5AB24D79-EA62-488D-B08E-B56A9607CE0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e4211f58e334cd6949d4af54b9667204ad02c41","datavalue":{"value":{"time":"+2000-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273196$A9177561-589E-413A-B2DD-0B620FA61A4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bbb036277d10c59fc874d9b3346cdc3d267bc04","datavalue":{"value":"https://arxiv.org/abs/1903.06823","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273196$A4B8520A-84F6-4CE3-BA74-20749EFE3C73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf1a86454d5a454b31b961efea0215e0c39dff05","datavalue":{"value":"The Rabin strong probable prime test of an integer \\(n\\) has a probability of 1/4 for failing to detect compositeness. The author develops an improvement running about three times as long but with error of about 1/7710. This consists of a Lucas-type adaptation called the ``quadratic Frobenius tests.'' For \\(n\\) prime and \\(\\xi\\) (with conjugate \\(\\xi')\\) roots of the unfactorable \\(x^2-bx-c\\) it is easily seen that in \\(\\mathbb{F}_{n^2}\\), with \\(\\eta=\\xi^{(n+1)/2}\\), then \\(\\eta^2(=\\xi^n\\cdot\\xi)\\equiv\\xi'\\xi=-c\\) (hence ``Frobenius''). If additionally \\((-c\\mid n)=-1\\), then \\(\\eta\\notin \\mathbb{F}_n\\). At the same time \\(\\xi^{(n^2-1)}\\equiv 1\\), and this works on the even power in \\(n^2-1\\) (rather than \\(n-1\\) as in the probable prime test). The failure analysis is very sophisticated.   For the mixed strategy, the author cites the work of \\textit{C. Pomerance}, \\textit{J. L. Selfridge} and \\textit{S. Wagstaff} [The pseudoprimes to \\(25\\cdot 10^9\\), Math. Comput. 35, 1003-1026 (1980; Zbl 0444.10007)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273196$59F350C0-284D-4161-9FF0-AFB4A39DA6E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0d7fdbc1a2b8e7639c3636cd9be0e2a4893e41d9","datavalue":{"value":{"entity-type":"item","numeric-id":588320,"id":"Q588320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$7063298C-006E-41E5-8CD7-59BC81E9AE1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$A77721F2-9CDD-4E7D-8AEA-58BF0316F4DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b2083df62a51db9b079d25f37a4d0e641e5d9bd","datavalue":{"value":"1229752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$88BA26BD-178E-4C9D-9930-4B9F81126728","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8700c1fbfa0e7956d54cfb865859598f51f8ecee","datavalue":{"value":"Lucas test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273196$D099B40F-21A1-4BE2-9DD2-19A9CD8CA629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfda98830c58aef6cad40a9de1d18abbd0500a51","datavalue":{"value":"quadratic Frobenius test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273196$8FF1F435-E549-47F7-BC45-661EA08C471E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b4ecb7be43dac17188a10ae3cf5495fd6d3cfb","datavalue":{"value":"strong probable prime test","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273196$3E422AF6-1190-4B07-9CD3-33524414530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ec424a0ab48ad6a2817c37f9d6d52b62d6da18","datavalue":{"value":"failure analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273196$F531F1E9-2DD5-4865-A808-CCC6D25799AE","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":"Q1273196$8926F59E-9C1C-462F-AD4C-D971FA57D43C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94cedb5bec945858807b47c9b4858d74f433a930","datavalue":{"value":"W2031341025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$0546DC25-867A-4E01-B7FB-7D54A7A320C7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9df3cfd236894801f84ac5e5939491357c39ccbd","datavalue":{"value":"Q56673772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$189B4E5A-B21C-4E46-9B66-C1C3E65E70F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"155bae8defed826ca8ed1988685d61f09c5ff124","datavalue":{"value":{"entity-type":"item","numeric-id":3953832,"id":"Q3953832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$7C9FDF32-6405-47C0-BA3E-644ED9A5A35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384f8186cf9030394607149f601a998590536ac7","datavalue":{"value":{"entity-type":"item","numeric-id":3127342,"id":"Q3127342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$BE697EA4-9DCD-4FC9-AEB9-085368B8CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfc2d6637e5c8d8f0d7da745c312518c67610df","datavalue":{"value":{"entity-type":"item","numeric-id":4213381,"id":"Q4213381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$5E7EB741-05C8-4743-8C49-E4047CB943AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744bb9069185675f8f4cdf7284084f23741fd56","datavalue":{"value":{"entity-type":"item","numeric-id":1118632,"id":"Q1118632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$C22588E8-EFD0-4E8F-825F-BB27B621ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ac54b726015b1585665123c1296c720dc366f4","datavalue":{"value":{"entity-type":"item","numeric-id":2701573,"id":"Q2701573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$81112057-F011-4C91-AF50-7E1B84B26C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab722f78b41c0de1f39f3257471c6d411527284","datavalue":{"value":{"entity-type":"item","numeric-id":4312862,"id":"Q4312862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$C7663F8B-1CA9-4F92-8505-C59AA55A00B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$E8E122EA-E199-4608-89ED-1DD7A7F2D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad136a802080021c3943e437c339bd8650aeff99","datavalue":{"value":{"entity-type":"item","numeric-id":1144064,"id":"Q1144064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$C4BF1BFC-D0A1-4B23-8F95-85BE06E65836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ba5569ebf44312e7f978c821e059f8ac3afd81","datavalue":{"value":{"entity-type":"item","numeric-id":3887519,"id":"Q3887519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$94FF1CE9-2541-464C-8A98-7A087D86F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc746819d6a86d4542ba3a284ce0ca1127563e","datavalue":{"value":{"entity-type":"item","numeric-id":1135871,"id":"Q1135871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273196$CBE1F36F-E9D6-4111-A3CC-FF8B702D50D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c02e96b4b5768e70ba8b0289441b9ff66f6d8794","datavalue":{"value":"10.1006/JNTH.1998.2247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273196$8208FEF8-8BB6-46BF-B4C3-86BE03ED587C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f13195db6896f42b2e5982d60c761f36ef7b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3778801,"id":"Q3778801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2625a6eaf09b0f761dca727aee42d6f4455deeb4","datavalue":{"value":{"amount":"+0.9130545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$E4D0DFB4-1864-4EDB-AD5D-EED58EA3DE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388d533f60f5a25e1553ce021c45c2cdb182cf78","datavalue":{"value":{"entity-type":"item","numeric-id":2202823,"id":"Q2202823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9383b09974cc00a87a6773f670d75f830b859f","datavalue":{"value":{"amount":"+0.8932295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$B54C9DD4-A5FC-4B54-841E-1F212A1A9F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2837f206bf12ecdbbdc4232cfeb0a63a4cefcd77","datavalue":{"value":{"entity-type":"item","numeric-id":4878557,"id":"Q4878557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a864ecd7f4f4df354095c0eefc3e325cbd2d5","datavalue":{"value":{"amount":"+0.88922703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$8264F02E-D9EA-47F7-8BF9-3909AF577A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7382209a47b4d46422a702f2cbb4f033d5146a37","datavalue":{"value":{"entity-type":"item","numeric-id":4217879,"id":"Q4217879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b5157ff53897dd5565f9d56547418d8ccbcebe7","datavalue":{"value":{"amount":"+0.876636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$109E2B24-6AE6-47E6-8493-DED99BE83D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"719d9b884498caa8bddf4b7d6f6410b28364de07","datavalue":{"value":{"entity-type":"item","numeric-id":4474167,"id":"Q4474167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f2a7907b8c0d5584ae80ae65139510dfd7ad81","datavalue":{"value":{"amount":"+0.8743166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$8A60FD0B-6CCD-4087-B80D-276C889F870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31644ad4d31f2f92290844baa8229c22f9097ea","datavalue":{"value":{"entity-type":"item","numeric-id":1402367,"id":"Q1402367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166331be398302c400d67c98f35aca4791ad2998","datavalue":{"value":{"amount":"+0.8738277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$0BB11E80-4611-45A8-A46C-9B3A3109BD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed14bdc484ec8cf28d677579a590c1f7d2afc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3565338,"id":"Q3565338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77652779a0ba59a5588b53de1d7002c1d9626d6a","datavalue":{"value":{"amount":"+0.85680073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$CF28B917-4198-489E-A5D7-0BD3CB3C4E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854736479c153f7234f09b4645301cd82fc8e0c4","datavalue":{"value":{"entity-type":"item","numeric-id":3786518,"id":"Q3786518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"426930a0b7184b2d470c68a90bd97a3bdc314cd0","datavalue":{"value":{"amount":"+0.84852767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$A2EB6B31-D89D-47B5-B89D-858FB4ECCD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1f3ba037a7948c1c3593bdac090e5f0fd64d68","datavalue":{"value":{"entity-type":"item","numeric-id":1959045,"id":"Q1959045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0378edc3b27041d413ed4d4a4bbe09c4803167e8","datavalue":{"value":{"amount":"+0.8481203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$664A0A49-8DBB-4EB3-AD6B-95199EF6B11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d868ae216159f71aa7956e120870e01c2c1b83","datavalue":{"value":{"entity-type":"item","numeric-id":4293690,"id":"Q4293690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2566a66267541ac60dfd82a3ed80cee0d0a2e6","datavalue":{"value":{"amount":"+0.84692866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1273196$BE99BDD3-663F-4562-86A1-F434BAABA509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A probable prime test with high confidence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_probable_prime_test_with_high_confidence"}}}}}