{"entities":{"Q4420841":{"pageid":6450440,"ns":120,"title":"Item:Q4420841","lastrevid":48156613,"modified":"2026-01-03T19:44:53Z","type":"item","id":"Q4420841","labels":{"en":{"language":"en","value":"Improving the variable ordering of OBDDs is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1966783"}},"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":"Q4420841$FC95D618-B7EB-468B-84E0-7D36D83FC41E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1799f3876229e870218a07e591885aa530efff81","datavalue":{"value":{"text":"Improving the variable ordering of OBDDs is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4420841$357285EF-3DFF-47B9-ADC1-2E7F8EBA00D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c7abe1ee1f9af216abcd5e082100c7ca612753c","datavalue":{"value":"1048.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$55D5440F-C528-45E2-B986-447315DA7799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e8e25a0945c410bccb9a07268bfb3e1e7cb05a9","datavalue":{"value":"10.1109/12.537122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$09AEBB34-0E22-47DD-ACC4-8DC614CE41A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420841$689841D6-A8B7-4DFC-8545-75FD7F6A769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420841$4B16B219-4AB4-4CD0-BF64-3211A93198CF","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":"Q4420841$77DB1F87-893D-4E18-8229-6875EF12CEB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-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":"Q4420841$171402DB-A7EC-4868-A418-EB8DE32A6030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$AA4EA233-D9FA-4352-81BD-57E705268EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$FC30D5F0-05D7-44C4-B87A-AA32C005FBE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a85b5107a5071eacd1cc30d3e284a7d1880aa3cf","datavalue":{"value":"1966783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$DAD9A241-F03C-406E-ACFD-A171DC5F28AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420841$1BA0100C-7D73-49E5-A8AB-754E4AC57944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420841$FBFFB2B7-8AF2-43C6-A66B-8EB87F3ABC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052b0a0bf1107a694661fab459a19e64e1dc24de","datavalue":{"value":"Ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4420841$6A55428B-77A2-4CCC-B59D-5F40BAF188F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"519f3f7c7b874c39e00fa31f089029235e9f4d55","datavalue":{"value":"Q56340203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$E61BC94E-C8FB-4060-B847-6DADEC09213F","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":"Q4420841$64C6069C-A013-4E91-B365-AB1B61C75961","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de41b6154cb926c9a697afc955eee453f1753697","datavalue":{"value":"https://doi.org/10.1109/12.537122","type":"string"},"datatype":"url"},"type":"statement","id":"Q4420841$341D7F82-DE54-4171-8929-AD1B61C8C90E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"116d01a94bb1d195cf7c08161cdfe018fa4832ef","datavalue":{"value":"W2141472133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420841$1FC2076A-6DC4-4013-BFB1-DA2FFD899B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17eaa902eb4a5150ca5279f5a9cabfe192605695","datavalue":{"value":{"entity-type":"item","numeric-id":671612,"id":"Q671612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ad2566cb8bdac43ce657bc4739eca25374c232","datavalue":{"value":{"amount":"+0.8924135565757751","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":"Q4420841$547F107F-E6A7-4BD1-8498-4A7F23832208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40d57abc841ec10c256301f182c122e19e7c568","datavalue":{"value":{"entity-type":"item","numeric-id":2922601,"id":"Q2922601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01a9240824692356783c9605de94587df61d759","datavalue":{"value":{"amount":"+0.8804230690002441","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":"Q4420841$50DEEB6F-DF41-4362-A9B8-EC42D00CEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739b66e23da840c3b1e8f4397e7ec6d13025cbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e9771e442293716b7779cc96da4e6fc7f7b6f4","datavalue":{"value":{"amount":"+0.872539758682251","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":"Q4420841$9A8CB4BA-18C2-4145-B054-9A9447FA7465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8442511968101c0b715ad107915e98a3f357a6","datavalue":{"value":{"entity-type":"item","numeric-id":503467,"id":"Q503467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903939fc027e315f1878dc4477fe88eec19f8930","datavalue":{"value":{"amount":"+0.8720262050628662","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":"Q4420841$E3EF4F89-F08F-4762-A0BC-24ADFC792BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e9ac3a89ca2f48d188dcc7ee7abeb0325afa7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949f2f6e4c9d640b856d091e5faee0a17174976","datavalue":{"value":{"amount":"+0.8681795001029968","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":"Q4420841$978B6C4C-8F1E-47DC-880D-9288AD98C2CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4420841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4420841"}}}}}