{"entities":{"Q5157446":{"pageid":7187017,"ns":120,"title":"Item:Q5157446","lastrevid":36722755,"modified":"2024-07-26T18:57:30Z","type":"item","id":"Q5157446","labels":{"en":{"language":"en","value":"GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410746"}},"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":"Q5157446$6D11ABDC-990C-4BA3-8FF4-FE6DEECB28E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f75b600b10cefe16181919659c7d9c1b04b5d9a","datavalue":{"value":{"text":"GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5157446$5710BD58-2A87-405C-B506-D6E7547CD151","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95bd29aa4cd36ed9ce83d9d7b49785d5cd201816","datavalue":{"value":"10.1007/978-3-030-68071-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$2143273A-A08D-48DC-B606-10BEC662D3D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3391731732b6388ed1679d309e4ba8bfd59ce78","datavalue":{"value":{"entity-type":"item","numeric-id":5157445,"id":"Q5157445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$CB28D040-A33B-4C73-B9B8-51EC254197C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"685c2e3452dcd4654b92659b8c62cc5912d37f27","datavalue":{"value":{"entity-type":"item","numeric-id":1683466,"id":"Q1683466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$7F2765F8-301A-4F5D-90EA-B280CE7F21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$A66EDC86-6280-4B21-9EDE-1740E673D12C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"03f0ace92a64f6b87282f126201051cb55548110","datavalue":{"value":{"entity-type":"item","numeric-id":5157435,"id":"Q5157435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$5560A31E-6D84-4E07-B502-2DA3EF60605E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5157446$2DB48A27-072F-49EB-82B0-DD14FE63EC0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$132EA40C-170C-486D-B29C-038DF0128BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$B9EE73DE-04C9-4307-8923-FC860D8A7E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$4812A7B6-929A-450F-9EB2-2A183CD6A77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1380158b6ec5c7ecb1527dc637e0a28142753e70","datavalue":{"value":"7410746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$8F12CD3C-BF00-4B74-9758-69F23D8CC8BF","rank":"normal"}],"P1463":[{"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":"Q5157446$94E1EADE-BC03-4B9D-BB01-47BB06F219A1","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":"Q5157446$734FB973-FAAC-403A-8B40-A41856CA497C","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":"Q5157446$66B95DBB-45A9-4788-9C05-D2F27434AC8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"780769ad14a8548cb98cd693a91ff971329c5cb8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68071-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5157446$3C41CC2A-188E-4F98-B2CC-9165E7E3334E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0471ba1fc9244ce1a364f717f35a779d05e0f31e","datavalue":{"value":"W3158190002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157446$D9A8687D-175B-4ECB-BD7F-C2D4469CEAF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da88952a37254da86caa5d2e1716d0cfee3ae06","datavalue":{"value":{"entity-type":"item","numeric-id":2773752,"id":"Q2773752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$EDB1D31D-ABA1-4DE0-B899-91C8D7BE968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6626c5dd31501ee81823971682b53eabd492dd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4564225,"id":"Q4564225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$EE46B777-5D22-463F-B4C6-1857B34FEFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663cf814ffa6d91f6af24563d29cd3245e5a785d","datavalue":{"value":{"entity-type":"item","numeric-id":3528910,"id":"Q3528910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$71718EE7-B8B9-4A15-B823-B5107B9F963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07304e0c7882c36313900ec4b38d8a58e8ec92f9","datavalue":{"value":{"entity-type":"item","numeric-id":4504717,"id":"Q4504717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$1151D969-5E15-48EF-8175-1C2376607902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf98b8b5cd6cb0d1d086e49bafed22af2ae4351","datavalue":{"value":{"entity-type":"item","numeric-id":1395674,"id":"Q1395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$6FEB4D13-7C35-4F4D-A27B-09C9CFC8C2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b06a729ec1242704e25335c7c3a735f9dd67fd","datavalue":{"value":{"entity-type":"item","numeric-id":1600657,"id":"Q1600657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$D3CD442F-0FD3-455F-B947-00E6ABEEEAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157446$1BC6C648-2D35-48B7-9449-B2801CDABDD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5157446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5157446"}}}}}