{"entities":{"Q1606811":{"pageid":1617551,"ns":120,"title":"Item:Q1606811","lastrevid":68103117,"modified":"2026-04-12T21:27:35Z","type":"item","id":"Q1606811","labels":{"en":{"language":"en","value":"Application of BDDs in Boolean matching techniques for formal logic combinational verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771581"}},"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":"Q1606811$A91AAE5B-13B5-46D0-947A-EC6A204BE479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3301a413772ed5cb11b1aeb33f8a627d21ef4691","datavalue":{"value":{"text":"Application of BDDs in Boolean matching techniques for formal logic combinational verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606811$B3534137-112A-455D-81C2-09D64753F1A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a57b40b5abb9ab6447a75f2400b90c91fc5f42b","datavalue":{"value":"1002.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$8BE61A33-E118-44AB-A381-66C6AC62ECC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f385ddbbb5a4e05a8b20f28aadf0303323e9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":698096,"id":"Q698096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606811$4DA1B64B-197F-439A-A619-FB305891BDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b312f374dc36cfab6358d603d0978a4d25a06a23","datavalue":{"value":{"entity-type":"item","numeric-id":698097,"id":"Q698097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606811$02B10677-EC5A-4DE6-843C-1E0F109352B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad84ce20d471d4eb62ee7ab9f8f8819cbe6311af","datavalue":{"value":{"entity-type":"item","numeric-id":265699,"id":"Q265699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606811$9D1D8137-9773-4234-B39A-5D26BA201BAA","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":"Q1606811$A42F8FBD-BF80-4397-8143-76D265958831","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":"Q1606811$D35E1F53-2FFA-4792-8349-5409F77FE47A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$204D5718-E6F7-4871-8567-5792E121351A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$E13F1C76-1800-4144-97A7-CF4EA1B960FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$78FB7677-02C1-4284-AB8B-ABC6DEDC9C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b65da04d4c63a7536687a26e3ecd2bb6a6a00b8","datavalue":{"value":"1771581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$7D2A190F-8964-41B6-B04F-C296BA159666","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":"Q1606811$2F1B4745-5609-436C-92D2-4B369393B583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef090226d8318b466dde7ae5cde166ddcf0d5dd9","datavalue":{"value":"https://doi.org/10.1007/s100090100039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1606811$24964A21-9D0B-4BF4-873E-9CE174B69224","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87cfa92301b2eca02c941f2e7679a9ba1a9d38e0","datavalue":{"value":"W100574688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$D5C9A789-F5DC-461F-BF05-55C480247BE8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ff1ce0f865cd89a28d7c0fb26864787c910188d","datavalue":{"value":"Q126576497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$D49A62C1-ED22-4002-8CEE-3365F3813D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3591f10228582bc787373c4f7a796bfa52b6f58e","datavalue":{"value":"10.1007/S100090100039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606811$CC83F6AA-C8A9-4863-A408-220CBF795AAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e233f335913ac7ab2419150dc03aa030d03a5c88","datavalue":{"value":{"entity-type":"item","numeric-id":4028156,"id":"Q4028156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b7b1fdc046a174780eebebfc7a237c42a170d8","datavalue":{"value":{"amount":"+0.7758248448371887","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":"Q1606811$882AD1B0-3779-4B00-81D2-F85A647A4A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c8f9e6dfe4948a55d8aa6c2fd0ae73bd0b903","datavalue":{"value":{"entity-type":"item","numeric-id":4419787,"id":"Q4419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b7b1fdc046a174780eebebfc7a237c42a170d8","datavalue":{"value":{"amount":"+0.7758248448371887","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":"Q1606811$EA97C653-63B9-4EE1-B6E5-F5D89D1DE4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c789d9a6d2ec93ba00de3ca763678a1cf6dfee","datavalue":{"value":{"entity-type":"item","numeric-id":5899154,"id":"Q5899154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742df9bc8a0bb558f7eba4c36d9c3b01a2ef9914","datavalue":{"value":{"amount":"+0.7723885178565979","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":"Q1606811$2D15AF62-F565-49DC-9DE4-8A60EA171836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678dc6c57e7118ac05b6ec3579fa157c62eb6d68","datavalue":{"value":{"entity-type":"item","numeric-id":698440,"id":"Q698440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839a9a69a6e242d747fec6205f8934c3fb222230","datavalue":{"value":{"amount":"+0.7646164894104004","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":"Q1606811$A8920B3F-CD8E-4F0E-A965-34DCB5BF0F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c64ccd62c5b7d5be36bad70e40e75676affc5","datavalue":{"value":{"entity-type":"item","numeric-id":3840902,"id":"Q3840902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c158a39c42912e18121d74205c801f4389323a6","datavalue":{"value":{"amount":"+0.7567949295043945","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":"Q1606811$D5DF3F24-E96A-407F-8F29-64749F30634C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Application of BDDs in Boolean matching techniques for formal logic combinational verification","badges":[]}}}}}