{"entities":{"Q7361797":{"pageid":31520930,"ns":120,"title":"Item:Q7361797","lastrevid":105423863,"modified":"2026-10-08T13:45:47Z","type":"item","id":"Q7361797","labels":{"en":{"language":"en","value":"Pratt's Primality Certificates"}},"descriptions":{"en":{"language":"en","value":"AFP entry Pratt_Certificate"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6564eb8b64e0c2886e4e4f9911594c0dc1b5024c","datavalue":{"value":"https://isa-afp.org/entries/Pratt_Certificate.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361797$A1ADEC94-416A-4321-B48B-6F1CA0AFC1E3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361797$7BB61267-3EEA-41EC-83A6-D30C77E9A5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4b9c377da6ea8f099d820dce8871088d2eadbf73","datavalue":{"value":"Lars Noschinski","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361797$8582FEDC-544C-475A-A608-96085BE03650","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8ea08589e1bb392e6da85318f3e3cf6d70a7455","datavalue":{"value":"In 1975, Pratt introduced a proof system for certifying primes. He showed that a number p is prime iff a primality certificate for p exists. By showing a logarithmic upper bound on the length of the certificates in size of the prime number, he concluded that the decision problem for prime numbers is in NP. This work formalizes soundness and completeness of Pratt's proof system as well as an upper bound for the size of the certificate.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361797$E1A3CF0B-0A60-4454-9A27-1FD12031984B","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":"Q7361797$52342FDC-8075-4C79-A40C-4FA5A9C07C5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceb8b878dabe6f76abe258c660f5e70034d19f62","datavalue":{"value":{"text":"Pratt's Primality Certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361797$B198C922-2185-4905-8852-F51E23A43A71","rank":"normal"}],"P223":[{"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":"Q7361797$E5B59009-DB8A-49D2-91DF-5696CA3730D6","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":"Q7361797$E4CCFD3F-BFF7-4D56-AEA5-059EDA341B47","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"45e63c6c75586f14b75826d38b456ec6e478cb8b","datavalue":{"value":{"entity-type":"item","numeric-id":7361896,"id":"Q7361896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$DCC416C1-F951-4B8C-A8AD-A5DA2A70B9EC","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":"Q7361797$8FB06313-CAC5-42B8-9E0B-3930613264C1","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":"Q7361797$F1745897-871B-40C3-9A2A-4753AE2E7551","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"885d630c63fd2d0bbf78be351728e8ccc83ff5d6","datavalue":{"value":"38039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361797$42F34A83-0C8D-4EE1-B9D9-EDB18C5256E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361797$0C3CCD53-E76C-45B5-99C4-96AA2D658B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361797$59048FDA-4ED0-4991-A5E5-42D47E4E3A51","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$29A749C0-8958-4D00-B0AB-A52EACBAF8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eba8b47e1a803cab7d21f0226e3c8085963466de","datavalue":{"value":{"entity-type":"item","numeric-id":5975135,"id":"Q5975135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$C9494FCC-0C01-4514-BEF0-29542500734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea5413756061bf33eb1bd266ba2a93f8c7b394c6","datavalue":{"value":{"entity-type":"item","numeric-id":5973088,"id":"Q5973088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$FAA8AB43-BA76-44B7-AC13-1EEA2A15771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$570ADD6B-B74C-48F9-B2C7-03B127C3455D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$77AA28DC-A10A-4BB7-B967-3E22B703FCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$9AED5752-9386-4E29-BB9E-B8B6679B0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$D1C58552-BD19-4246-9516-ACDEF6C28C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b914a45373f0c19fc30345c2d7f6de4803f7357","datavalue":{"value":{"entity-type":"item","numeric-id":53738,"id":"Q53738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$D9F6081C-1DD6-473E-9CC4-44F03EFACC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3eef3bb546664bd0985bfee8bd40de843753fcc","datavalue":{"value":{"entity-type":"item","numeric-id":53737,"id":"Q53737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$A53F9F6E-2724-4440-B8AD-C2CA040C9EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62f40bdff5c85c5ed18529fd2f9a206dbfc7f83c","datavalue":{"value":{"entity-type":"item","numeric-id":53736,"id":"Q53736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$C7A79CDD-4FAB-4A1B-9880-3BBCE7A293C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2133597b837845e61c323ae305a388d5f339ca99","datavalue":{"value":{"entity-type":"item","numeric-id":53735,"id":"Q53735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$5B37187F-08EE-4033-A588-AA789F6EA464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4d03dccf41d6936220149f560cf560feffe3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":53734,"id":"Q53734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$86E13569-CDC7-46CA-887C-69A203551C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70586ce6174aaf063b8e8f11dc86b67bc47ce2a9","datavalue":{"value":{"entity-type":"item","numeric-id":53733,"id":"Q53733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$9F34D243-2B75-4673-A4A5-2B9D7150FD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"26cf304c82644619ac1990e4b12791d78342709c","datavalue":{"value":{"entity-type":"item","numeric-id":53732,"id":"Q53732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$45B23774-855F-48CE-A599-A133A687CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361797$13EF0AE8-7489-459A-A3E2-64CF0E07C2CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pratt's Primality Certificates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pratt%27s_Primality_Certificates"}}}}}