{"entities":{"Q4419787":{"pageid":6449386,"ns":120,"title":"Item:Q4419787","lastrevid":48152857,"modified":"2026-01-03T19:29:41Z","type":"item","id":"Q4419787","labels":{"en":{"language":"en","value":"Efficient Boolean manipulation with OBDD's can be extended to FBDD's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964137"}},"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":"Q4419787$560F6205-1E82-47BD-AF3B-A4E58D282F5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6126ae716ff1ff83f639f936b2b24667a72589f1","datavalue":{"value":{"text":"Efficient Boolean manipulation with OBDD's can be extended to FBDD's","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4419787$3E2E8D76-A958-4386-9133-4257584604DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8f2856e5c22f8d2e9ebc28c55a81be2ca4415bd","datavalue":{"value":"1063.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$E8D4B02A-5739-4B87-9F43-2296E9804D1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d758bee6b5180c699b261a8a6457923276c12f29","datavalue":{"value":"10.1109/12.324545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$2F969CC3-CFDA-4975-AFA7-07058AE28829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b435c2af0c1344152ba06d3e178493e195a140b0","datavalue":{"value":{"entity-type":"item","numeric-id":1330664,"id":"Q1330664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419787$DC7B722F-36FD-412C-B03E-7EC7FF3459E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad099f57a9ffbfe76501531fc67aa620054130c","datavalue":{"value":{"entity-type":"item","numeric-id":202501,"id":"Q202501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419787$5D3F6716-EFF9-41D1-ACF2-B352245B8B7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419787$F574CC3B-6BAB-45E4-8F0D-7944CFC64B4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"463d48832c927fbbc7519816661ffa8c28f58238","datavalue":{"value":{"time":"+1994-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4419787$48687D2A-EC63-4528-BA95-43B8F594AAD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$231F82BC-46F0-46DD-99A8-5F166DE1FE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$FB90390B-2631-443C-99E7-31B10E785F23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e8598edf1aa6ac0e8a48891724d093a7c2081ff","datavalue":{"value":"1964137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$98D8308A-FAE3-4156-97E8-9046E3320250","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":"Q4419787$E6593F9B-18C0-48B3-8B06-2E64BC9AFAF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db84746678098d0dc6496c9c2a0d3a08193f0d2b","datavalue":{"value":"https://doi.org/10.1109/12.324545","type":"string"},"datatype":"url"},"type":"statement","id":"Q4419787$465813D9-E85A-41A3-8CE4-1C764BF6CE70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"255645bc14947bab2ae4d6d0ce222209f1b1a45f","datavalue":{"value":"W2138273756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419787$222EC5BE-1C0E-4CBD-9FE6-4A36024CBE30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1dca324120ddb9e7c2aafc7ee4afa691ffaf39","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebabc0280881c630258ad5a8d546979827a28c9b","datavalue":{"value":{"amount":"+0.8444656729698181","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":"Q4419787$F6F99F44-98A9-442C-B572-FD064BA195B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23a66b3ea8973f6022153552b744b9ae0fc541","datavalue":{"value":{"entity-type":"item","numeric-id":5096325,"id":"Q5096325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad972326a7154268c6d8e02ebc3c42dfbfed10f","datavalue":{"value":{"amount":"+0.8372111916542053","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":"Q4419787$CD1122F8-F7BA-4865-AFF1-D2F2F2717017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaea0953ae6c10369c1f8aacd62d1412843a005a","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e479b4f2e57fdd3ed09e80ac7bc1041b299ee2f","datavalue":{"value":{"amount":"+0.8365849256515503","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":"Q4419787$B3238CD5-0DC6-4AD0-AFA3-8E11529607FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13563e8fd80de5c043e1ba4bb73552448e6de73f","datavalue":{"value":{"entity-type":"item","numeric-id":673788,"id":"Q673788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f461f48d6cee148782440ce8c7c5cbf70a803218","datavalue":{"value":{"amount":"+0.8315207362174988","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":"Q4419787$2FE5FD7A-48BA-4C5D-936D-C45B34528D77","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":"64e02061177ad8822055faef2414a75c5f8c2713","datavalue":{"value":{"amount":"+0.8304644227027893","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":"Q4419787$93B4C9B3-C1E6-4B27-9030-5E9A47C34152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4419787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4419787"}}}}}