{"entities":{"Q2673999":{"pageid":2684742,"ns":120,"title":"Item:Q2673999","lastrevid":55423303,"modified":"2026-02-17T16:06:21Z","type":"item","id":"Q2673999","labels":{"en":{"language":"en","value":"WhyMP, a formally verified arbitrary-precision integer library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589741"}},"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":"Q2673999$6F0F7164-97E1-4817-B6EA-7B2AAF7BBAFD","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":"Q2673999$8E737154-EA91-4BFD-BBE7-2C94EE477CBA","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":"Q2673999$805F10B5-97D5-40B4-8A7C-9ABE09CA9C97","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":"Q2673999$87E87680-B252-4FA9-991C-D5ADD67B7614","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673999$EE9EFCE3-FF63-45A7-A736-8013ECC5E5CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-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":"Q2673999$D066F173-C1F1-4C8F-AADE-41BACEE3F715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$EA1391C9-D706-4341-818A-FB3C3BA42317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$56AAE7B5-095C-4CFE-BF2F-57B9FD053CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$7D976036-F9ED-4AD7-90F9-85B0AFD796EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede73eefe146ed553f93918d7c547526ed1b9d9c","datavalue":{"value":"7589741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$486827DF-8189-472C-9FEF-7493B9AC155D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673999$E025E400-CFEF-42AD-9E79-BFEAA3270632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757d965346c06c3204f84840816c70899ad83131","datavalue":{"value":"deductive program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673999$7C57EF45-D455-4430-B94D-EA98BF6138BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4538e82c94425b32ad214e945307f2c9f60a2b83","datavalue":{"value":"mathematical library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673999$483C3231-04A1-42A1-B89C-3C1709DCFD6A","rank":"normal"}],"P1463":[{"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":"Q2673999$6C582F1A-0E39-4A84-A205-BCB51D789A4E","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":"Q2673999$E689EB35-2FD6-431A-AB35-AF0F1390F78F","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":"Q2673999$82FB2904-F0BB-4049-98EA-B1637901C435","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":"Q2673999$84A3D0AB-487D-4963-9D5D-98A708AC7E6C","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":"Q2673999$F039857C-3E79-4DB7-9ED7-833B41005A86","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":"Q2673999$9D852BA5-ECB8-44C2-97BB-8E4512EECF64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ce23dd4b0f1b267a39d7105d1765695fa128ce7","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2022.07.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2673999$B9D880A8-A61E-4D0B-BC50-4F96A6F26737","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4f9b3ac7753329b8aecdd2c729793970c29b07c","datavalue":{"value":"W4289779274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$FE51377A-D26D-47FA-9F73-858212F4FD16","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":"Q2673999$DAC0364E-3A0E-4182-8AA7-F155DA94764A","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":"Q2673999$D79519AD-C658-42D0-B8F7-804E604507DB","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":"Q2673999$48302D6D-4F77-47BB-854A-52C1F94F0B61","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":"Q2673999$8CB79C79-7207-4077-AE33-52559B77B1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673999$89364C17-15D2-485F-B366-755D64177F2C","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":"Q2673999$88FAA5A3-9924-4F2C-B302-1E9DB5559B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04df49fdf216329287e9c42998e675322fa207b8","datavalue":{"value":{"entity-type":"item","numeric-id":5145995,"id":"Q5145995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673999$EC0AB3A5-3CF3-4A42-891C-8F19947099CF","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":"Q2673999$1D73087A-01AE-4642-AB87-90F81B3E446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07005886cc55f14e021c1d625dbf34ec7f9d0660","datavalue":{"value":{"entity-type":"item","numeric-id":5130751,"id":"Q5130751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673999$9BCE4ACF-82C5-490C-A6CE-BD344A44174E","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":"Q2673999$32F85718-63E4-4017-9948-49B8FC183943","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":"Q2673999$A2DEA41B-ED61-48DD-9B34-A1A801C29FCD","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":"Q2673999$D58AAE6E-774F-49DA-AE77-853AD0FF6AE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0ac68d05a6349bfb50202504c3fd1e3c97dacdb","datavalue":{"value":"10.1016/J.JSC.2022.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673999$367D9DC9-5B75-4766-973C-AF810A5216F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bb29bc99ec5d2489fe7ea74ee098ec3c7d6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5145995,"id":"Q5145995"},"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":"Q2673999$3978E3B7-1CF8-4BDE-A520-036959B2E073","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":"c1c74cc6f80c6796ef3782d4d9a34738ee36168f","datavalue":{"value":{"amount":"+0.8932318091392517","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":"Q2673999$B228FA28-7F31-4376-B780-135CA1435B16","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":"a0a75099f4cde081b65fec8a01756494856ef8da","datavalue":{"value":{"amount":"+0.8911961317062378","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":"Q2673999$F31FD448-085A-41E3-9DB7-6189EF5F2430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d871af15f6eae0ef91e6fab0923747a6008178a4","datavalue":{"value":{"amount":"+0.7361270785331726","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":"Q2673999$909E9029-5ABB-42AF-9381-D64FAE780941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cbd2a7b2948c445ba73b2a5bba38cefdbe8da2e","datavalue":{"value":{"entity-type":"item","numeric-id":3613425,"id":"Q3613425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7a8faee15f09acc16a85d5d191d2b51ff086ff","datavalue":{"value":{"amount":"+0.7285407185554504","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":"Q2673999$0AA719D5-75C7-43DB-BB83-6B78984E501A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2673999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2673999"}}}}}