{"entities":{"Q2642982":{"pageid":2653725,"ns":120,"title":"Item:Q2642982","lastrevid":79111700,"modified":"2026-05-06T13:10:17Z","type":"item","id":"Q2642982","labels":{"en":{"language":"en","value":"Proof producing synthesis of arithmetic and cryptographic hardware"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187830"}},"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":"Q2642982$C2123014-1296-4D29-988C-F8311820EB8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e56d321e66d6f08b1f2acbda691e075f13c07ec","datavalue":{"value":{"text":"Proof producing synthesis of arithmetic and cryptographic hardware","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642982$238D559D-9AF8-4F6D-879A-A6F6116920A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"686b7800a8a1990fdbfe36ae98605983b20f8f2a","datavalue":{"value":"1125.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$9CA50AEB-564C-4D76-81C7-CF33FEE259D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$446B88C0-C364-433A-A93C-E9D7F53F11CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57155b56d8fbcd7c5881cc6580886a49385bb630","datavalue":{"value":{"entity-type":"item","numeric-id":287360,"id":"Q287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$1BB013C0-A2F0-48E1-8963-3F2964FF3E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"078373d5fbe970271df4076294baa0f65f4740a7","datavalue":{"value":{"entity-type":"item","numeric-id":766177,"id":"Q766177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$F909844B-015C-49E8-B0D3-8D0C8ABD5455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae59b8d5f9d02ef4cf33abf637ff500edd878cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1566865,"id":"Q1566865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$21A4857F-8E49-4950-BC50-31AEA95765AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$DE76B9AE-155F-4AAB-8E58-9AC6D8B415EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642982$B1634332-86A0-41F4-BB84-EBCF7C500547","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$E3D3A9F7-70A5-40EB-BA18-52CD47C716A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$E2588EB2-5C8C-4827-9B33-7351B15E8112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$3480DA09-EC56-4023-BA29-ED67F4AAC8AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d2f99c5847da180c71650608fb8b2c4c9c48b4e","datavalue":{"value":"5187830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$390DDD13-385B-4DBA-AB09-E22BD457AF92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642982$132BB346-9752-4508-95F5-1167711F6A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b8383d25c228805cecdd56d98271af936c245d","datavalue":{"value":"Compiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642982$BDCA27C9-80AE-423E-A3B1-BC4D69505471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e14b8b8db9a6dea3b82d7c408b50bef48ad6d0de","datavalue":{"value":"Hardware synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642982$2428E9B0-B483-4B9D-AD95-AE590F9B477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc63dc027acbcc3cf7191352f56e5e8716a19f0","datavalue":{"value":"Cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642982$D5624BC4-112B-4D8C-BECB-FB5BEEE1E572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6207826288ee94ba1d7bec1ec6295b544132b707","datavalue":{"value":"High assurance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642982$A30489A5-5ADC-40C2-87C9-52E480DDC1D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd8badfdf41bec1f0a1b6ae06da02cf4aecc2dca","datavalue":{"value":{"entity-type":"item","numeric-id":52224,"id":"Q52224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$387890C1-63FC-418E-B7C5-E84C73D5DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$3983F5BC-705B-489E-B927-460D561A683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab78c386ed6c81792f96e275843babc4b24bbce","datavalue":{"value":{"entity-type":"item","numeric-id":40359,"id":"Q40359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$7ABB37CE-6AA5-477E-8340-620F529EB601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb6c2d18287764041ae60ee5f8b5af9b2b2245a7","datavalue":{"value":{"entity-type":"item","numeric-id":40357,"id":"Q40357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$8CDFBD90-DE1C-467A-B5D3-1C97BB9EBDBB","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":"Q2642982$E5F0B680-1EB8-479E-B609-99F9B0EB85EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b5866e56062d2af55c250fc2a45573cc4ccadd1","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0028-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642982$9F544AB9-02EB-44A6-AB82-29B99D15C85F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87426779301457962ee401a577e71a539d006feb","datavalue":{"value":"W1989107966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$290673E1-5078-4FF8-A316-FE3023F3A0B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a2cbab9ba18cf1dba137f9f87788f5c2bcd8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5945700,"id":"Q5945700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$89635554-35AF-4F65-A7F8-47F08DE1D92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9280410aa35c1504f015e66a4df56a376ce600","datavalue":{"value":{"entity-type":"item","numeric-id":5387863,"id":"Q5387863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$AB328970-50EB-4566-BEE8-B883CB83D77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7e3de00151adc32dbd4dd2d7bb205f88057b33","datavalue":{"value":{"entity-type":"item","numeric-id":3999866,"id":"Q3999866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$3F2B068A-97F2-4E3F-95AB-15A7A8B417EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74789688ac51b7ade23d361083007c0a41b1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5966707,"id":"Q5966707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$12BD876E-DF49-4C8A-B607-0E2AE365B23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$3EAB9158-9875-42FD-B616-15FEF0529107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a01883223d871962fc4212da8007cec3702b73","datavalue":{"value":{"entity-type":"item","numeric-id":2723408,"id":"Q2723408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$9076773A-1A45-441C-8CEB-A7C0751B730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f135e564bafeafcdf40038a504d1f7c4c90315b","datavalue":{"value":{"entity-type":"item","numeric-id":4321781,"id":"Q4321781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$90D01A12-D870-4503-829E-78141E781902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"190d82f2daa3951712e70a97b39c94d62c337d67","datavalue":{"value":{"entity-type":"item","numeric-id":4484891,"id":"Q4484891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642982$1FD3DE07-BD0F-4A32-A248-AF53354C2BEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e44aa9ab45d6dd2ec899872fa600143f86b6b68d","datavalue":{"value":"10.1007/S00165-007-0028-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642982$3C448DCB-417F-4B0D-A415-FB86D61B8545","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4625440697f2ee72d406a46d1e48df0580662","datavalue":{"value":{"entity-type":"item","numeric-id":2914729,"id":"Q2914729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a058c47efcf6ee80947e749ce0b5528c8e1acea","datavalue":{"value":{"amount":"+0.8754697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$3D3F6674-6304-4199-9E00-C23856B2E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ab18e3bcd9216b059d73b7516b6de44b923c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3100216,"id":"Q3100216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7c36949ef3d9d43f6995d5018b1820d20f5352","datavalue":{"value":{"amount":"+0.8603752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$94E5D171-4E48-4866-BD45-ECB5788A4E37","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":"6c0b9c1492aa45d1d21ab0c9adbe4cce0d3491c8","datavalue":{"value":{"amount":"+0.8579706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$2C57EEBA-D7C8-42DF-8158-A3D2D20A7F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860a4833645dc98826060f1f09d7ae513ab9e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5207576,"id":"Q5207576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6165a7c014a491df504328de2e8b2e805f6ae831","datavalue":{"value":{"amount":"+0.8524085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$DE7FF055-1263-4B44-915D-10B7FFBFB2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562a8c0fc01f87e021d0dfb54c25ae2f4cfde845","datavalue":{"value":{"entity-type":"item","numeric-id":3390006,"id":"Q3390006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c6de60f3aef5428aa70e8d80a72e463ce1a0ac","datavalue":{"value":{"amount":"+0.84827304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$414F574E-5F35-4D40-9150-87FD06666DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b303b28ec4faf23ebad1ba5a940257f031afe7c","datavalue":{"value":{"entity-type":"item","numeric-id":831949,"id":"Q831949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad63080b956a3fe60e7bc002b2b428c714fb69c3","datavalue":{"value":{"amount":"+0.8482675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$83485D14-CA40-4B57-821A-F7659297F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d9e71426cf434c375ccc2ccd842157c240e198","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e947b6fc7b858cf1c98aa9edd359df2b522d7b0","datavalue":{"value":{"amount":"+0.84816504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$4A4EA09E-E6C2-446A-A8FA-EEBA5770B0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9314d357e65ffc1b590d89f904c0bd801fa1213","datavalue":{"value":{"entity-type":"item","numeric-id":1747657,"id":"Q1747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba0ba88d464b78593f659d17cb4379db3ab815b","datavalue":{"value":{"amount":"+0.8470508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642982$8F00CEF8-93FB-46E9-BD41-D19ECC9C0069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof producing synthesis of arithmetic and cryptographic hardware","badges":[]}}}}}