{"entities":{"Q2225123":{"pageid":2235866,"ns":120,"title":"Item:Q2225123","lastrevid":57685821,"modified":"2026-03-31T22:04:01Z","type":"item","id":"Q2225123","labels":{"en":{"language":"en","value":"Automated and scalable verification of integer multipliers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306424"}},"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":"Q2225123$61701A43-FF56-41B2-9B53-19D2D1374D3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd03259c711baf49290e0fe433a6a69a3e3838c7","datavalue":{"value":{"text":"Automated and scalable verification of integer multipliers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225123$832499DB-B5BC-4C01-A848-3C06EB062776","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ed772501789aed491888cb94b7a95c32ccf17e","datavalue":{"value":"1478.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$54ECEF5A-F5D0-49E4-9BD2-80E2BC0EF74D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07413aebbe560360555f8789cf020e09518efbb0","datavalue":{"value":"10.1007/978-3-030-53288-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$8213AE95-E161-4031-BA92-7C834BE39DBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5f356969c7248d10d06a0399bd8346726603f73","datavalue":{"value":{"entity-type":"item","numeric-id":2225122,"id":"Q2225122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$3DFCC15D-7A8D-440C-B6A1-C881B9D0D7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$CF947E27-D415-43D7-97D4-50B98846C824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7111f8cdfcaa17d78bd49cd299bfdaa6f0991de7","datavalue":{"value":{"entity-type":"item","numeric-id":811117,"id":"Q811117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$DFA78DAC-2F87-4DD7-9DFD-203FA9A6B4D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225123$F316794D-F5F6-4BF6-B361-01DB60501F41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$F209C6CA-8B9A-4026-8443-47A802BB153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$02C55C68-F2E6-4C51-83EA-4EA4CD7E3274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e851079a87f00ee51e6c1189d163fb503f50b0c","datavalue":{"value":"7306424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$C4311341-48E0-4046-B06A-2B6A50B080CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e958b78f70e627c17042567660c541a06c4bb50","datavalue":{"value":"multipliers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225123$DD3F2633-F449-42F5-AE1A-9DE4283D6A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225123$B61683DE-CDA1-4D32-ADD3-0BAC0FC0799A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225123$32A5A883-9C20-429B-BFA6-772722590EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dd5926fa2c4f0ee181b086899e10f05b3e9148","datavalue":{"value":"ACL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225123$77A0B721-F970-41F7-A13B-333385FE9CAA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"de54ca6bc4d5c1b8115cf6accfb2c95b97613088","datavalue":{"value":{"entity-type":"item","numeric-id":53611,"id":"Q53611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$16FCF20C-F0B0-475D-AD03-63662CCF6774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea0afb0ba87078c9f82b7c8729a83ce5a5e50264","datavalue":{"value":{"entity-type":"item","numeric-id":53610,"id":"Q53610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$15051FFC-593D-4658-87D1-AF6782801B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$5BA130ED-A3AF-45CD-A017-F33248F8B194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$7EA82783-E802-43F6-AB33-8B4E1FBA8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28b388698f5e9449959e0c8a316bbad900add4ba","datavalue":{"value":{"entity-type":"item","numeric-id":43507,"id":"Q43507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$D204BF7A-B08D-49DC-8038-1A1B98A071EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"224b7a82122fc5fc33d5fb9a5bc19154da123830","datavalue":{"value":{"entity-type":"item","numeric-id":53712,"id":"Q53712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$7751282A-6452-4627-A2CA-C2842FC2DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47d5204a05990f25636eabcb17a864dd13afa9e1","datavalue":{"value":{"entity-type":"item","numeric-id":53609,"id":"Q53609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$10D75305-86BD-444D-BB65-AA90133EBC82","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":"Q2225123$37E4B1B6-C264-4CBC-A8B2-51A433C2C1FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfc1addeb6cb1ada8025e7e2049652b8a3646371","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53288-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225123$3FFECCCE-2597-4DD0-8F49-B77906872F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e3a5c85667a877173144bb7915db562563582c","datavalue":{"value":"W3043296681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225123$1B0FA305-23B0-4220-A53B-B3132FC97B16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c69eb1bcd80b47004c6fb86e8c5dcac0e86698","datavalue":{"value":{"entity-type":"item","numeric-id":1395674,"id":"Q1395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd382920d8c026bf07a8af704b8c342e5bcae79","datavalue":{"value":{"amount":"+0.8424572944641113","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":"Q2225123$3578EAB8-0B59-467F-B3F1-F4AB5ACFC21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce8899498be69add981628146ffdf73a2521bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5222992,"id":"Q5222992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a2bddab9406bcd4e5301bb1ea5e2002f20be39","datavalue":{"value":{"amount":"+0.7660537958145142","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":"Q2225123$4BADA791-9B7B-4947-A253-408A6B6DA50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21e97faba9d36587232d0e5e87e70b3c944a341","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002aed9ebd50191033057ff73fba3bdbe75a5f76","datavalue":{"value":{"amount":"+0.7629375457763672","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":"Q2225123$A7AFEB0C-7E72-4E15-A0C2-0A5894228883","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225123$B464215A-FF85-43DF-BD8B-8F8223D0D2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225123"}}}}}