{"entities":{"Q1395674":{"pageid":1406414,"ns":120,"title":"Item:Q1395674","lastrevid":55908196,"modified":"2026-02-21T01:25:16Z","type":"item","id":"Q1395674","labels":{"en":{"language":"en","value":"Polynomial formal verification of multipliers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944893"}},"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":"Q1395674$028C8194-8B5F-4023-9F92-D6A1C8274102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c6027d1009f70d07e324510f9528fa0099ec5e2","datavalue":{"value":{"text":"Polynomial formal verification of multipliers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395674$016BE13F-CA0B-4D0B-8A00-18D7852A9701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e055bff25672c14b0c9afa8c3e6db314805d18c","datavalue":{"value":"1033.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395674$2509F245-84B2-474C-87E6-D6670232F82A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2c1139934cfa15d1e506f4b149dd6ac1677275","datavalue":{"value":"10.1023/A:1021752130394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395674$F12BE1E4-9AA8-4ABC-B149-9393DC7D68CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e8ca735896d8fd1610d4d740dab3fd7cadda6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1380459,"id":"Q1380459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395674$01B00258-5CBA-4324-A7E3-8913061F2254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395674$429AE518-EA59-40FD-BBD0-CF856E3D9E40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395674$B2918BA1-4EB9-4D2F-8D8F-F07914608701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395674$B306323E-6603-4844-A900-08BBD9D16B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bc8997f3d1afa8f43f069019252c633e23ba1b3","datavalue":{"value":"1944893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395674$6EAF7182-808D-4B81-9D6D-9F77C5D9DBFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395674$E496D728-D0D2-4431-9CC8-D093794A55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395674$05BF163A-6599-43A9-BA90-0A35FAE4B1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f994f2025b79d7d786f193c3dad1d7d40070ab","datavalue":{"value":"integer multipliers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395674$A150D3D6-0581-4AF0-9422-ED4C74C17E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa056ab6d8a267ec8c9a1c77a4e6af7ac75b0b2","datavalue":{"value":"backward construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395674$3612850F-AA1C-4699-87C1-DD8E3D741913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95af539a6e2dc08c4bec8e80c23e0f3fe1577d62","datavalue":{"value":"multiplicative binary moment diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395674$F32AB0C2-3FA5-44AC-85B7-7D76A1109C8F","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":"Q1395674$30A6737F-928B-4B47-BFAF-D3D26ECA1EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b81a8f67ffbfd6f19f589a1a96f650850f7b4eb","datavalue":{"value":"https://doi.org/10.1023/a:1021752130394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395674$CEA00462-9CCC-42A0-ABCB-FADBBA896F94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e1d031b65e0732208dc0a21df22fd9a86355b64","datavalue":{"value":"W3113354335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395674$B99B97BB-4D4D-4031-AC3B-214D42C3DDF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30de85ed16d9a2162c13d706232b2d7388026c5c","datavalue":{"value":{"entity-type":"item","numeric-id":2225123,"id":"Q2225123"},"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":"Q1395674$E964B99E-AC25-425E-8D27-9D4A25A3C663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93ada9987f6cf19d332c46d91986afcce0d495c","datavalue":{"value":{"entity-type":"item","numeric-id":1606802,"id":"Q1606802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cae04f4e729e9aedc5b5dea35d7940f68e62474","datavalue":{"value":{"amount":"+0.8200419545173645","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":"Q1395674$4C8ADF0A-B1B7-439A-A762-50E99E0E2032","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":"0057a06f4b0937b462aefa3fc5924b31a2f38a4d","datavalue":{"value":{"amount":"+0.7924730181694031","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":"Q1395674$410E757C-2B53-4196-ADB0-9CEFFA8E0142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efaee4a8b6e6f3ba8887c74d2eca20937ad0c891","datavalue":{"value":{"entity-type":"item","numeric-id":2225473,"id":"Q2225473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042a5c7ca7939847de06d8a52769d19390001cf3","datavalue":{"value":{"amount":"+0.7665347456932068","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":"Q1395674$D574B286-09B4-4586-A337-B33BBDD6064F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1395674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1395674"}}}}}