{"entities":{"Q5897079":{"pageid":7937694,"ns":120,"title":"Item:Q5897079","lastrevid":50898743,"modified":"2026-01-15T15:50:16Z","type":"item","id":"Q5897079","labels":{"en":{"language":"en","value":"The ROBDD size of simple CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667318"}},"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":"Q5897079$7992F4CD-F918-4B6D-B8B3-B2903B5FF640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c8f2d2ec76da52bc4ad5fba0da16b149a776d5","datavalue":{"value":{"text":"Correct Hardware Design and Verification Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897079$D436F228-7995-4E6D-9E1C-88FBCDDD38B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"000b2d0246ebacd8e74a3b0d0388be5f5201596a","datavalue":{"value":"1179.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$5DA6BA82-A11A-41A2-A3CE-9B909CAC7BB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be65ac3c8739d54ca864b86df120d55b0f5cc9df","datavalue":{"value":{"entity-type":"item","numeric-id":692634,"id":"Q692634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897079$B702D3D8-D769-47EB-8DF0-B67BA4817778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897079$9BDCBBF0-CCFB-45C3-B1CD-6730401D5746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e5f75a0d54975ee52ada1a4f4fb54297ec3b8c6","datavalue":{"value":{"entity-type":"item","numeric-id":202474,"id":"Q202474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897079$DA0153E0-62E7-4B8A-95B2-CC7EE5F2349B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897079$7D177694-CF6C-4169-8C7F-E9C86254995F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897079$B5BE70B1-C117-4917-A30F-DC8C05B8F553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$7879288C-A0BB-4938-8D28-F1F1A723712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$96B30D82-2913-4ED0-BEF5-1D8BA1BE93E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$696C58D9-BC0A-47EE-97EC-E402F21B9668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d61ad75f8a512feea349277c4292925c4de514b9","datavalue":{"value":"5667318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$29D4E49E-1AEE-426C-BFF1-C98947EA85E5","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":"Q5897079$F439DB6A-6BF0-467B-8144-2EDE033D8E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b8c5cde1231ec6becb5c8cd63c3722e801c9211","datavalue":{"value":"https://doi.org/10.1007/b93958","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897079$21E1323A-7442-4CD1-B8E4-7319EA759023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"652751e9bf248790b4e9b94adeaafb8d6cf26dda","datavalue":{"value":"W219731125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$1B7B2F98-5778-43F8-84E9-975C80212DF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fcbd4de8d7777e47679b10069f6a3080aceb1e6","datavalue":{"value":"10.1007/B93958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897079$C2F4B756-FA03-4117-8F82-FDAD1F49BEB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cf869ef5740178e34eece1a8555e28b50a0ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3194709,"id":"Q3194709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7009e6ee1e6d17065ac2202150664409f0d052","datavalue":{"value":{"amount":"+0.8107431530952454","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":"Q5897079$E8F02D14-AFFF-4F92-A3DA-A1B58072173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f7944585aa19ecc078506a2988dadb82be7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2411046,"id":"Q2411046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4664e43b19c4720d6a1deaa61186a1ed2cea01","datavalue":{"value":{"amount":"+0.8066942691802979","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":"Q5897079$C5BD70A7-BC36-44B7-823F-9A0793A8E3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bdbec4a304db5f5bacb643e314f45e0461872d","datavalue":{"value":{"entity-type":"item","numeric-id":4617985,"id":"Q4617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cb053dea55fcc0aa9c00bad41f16cba61a39cc","datavalue":{"value":{"amount":"+0.7837209701538086","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":"Q5897079$D9C161C2-6A8F-47E8-A0C0-ADB3271D1F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85051722761fbec9019a04dca4a47a2658cbe695","datavalue":{"value":{"entity-type":"item","numeric-id":4412138,"id":"Q4412138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4362bcfc6b777e614686a55c3fa87083271db80","datavalue":{"value":{"amount":"+0.7803499102592468","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":"Q5897079$6D5C4220-D4D9-4C07-8718-CF304A5DBDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd91c617b47622d45f184cfaa59ba515aeac9d2","datavalue":{"value":{"amount":"+0.7785409092903137","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":"Q5897079$FDC312B4-3F61-4BE1-8D8C-C981A0CF798E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897079"}}}}}