{"entities":{"Q53739":{"pageid":53795,"ns":120,"title":"Item:Q53739","lastrevid":105429350,"modified":"2026-10-09T10:11:49Z","type":"item","id":"Q53739","labels":{"en":{"language":"en","value":"Pratt_Certificate"}},"descriptions":{"en":{"language":"en","value":"AFP entry Pratt_Certificate"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"885d630c63fd2d0bbf78be351728e8ccc83ff5d6","datavalue":{"value":"38039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53739$E34D2E57-B017-4E50-832B-A7AD0E228A9E","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":"Q53739$DB35463A-1FD5-4D50-AEF1-D215B3617EFA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"145aeb76a1fc6526bbbcc35b1059dc68ba9edf8c","datavalue":{"value":"https://www.isa-afp.org/entries/Pratt_Certificate.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53739$379D6EE5-2C73-4ADF-AE39-BB8762F2CCE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53739$A613C5D8-ACB3-4C6F-A611-AFA9EBF54937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53739$91CB8615-294B-46E1-AEE2-F2EC577B6120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53739$DCB20687-8BAE-488A-BFFB-9F9908B6D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53739$BE31F86C-CBCB-4873-8F6E-D3E9C25A0F3A","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":"Q53739$FE9BEAFE-583A-4749-BA66-E7D9262C55D5","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":"Q53739$56E5E412-B400-4FAC-929B-9AA8B20CED65","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":"Q53739$943A27B7-2894-4970-992E-47DB3986FC2F","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":"Q53739$B6F4D06A-C692-43A8-A1A5-F014F6816A12","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":"Q53739$C9D4D558-B1E5-4E9F-9EAA-76D38D9EE2F3","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":"Q53739$E2A1C5E4-7ABF-4306-A15E-3F6249E9FFD2","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":"Q53739$B5EB4BDD-80DA-4426-B51B-BEEDFD742FE2","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":"Q53739$B8E869BB-D06B-463E-9742-CBDF9BDD00B9","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":"Q53739$7D1E924E-5D0B-4CDC-B5CD-61EEDF6C82D8","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":"Q53739$75BCEC26-37F7-4659-87F4-9BB8D5AE016C","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":"Q53739$AAAE313E-EB8F-4229-8ADB-B0C5E011FD03","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":"Q53739$A22872AC-50FD-4914-A50A-FCBDB38C4941","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":"Q53739$3C980997-B7CB-41BC-B8FC-AF509D504A9B","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":"Q53739$42EF8B64-0613-4C83-B678-8AC3BC469009","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":"Q53739$DF6D76A2-9A3D-4880-8C64-1E80D6D05245","rank":"normal"}],"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":"Q53739$53367D67-3571-4A16-8C6F-6F31E12CB6C6","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q53739$5453E631-DE3C-43A3-BBA5-07C6ED461067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4b9c377da6ea8f099d820dce8871088d2eadbf73","datavalue":{"value":"Lars Noschinski","type":"string"},"datatype":"string"},"type":"statement","id":"Q53739$05CC4AF9-C3DD-4A92-AE74-BA1CB0509102","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":"Q53739$11D7D733-1D5C-4F8F-B865-E1F185724150","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":"Q53739$60100C67-E7AF-4202-B216-92DB8FE185C9","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":"Q53739$481B1CBC-AA04-4B5D-A8CD-2F24C682A37E","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":"Q53739$AA0F4F95-750C-41C5-8FBF-419716B71766","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":"Q53739$485C22A7-1FBF-49CA-AA21-0235BB3B742D","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":"Q53739$DE59E200-853E-4553-9A32-E6EA3BCA78CD","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":"Q53739$1C5A7454-B852-46FE-A0B2-DF62516789B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pratt Certificate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pratt_Certificate"}}}}}