{"entities":{"Q6481818":{"pageid":13977958,"ns":120,"title":"Item:Q6481818","lastrevid":104436955,"modified":"2026-07-10T19:40:01Z","type":"item","id":"Q6481818","labels":{"en":{"language":"en","value":"Proth's theorem"}},"descriptions":{"en":{"language":"en","value":"primality test for Proth numbers"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"432c647cb1c7a9b75e87ce875848fe2c5a680821","datavalue":{"value":"/m/08_n3k","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481818$23675D1F-5C8F-4836-830A-B7EFEFA8DE39","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"963dad0202c982c7d7fb2ae5c66b40cb2d178640","datavalue":{"value":{"entity-type":"item","numeric-id":6481814,"id":"Q6481814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481818$A97277C7-0076-4538-B172-D844F4B2930D","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481818$26E7BFFE-E8B3-4D92-930E-3DC8F1B91184","rank":"normal"}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"175c3aad4ea511de4da55b346a03e664e7031ffd","datavalue":{"value":{"entity-type":"item","numeric-id":6481815,"id":"Q6481815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481818$38A615EF-0632-4AB6-8C5C-4961669798E4","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"eebb5d62e41af7a1d2563012dd0ac238b5581725","datavalue":{"value":"ProthsTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481818$E6432C3B-2AA0-43DB-A38C-B11F6C98D64D","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"eebb5d62e41af7a1d2563012dd0ac238b5581725","datavalue":{"value":"ProthsTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"c27068060345b373928457dfce13ea834ca04c3c","datavalue":{"value":"Proth's Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481818$A7F9120C-7CA1-4655-97F0-9F4DE8FAAE3E","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c54e9e14a7ac6aa126f9d02a2c8ee8429c07fc8","datavalue":{"value":{"time":"+1878-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6481818$0B679A87-AD53-402E-A021-304A7987F044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6275ae98c00d8c44e3a9a0c4cf5cb16556a903ed","datavalue":{"value":{"entity-type":"item","numeric-id":6481815,"id":"Q6481815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481818$B1614CF6-CCE9-48C5-BB63-9F024B10CEF1","rank":"normal"}],"P264":[{"mainsnak":{"snaktype":"value","property":"P264","hash":"329511a86f93e058962739b39e2fc84e06c41993","datavalue":{"value":{"entity-type":"item","numeric-id":56950,"id":"Q56950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P483":[{"snaktype":"value","property":"P483","hash":"5741e7db8da6de77fef4eb16d02f497229097d76","datavalue":{"value":{"entity-type":"item","numeric-id":56475,"id":"Q56475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P164":[{"snaktype":"value","property":"P164","hash":"dceb748676589f3bdceea4d6234b0902d7351c1f","datavalue":{"value":{"entity-type":"item","numeric-id":6480807,"id":"Q6480807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P483","P164"],"id":"Q6481818$F28212CA-8CED-419B-9431-4462A9D0281C","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"9824c3ff6c03e2a2636aa8f7f3cde0d8f45a00be","datavalue":{"value":"2777453196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481818$0BC9175C-CFC1-4303-B0D4-3BF5F5E40CDD","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"e8a568f928340e2a920fc6224b7a30b34a8b0d82","datavalue":{"value":"(\\forall p\\in\\mathbb{Z}^+)(\\exists a,k,n)p=k\\cdot 2^n+1\\land k\\nmid 2\\land k<2^n\\land a^{k2^{n-1}}\\equiv -1\\pmod{p}\\Rightarrow p\\text{ is prime}","type":"string"},"datatype":"math"},"type":"statement","id":"Q6481818$18CADEF9-279C-4A9B-8C8A-478CBCD6B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P989","hash":"3a48216d4e31ef60cb471d37f9bc6548957a8615","datavalue":{"value":"(\\exists a)a^{\\frac{p-1}{2}}\\equiv -1\\pmod{p}\\Rightarrow p\\text{ is prime}","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"cba5f39f3c1f40f003b63d01a68e263efa5137ed","datavalue":{"value":{"entity-type":"item","numeric-id":6481816,"id":"Q6481816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P580"],"id":"Q6481818$A0134ECF-4C8A-45E7-8493-795F0619F2D3","rank":"preferred"}],"P983":[{"mainsnak":{"snaktype":"value","property":"P983","hash":"b46557b832b15f92d2e60bc1be439235d98552ec","datavalue":{"value":"p","type":"string"},"datatype":"math"},"type":"statement","qualifiers":{"P984":[{"snaktype":"value","property":"P984","hash":"71390336c964e6269f0522a3fb1ea6637be967b5","datavalue":{"value":{"entity-type":"item","numeric-id":6481817,"id":"Q6481817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P984"],"id":"Q6481818$EBFEFAE8-5D66-4DD4-9EB9-56308849D036","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6481818$0D586D4E-6405-4663-B147-6237AB37F73C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dac7aefcd8d6af4b8e27cc1a88db727d5bb4f23d","datavalue":{"value":"Q3771212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481818$9C316EFF-5C08-4AF6-BF46-991ABD84E89C","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"22d9c7856d6f475da2801154ed8a1b3d5c565879","datavalue":{"value":"proth theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481818$2998CB99-5CB8-48B1-93A8-DF062998B297","rank":"normal"}]},"sitelinks":{}}}}