{"entities":{"Q1587372":{"pageid":1598112,"ns":120,"title":"Item:Q1587372","lastrevid":72258468,"modified":"2026-04-14T03:41:54Z","type":"item","id":"Q1587372","labels":{"en":{"language":"en","value":"An improved hierarchy result for partitioned BDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533097"}},"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":"Q1587372$C31815AE-6BE4-41E7-B6D2-B2F3F4703B89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d9a05f802286fded7b6034b2e97ad716fecb5d4","datavalue":{"value":{"text":"An improved hierarchy result for partitioned BDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587372$FA94771F-E633-4F0E-AA3F-D05B13BC2D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f744e133148fdd8a8c4f2d3043e2e74b722219c","datavalue":{"value":"0961.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587372$1802A1E4-6E46-4094-A86D-FC6F0026C5F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587372$A797C8BC-F53A-4644-86B1-BD575475545A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5631978044d343fa134e1c98a58038c0a9d719af","datavalue":{"value":{"time":"+2000-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1587372$83717F40-8955-4A65-A316-14E7ADB69522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587372$AD432A77-03E0-45B7-B765-C180421EDE69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e9086fe3faa2495bbf6dd328525194d8c82935","datavalue":{"value":"1533097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587372$83C87596-D92C-44B8-93A3-AF9B5BB0E73A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ea383d82d641d859023b2c6e63fe676d07bf00","datavalue":{"value":"complexity of Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587372$FEECAAFE-4899-4D03-9049-F35D236D3F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda429f507c2f4565bd74dd66c6848e43495d6dd","datavalue":{"value":"partitioned binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587372$5264D772-10F1-4BFB-842B-E2B12B43C4C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c2a06ab8d1a3dc39a91ba24821db39c7fefb0b","datavalue":{"value":{"entity-type":"item","numeric-id":234347,"id":"Q234347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587372$46087FA6-9B14-4214-90BD-C001CA8521FC","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":"Q1587372$DDA349BD-1629-4DCF-8FDE-78AE14ECD748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a1a2a265d366f88821d3b036457479fc3c74944","datavalue":{"value":"https://doi.org/10.1007/s002240010005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1587372$5E447237-73CB-413D-A484-281BD939B252","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a00b4ab245189aaa7e7de6b93812e63d0c0c9fd","datavalue":{"value":"W2057257783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587372$EE2B2515-F1F8-4BD1-9177-38357AEAE850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f7fc753d6189a0b5d89ee897493212f46f1b02a","datavalue":{"value":"10.1007/S002240010005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587372$8E9EF84E-5DA6-4133-A6F7-E998170B1743","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75803d2144aa987a93a10031af3fc15de667d64","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fc615869efff5a2917941bdd46b00c216f9396","datavalue":{"value":{"amount":"+0.8446035981178284","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":"Q1587372$135EC77A-0256-4D56-A0AB-FE274534DC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8016d94eafabc9cb3ae2d7a393affdef679da801","datavalue":{"value":{"entity-type":"item","numeric-id":5055950,"id":"Q5055950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"390b3f506744f8a9023cad3eef5b80dd8c29a925","datavalue":{"value":{"amount":"+0.8026198744773865","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":"Q1587372$47E01F46-5EE1-46D3-8762-C3222AA8EE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89a079dbd519a8a39a7e225af5d09ec2d1cf4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a85aeb13283fafc15b4a14463595a8fa0f323c","datavalue":{"value":{"amount":"+0.8013725280761719","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":"Q1587372$C01FCC0C-E0C5-4CD8-B61A-AF61F895DE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4654545e133e73136889e2406eda70651e069f","datavalue":{"value":{"amount":"+0.776483416557312","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":"Q1587372$E2EEA64D-CAD1-44CE-9EA6-DD052D285A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0738cbc8f5c736f34b1e24a3c76feb8b6220a21","datavalue":{"value":{"entity-type":"item","numeric-id":2361671,"id":"Q2361671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39259178379e8fa7ec149bc6b298e0fd0e6d6b35","datavalue":{"value":{"amount":"+0.7733430862426758","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":"Q1587372$77AFF9A8-2803-48F3-BD8D-C4E199D81CCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved hierarchy result for partitioned BDDs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_hierarchy_result_for_partitioned_BDDs"}}}}}