{"entities":{"Q5157436":{"pageid":7187007,"ns":120,"title":"Item:Q5157436","lastrevid":55908193,"modified":"2026-02-21T01:25:14Z","type":"item","id":"Q5157436","labels":{"en":{"language":"en","value":"Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410738"}},"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":"Q5157436$1F6F678C-19F4-487F-9227-25CFA8F71C70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f0df4e4d70857b727798ddeff6ae38f4ae319d1","datavalue":{"value":{"text":"Formal Verification of Integer Multiplier Circuits Using Algebraic Reasoning: A Survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5157436$7E188565-5964-4ABF-8B82-B9CC7697EB7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75585e709cb03368b6ea329ac35fe558fc5a58ed","datavalue":{"value":"10.1007/978-3-030-68071-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157436$CA3DA0A4-FE8E-4336-8335-95DF426B4ECE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59c49857b114968b9492d4363ca3a37d7cfd6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2110232,"id":"Q2110232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$5A7F0B65-0D0E-4345-A043-C1F5E2B78122","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":"Q5157436$9D3BAA91-3DED-4685-9221-796115320054","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":"Q5157436$F1B08589-3121-4C24-B988-62048331E952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157436$3225A445-D449-49CA-9080-D493EBB06ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157436$283D239F-AE52-485B-9F9D-9E856F6DE655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d4adc74c9f7288974cccf19bff700ce216e96fe","datavalue":{"value":"7410738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157436$466C36B2-4F34-45A1-B07D-C1690CFC57F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6952429d901ccc73196850e86e702e02595cd0d1","datavalue":{"value":{"entity-type":"item","numeric-id":56013,"id":"Q56013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$A7EEFDBD-605D-40AE-8C02-09936C4CEF71","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":"Q5157436$AD55633E-0A23-4130-953A-BFBE83A12BDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e6b8c867ab1ab03419838099265df2b08fed541","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68071-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5157436$6F2C4BC9-BA4E-48C2-A3B1-6ABEA17A55F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f7c7b110e3fac558b1d71d451c41fc525cf21ff","datavalue":{"value":"W3159305744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5157436$224B340B-E053-489C-BE72-5BC4A26B10B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f184e4893cd39616db75492cf5621f53aacb70","datavalue":{"value":{"entity-type":"item","numeric-id":3512511,"id":"Q3512511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$594DB582-AA52-4288-B996-ACBDD14D79B3","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":"Q5157436$30DA8A55-5146-4F34-8458-7DE6B16AB29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697844c5c26442532f836475cc7997e8055907a6","datavalue":{"value":{"entity-type":"item","numeric-id":2225123,"id":"Q2225123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$31E8FB99-7AE4-4044-992B-17ECC9DDC053","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":"Q5157436$D327C30E-2B8B-4B08-932F-D09F93FF5121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c413a93d0e21c803f8365fbeefc235072bea876","datavalue":{"value":{"entity-type":"item","numeric-id":2225473,"id":"Q2225473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$B5EF5C40-BFDB-4268-88FD-F872D25E996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218a84626222b5538fb3ba5ce553779529874b9","datavalue":{"value":{"entity-type":"item","numeric-id":2110233,"id":"Q2110233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$4C28F7A6-AB21-4FC5-8698-96F2ECD6FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb401982c24cf60048aa19266cd42b3950ee7608","datavalue":{"value":{"entity-type":"item","numeric-id":5219922,"id":"Q5219922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$D3D9621C-778F-4A62-991D-4FD7975681AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$D53917EC-6A42-4397-8CC2-B236607134EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$3B5E334C-3843-4817-9170-A07FB861373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877f3befe71e9e48dd94f03ceaf648e865c4bf91","datavalue":{"value":{"entity-type":"item","numeric-id":1606802,"id":"Q1606802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$E7C0059C-C011-46E9-BF9E-56349446D9AE","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":"Q5157436$1939C037-D740-462C-B235-D95C53C6BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5157436$DB0AFB92-3D4D-4409-9AD0-7AA8D1A96055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5157436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5157436"}}}}}