{"entities":{"Q1606802":{"pageid":1617542,"ns":120,"title":"Item:Q1606802","lastrevid":47948344,"modified":"2026-01-03T04:07:33Z","type":"item","id":"Q1606802","labels":{"en":{"language":"en","value":"Verification of arithmetic circuits using binary moment diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771576"}},"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":"Q1606802$4BEBBB48-CFC9-40E1-BDEC-4880B0CA9108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ce1dbd3d1be7041db661665a9c814f8327e3725","datavalue":{"value":{"text":"Verification of arithmetic circuits using binary moment diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606802$C70426C3-D559-4522-9079-5BB515E55B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2589bff03e12c105c421ad182c9336c5664e24b2","datavalue":{"value":"1002.68588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$CAAD19E0-4F7C-407E-93C4-A0DFB213E55F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606802$D2C95B94-4B85-4102-AE70-3344F18037F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d901a1cc1e74939b96b46de00945bf2cdcd6d7","datavalue":{"value":{"entity-type":"item","numeric-id":1606801,"id":"Q1606801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606802$56F9BCAF-A54A-45C5-9DEF-69EF9625BC16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606802$47DA9AEC-5648-4EBE-8C80-231A0B6DD9C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606802$9753B6E5-A97F-4F2D-AC8E-39E17601CE83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$F4B5D148-C986-407D-A360-9C53C2F8AA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$E0EE1F5B-B613-4CD9-A8A2-C8E0EC908F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$F90A1FF7-FB09-4DB2-A978-AA406681E1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$B5821C3D-F5BC-4BD8-9F61-758FB29C9699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca7f1e3e0091dce10d9ac2f3a9bcde347ad0ecf","datavalue":{"value":"1771576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$F8D7EB3B-CF30-4642-AC3A-1BDD352A4627","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":"Q1606802$213F4B0E-B4BD-49A6-B6B9-1FEAF7870213","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3f4700c02ba52eea59a44d3bbb4df476417806f","datavalue":{"value":"https://doi.org/10.1007/s100090100037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606802$40DA7A58-A4CA-4A5F-86E1-AFA8CDE15ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d87b8c5849ab0029468ee3cade6467deb5d9288","datavalue":{"value":"W1520753950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$37AED627-13A6-4236-8B01-DF57189299D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ecdd97453ed1f0e4047995ef096f0b9d326de45e","datavalue":{"value":"Q126568026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$84702DCC-8465-44D5-B16A-C73B2123EE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90060d559f6d3a5119b2436f12c688fe6d1741c5","datavalue":{"value":"10.1007/S100090100037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606802$6FED0D26-D488-4A82-A393-53A2CC19471E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ebd5378f9b7d5c2cb4f37c84a8854576f84c08","datavalue":{"value":{"entity-type":"item","numeric-id":3574330,"id":"Q3574330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9f7be6fddada06a0f27d3d922f6cdd575bc903","datavalue":{"value":{"amount":"+0.8247248530387878","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":"Q1606802$7CEE97ED-F9E3-48EE-B86D-13980420C01A","rank":"normal"},{"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":"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":"Q1606802$DC5BDC4E-EE6B-4139-8B41-6DB94B0AA212","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":"2ec4503f8699d138f0cd95c8eda05bc520f90be1","datavalue":{"value":{"amount":"+0.7842890024185181","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":"Q1606802$56C839E5-122A-455D-8462-A83175DCDB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525cd79179a87d0fbcd0cbac1ef38caca4d35aef","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3386d998aea13f303d997058e91d336acb665427","datavalue":{"value":{"amount":"+0.7771732807159424","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":"Q1606802$69804CE9-3E49-4509-96F3-0159A1DED1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1b35cf347231874d050299328dfb4982e73701","datavalue":{"value":{"entity-type":"item","numeric-id":2506489,"id":"Q2506489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca67d1c2f9d3ab41aa305f556588072e127c17f7","datavalue":{"value":{"amount":"+0.76639723777771","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":"Q1606802$54557FB2-AEBA-4E28-9596-C22ADCEA35FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1606802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1606802"}}}}}