{"entities":{"Q5145995":{"pageid":7175566,"ns":120,"title":"Item:Q5145995","lastrevid":55375876,"modified":"2026-02-17T15:00:38Z","type":"item","id":"Q5145995","labels":{"en":{"language":"en","value":"WhyMP, a formally verified arbitrary-precision integer library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300091"}},"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":"Q5145995$1A996B89-8DF8-4F9C-A3F5-4770B7C022E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20ae4fd6ad6307bcf3d08494d2a4bc56622eb1de","datavalue":{"value":{"text":"WhyMP, a formally verified arbitrary-precision integer library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145995$6F6CFACB-2FD8-4F62-B29A-2A3FEB50B7F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a50bfc968e9eaa36a2745327e26d9a9abdf2283","datavalue":{"value":"10.1145/3373207.3404029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145995$741D6842-E258-4EAD-9EA7-21348BE67F7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145995$68ABD337-2491-4D36-8154-694CF3A566EE","rank":"normal"},{"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":"Q5145995$952E8796-C6BF-4EF0-9DCA-EC51A8F3DB09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c2fd61b631b217ce1b421e47f06970ac5b6a883","datavalue":{"value":{"entity-type":"item","numeric-id":5145943,"id":"Q5145943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145995$A78E92EA-BCA7-457D-A5C9-45CF43691EB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53f0ceda72590e448029088434c5467f2bd48af","datavalue":{"value":{"time":"+2021-01-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":"Q5145995$ECF53566-A6E8-4160-A359-4C619BDD163F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5b18c048871d5e429843b584c0e6d53d9a6f70f","datavalue":{"value":"https://hal.inria.fr/hal-02566654v2/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145995$BD68B40C-27CB-4050-95D4-590523E7AC7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145995$EF21CDFC-D2E0-4CBD-BB01-AA4FD1BEB7F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae83ca5ac5e6d55c2aafa800ce7364853310ecd","datavalue":{"value":"7300091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145995$54BCC720-CD6D-4C4A-9955-1EA9A0A4629C","rank":"normal"}],"P1463":[{"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":"Q5145995$E7F953F5-B28A-4E3A-832C-68DF3FD90214","rank":"normal"},{"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":"Q5145995$CBC0AB74-8937-4476-ACA4-60951AA84504","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":"Q5145995$20EC2DFE-1709-4370-9CE5-DB47A91DE7A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a193827e8512ea9e9bb44c5fcde2d204d88c544","datavalue":{"value":"W3025960451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145995$CF5513F7-4CE2-42E0-9874-A0093F0E3995","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c3585e49d68883f775425fa1f238e0000d0bd7a","datavalue":{"value":"Q131130513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145995$5FA48DAF-32AD-450F-AF8F-75E4315AB290","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0224b037bd18115a3e096f0b2e7aa0eac83350","datavalue":{"value":{"entity-type":"item","numeric-id":2673999,"id":"Q2673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68952b6356c49791a698d3cc0d8b44da8e67ad1c","datavalue":{"value":{"amount":"+0.9855903387069702","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":"Q5145995$05AC22D8-F21B-4411-A042-9BB0C76482C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cfa683e4e84d4df63e52e97fea2c13bca6a792","datavalue":{"value":{"entity-type":"item","numeric-id":5130751,"id":"Q5130751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d651b575aeb617a853135d59acac8fb2babbbeb","datavalue":{"value":{"amount":"+0.9004473686218262","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":"Q5145995$126D52A4-49D1-44B1-B703-D4A5E2C2E0EA","rank":"normal"},{"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":"83799867f0c9bb4ee2ddd976368a25947c718e36","datavalue":{"value":{"amount":"+0.8685758709907532","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":"Q5145995$F6797853-2C3B-47FD-9AA8-77F396A31049","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":"467c46ff66779ba1ecf8ef60ee35c28614ba0de8","datavalue":{"value":{"amount":"+0.746676504611969","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":"Q5145995$AB05E3B0-43B8-4B79-BCA5-5AB0E3DB747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ed7ae54210088547f50aa25fcf3f04d43110c8","datavalue":{"value":{"entity-type":"item","numeric-id":1630029,"id":"Q1630029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4090a43b974dc9ce6109f76077962f63b2ef721","datavalue":{"value":{"amount":"+0.7218833565711975","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":"Q5145995$864C213B-9D2F-41B6-8A25-EA8456C6690D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145995"}}}}}