{"entities":{"Q5130751":{"pageid":7160323,"ns":120,"title":"Item:Q5130751","lastrevid":53859098,"modified":"2026-01-25T20:22:41Z","type":"item","id":"Q5130751","labels":{"en":{"language":"en","value":"A Why3 proof of GMP algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268115"}},"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":"Q5130751$FA14A07A-6605-4D82-A8A8-20C547AE1F8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19fb90fb06b68d535311a0c9c569b24add361928","datavalue":{"value":"1451.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$ACC3B2A0-031A-4F49-BC32-5B1175613DF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"075558066d8466e014452f3e65237d2978788c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1630030,"id":"Q1630030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$EB33D5C6-5D1D-4A3E-9028-849C7B6A4F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d46f73cb0fc6587da6dfd2d47f409f34579d012","datavalue":{"value":{"time":"+2020-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5130751$90F4C70B-00BF-4421-9503-8BE6B7F348C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$2FA2E087-85D2-4C62-BE99-38284A86C4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$355526B0-B79B-4089-BA08-1C68D7DBE2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$1B679681-D790-49F8-83B1-822F93E9ACBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"940e94160fa1c02868ac2b03e55dd68139d105ed","datavalue":{"value":"7268115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$3F1567EA-2DCB-4EF4-8609-023D80CA5AD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130751$C2DA1164-D791-43E9-8115-DD498468AA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585a8714d20a2b211759d4731063ba9ab57c11ad","datavalue":{"value":"arbitrary-precision integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5130751$B1EE4AD0-3270-42E7-AB40-8151F4888DEC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$9E7B43F2-8262-4788-8700-D199F0FCB019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$7C051E8D-73A4-4F48-889E-5D120B947E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"707e3c264bb7563d3adc999748792915816caa7c","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$FB6F4596-8547-4AA2-8651-A4809D055E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$098C0586-A1B9-4CFD-B884-28F64701BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bd0d2004971db48e861ecec36573f0c8bd7609f","datavalue":{"value":{"entity-type":"item","numeric-id":52554,"id":"Q52554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$189D7E5C-8712-4826-B959-985FE3B478F1","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":"Q5130751$A67CB700-B201-47E0-BC61-8C67C60BDDC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc8d159e33e0b9cec2c132fd576f1962fb82116","datavalue":{"value":{"entity-type":"item","numeric-id":1868507,"id":"Q1868507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$D613EFA8-FCF4-42D9-89EF-8801F39097FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4b19d2db2efb76d8d43ea1e7cb2d17d4b26a4e","datavalue":{"value":{"entity-type":"item","numeric-id":5301645,"id":"Q5301645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$8D6B84AB-D0AA-4834-A393-DD4F11215627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5791757d6a8f1f47e64dc8fe7b53b7230387f4","datavalue":{"value":{"entity-type":"item","numeric-id":2989081,"id":"Q2989081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$17A7E3B4-8BFE-4BA0-8AEB-C70831DC84EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$95CB3287-7C45-465D-B2D1-906FED6FB705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2d917a98e9ba47f267e20d5dc5fbd3a2f2e909","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$0EDC23EB-B099-42D8-90BA-ADAC6FA72C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02759ce8c8ae852d43a0e7634ebdc12071131b","datavalue":{"value":{"entity-type":"item","numeric-id":518394,"id":"Q518394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$D0C4FB4C-2AFE-4A7D-99CE-516834FD915F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$FA9783D5-2F1A-405A-9E30-6474F28EB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$4B128C8B-D67B-4D73-B848-34FD09BB98DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$D6B6ECCA-BACA-4E3A-BBFA-D5D940DE764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52822815df6c4975e68f34a19b74fa3288467a97","datavalue":{"value":{"entity-type":"item","numeric-id":1799078,"id":"Q1799078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$9392CB56-B7AA-4F2C-BD80-E56FFE7BE8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac024b3461829bce8ad39d4debd13342685e6a48","datavalue":{"value":{"entity-type":"item","numeric-id":5280622,"id":"Q5280622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$7206245E-6194-47AB-9D99-86F8FA412764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0792b559eca443f0f969bad25e2a63f4677116","datavalue":{"value":{"entity-type":"item","numeric-id":1630031,"id":"Q1630031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$51E9EAD3-0E59-461A-AD9E-A1EE9B9B53F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$5F1B9314-D5E9-49CD-9DBE-F16B9F17DCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375d148a7fc50247a9a95f617e87a98f33fb6710","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5130751$F16158DF-A21B-451F-B71A-6D9AF918CE06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771331f26d0674bb13549b07af69e5be1578ec8f","datavalue":{"value":"10.6092/ISSN.1972-5787/9730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5130751$0961BCEA-B392-49EA-8041-90C314FC1778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f7edfbc97a4b2346ef86ace2941499238ff944","datavalue":{"value":{"entity-type":"item","numeric-id":1630031,"id":"Q1630031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337c9601ff6f61af12014c8af638342f5ed46cca","datavalue":{"value":{"amount":"+0.791946291923523","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":"Q5130751$551B9484-3730-47B9-B59D-5C56733978A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354259b40bbf0c06b8cf1c3cdc6207226e1fd38d","datavalue":{"value":{"entity-type":"item","numeric-id":1799078,"id":"Q1799078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e3fecf11a71ba7d0deb7c0ad6f8bdbd919c4b6","datavalue":{"value":{"amount":"+0.784069299697876","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":"Q5130751$8EAC75EB-A722-4907-9F3F-6551064C3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c15a23134ac96d266f86e086447fa856f4381","datavalue":{"value":{"entity-type":"item","numeric-id":1868507,"id":"Q1868507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa1c430b61d270a0151e124362e93e5a16f10d7","datavalue":{"value":{"amount":"+0.7670681476593018","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":"Q5130751$2BC53BE2-65C6-449F-9E66-909448B07551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff205fa1d1ed80ffbab66f1d457805ea78209a6","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607bd13178ce34c2ecc7e624f9e572a462c01094","datavalue":{"value":{"amount":"+0.7372997999191284","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":"Q5130751$41596F85-C70B-4C8B-92BB-27719FB62931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"577e1dea67a45a2fb8cf6aa1a5f560183721e98d","datavalue":{"value":{"entity-type":"item","numeric-id":1870226,"id":"Q1870226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf378e9cac264ea00b1c216374b72550c9ff3968","datavalue":{"value":{"amount":"+0.7300791144371033","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":"Q5130751$BFA4CEE0-0A32-48CD-ADBE-0CD04F63752D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5130751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5130751"}}}}}