{"entities":{"Q1408378":{"pageid":1419118,"ns":120,"title":"Item:Q1408378","lastrevid":67377303,"modified":"2026-04-12T17:13:14Z","type":"item","id":"Q1408378","labels":{"en":{"language":"en","value":"Resolution and binary decision diagrams cannot simulate each other polynomially"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1981506"}},"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":"Q1408378$8A4E8226-D989-4CF1-8A08-9B90E2610030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fadd12266e8f801be3ff84393ec13022ee9ebd0","datavalue":{"value":{"text":"Resolution and binary decision diagrams cannot simulate each other polynomially","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408378$1058B0CE-3FEB-4D78-98D5-CECAFBD0A0B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7374868fc94330e17e88d021b45014c0a74c703a","datavalue":{"value":"1029.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$C8165206-A51B-49D3-BDA3-D5A6AB2AF729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d272b2fa56fc687d5a4b1d9b5574273798f4e0fb","datavalue":{"value":"10.1016/S0166-218X(02)00403-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$A818119B-4133-4C70-8DD1-7F76EB6B099F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$DF6117DE-16CE-47CE-9851-CB943B0A77D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$2B1D62D0-3C03-44BD-A45C-E688B7BFBC47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$98B01B54-EC56-4BE6-9A24-69E965302248","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdb952d10b49f391b9728d4aaf2d3506fc5000a3","datavalue":{"value":{"time":"+2003-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1408378$95DEBA71-33A6-4E6F-9916-D65D26C7A9B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$CEA54E42-CB52-4529-ACA9-303F61934949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$633DA42D-0472-427E-AE0F-7CA17673A17B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ee4e6f3ed735c766b220646b0cfee9bb52d4b7","datavalue":{"value":"1981506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$A7D9A7BF-5EE3-42A0-B581-B8EF9CE60436","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408378$9A48C24A-33D9-409A-877E-C27FFBEC4D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408378$F63F59D8-7E56-4DF4-9EFB-4765EC3FE2E7","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":"Q1408378$7FE09528-07C9-4857-A6A9-DB22523EA110","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3026e313de747f9080f29883bedd1ccec049fe18","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$9B9D7565-2B30-412E-80BF-0C57A508D612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$06C8F38C-FFD0-4601-9BE5-6B54A9491F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$BF3C7846-F737-40E8-B07E-33840AB4A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$67BE76F9-C1CD-4C0F-9026-640630171C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$FDDCE1C1-05BB-405E-B437-70E58D87177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$57986489-19D8-4009-80AE-6796007BD608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadf3e656c0b2e9d5e437c670af13fc616dd67f","datavalue":{"value":{"entity-type":"item","numeric-id":1353991,"id":"Q1353991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$BF4BB030-6FFF-4300-BCB9-669DC92B3A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf11c839122791cc5e76952a2e01f124b2494ce","datavalue":{"value":{"entity-type":"item","numeric-id":3043797,"id":"Q3043797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$444C9FF9-132F-42AE-9E26-B06C7033B664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$AD29B851-F026-4107-AA55-2EDF1B600349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$169A3357-E383-48B0-A645-67C4B6C27668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047d925b5cc83a1e636eca8beda0b4db8d93d25","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$767E3471-F154-4B89-BD63-4E3AC6345157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$DCBE1D82-A1F7-4AA4-A614-AEDB528A0448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$0FD9FF1A-B209-4B21-AF04-FFECD322BF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7519aefa4dda7e919ee4a80b4ac0ff9a83e620","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$522758AA-D71B-43F4-A273-4582F53ADE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$8110EFB0-BFA3-493D-92F7-2A3810DF38BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$A1B36A95-A281-43D8-9B03-DE36C688472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3665a2db8400a068c23a8a3fdec7a3480145a640","datavalue":{"value":{"entity-type":"item","numeric-id":1349250,"id":"Q1349250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408378$DF19B5E6-4C0A-4712-ABF9-5DA349D5F78A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf0c2a1774e7674603a20f9f29d6c1049ead550","datavalue":{"value":"https://doi.org/10.1016/s0166-218x(02)00403-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1408378$29370C97-9678-4136-9E15-A13EF225A944","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a3bfa882f40820953959328712477f8283496e","datavalue":{"value":"W3022749232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408378$7C76A916-B3CB-40CC-A850-68148BF5732B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667a1ebce6a138bdd5627aebbc3fd63ed549c524","datavalue":{"value":{"entity-type":"item","numeric-id":3043797,"id":"Q3043797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d29541c527a0b9873cce861d787c69bea60d66","datavalue":{"value":{"amount":"+0.9785141348838806","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":"Q1408378$A992D819-1EEF-4F0C-B671-691C8EB2555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ca28bbd0026f0ab61292d39747a92f0976141a","datavalue":{"value":{"entity-type":"item","numeric-id":2478427,"id":"Q2478427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b695f5e4381a5d4d2ae0004f4d3563e7373b54","datavalue":{"value":{"amount":"+0.8659018278121948","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":"Q1408378$8FA023E2-D531-4335-BE94-6E5B22EA5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86572fb6fb3c840ab9b63220bf0ccf1b10386756","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd93a0b2d84e9932fe13a01225b47abc16f2ef4","datavalue":{"value":{"amount":"+0.803504467010498","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":"Q1408378$12B7F7CF-EB78-4EC1-8146-9F82573EBE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7e5f2222166d346b9ba8eac3f106e551b834a0","datavalue":{"value":{"entity-type":"item","numeric-id":1426055,"id":"Q1426055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f41b0562169cd66bcea6d314d1d66079068edb8","datavalue":{"value":{"amount":"+0.7891188263893127","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":"Q1408378$7CEA2FD2-EF65-4809-A76C-211071018E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b12a5a927834afd5558f74dcc24eccc82adb63","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c04aec84b8d1373d573c69e02b2025b08061032","datavalue":{"value":{"amount":"+0.7885474562644958","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":"Q1408378$814DA8C1-7221-4F17-95E3-6CE87AF66779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution and binary decision diagrams cannot simulate each other polynomially","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_and_binary_decision_diagrams_cannot_simulate_each_other_polynomially"}}}}}