{"entities":{"Q456068":{"pageid":457835,"ns":120,"title":"Item:Q456068","lastrevid":51581060,"modified":"2026-01-18T21:33:51Z","type":"item","id":"Q456068","labels":{"en":{"language":"en","value":"Counterexamples to the long-standing conjecture on the complexity of BDD binary operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098057"}},"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":"Q456068$05BA89F7-E104-44CE-A12B-DF98DFED54F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f5166c390df445ddf478c4c6508a152baf77b6","datavalue":{"value":{"text":"Counterexamples to the long-standing conjecture on the complexity of BDD binary operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456068$642C0E58-EF9E-49B2-8C57-309C86F492AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1add4c3d2ecf17592b085216e77b72eb64bfd1d","datavalue":{"value":"1248.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$97E0591A-A8DF-43C7-B289-B313C977EB00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89494e796aaafece25ab389513f0dcd4f6e3954","datavalue":{"value":{"entity-type":"item","numeric-id":249065,"id":"Q249065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$877840E8-E2E8-4D8D-BFCE-E12195E24CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd08bd5126951ebe189d0786c6ed9220365dc0","datavalue":{"value":{"entity-type":"item","numeric-id":313767,"id":"Q313767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$CA9E3FCA-F2A3-407F-BE0E-91E1ED69867F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db749c009b420e5ca718053db393e161be00a7b","datavalue":{"value":{"entity-type":"item","numeric-id":313768,"id":"Q313768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$67ED9F0C-71F2-4330-9E03-166F02DE3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30f052b8f87f05aba11aade0f9dfe26d83a7d45","datavalue":{"value":{"entity-type":"item","numeric-id":346254,"id":"Q346254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$6EFB311F-9D56-4662-AA0E-8C731254DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f765fb2eb7d0d323c639dbb97c843a9bcf43cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":313769,"id":"Q313769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$756FB055-9544-4277-B61A-31DEAF5D30D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$583C04FB-78FC-4529-B827-19139FF05BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6768424e7cf1c12195570a038e713d0228dc345c","datavalue":{"value":{"time":"+2012-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456068$9FB6E41E-D138-4FFC-AB46-6824F1FE1658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee44a6b9f183a4f9aeab4575a3a8079f9a9e58b8","datavalue":{"value":"http://hdl.handle.net/2115/50105","type":"string"},"datatype":"url"},"type":"statement","id":"Q456068$C9D0078B-A530-4C0D-A84A-A8B32D39A3B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$CF9A2644-1FA7-4164-8495-E122E455F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$A24DDB7B-06C0-4D70-88FB-C2C82F32C597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$3C631FE3-AF32-4F4B-982D-05E75747F5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$1A375251-B3E8-4D12-9A6E-7BA96116DA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$43ACBCA6-45B3-46DF-90ED-101CE1EBB6F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82066b4de2ca7a7b052aff95712f7faaa0ac72bc","datavalue":{"value":"6098057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$69C1E3DB-778C-4A30-861A-7A0ABD76C375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q456068$578B9BE2-685B-4A6D-A063-6289CBDADB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q456068$77D3F5CE-6276-4BB1-9B33-B63B0B16DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q456068$FC7C96F3-83DF-46EC-9139-0826C4438B5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$5737A56E-2A14-48A7-A4A1-ADAD47051540","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":"Q456068$E6A321E4-2C54-4A7C-BF1D-4C0A983E7F38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae4530629d796d6d760352636596b3bfc03e6539","datavalue":{"value":"W2099887511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$61B56163-43ED-4C94-9AD6-32D3F0D0BC3E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0066e4c73f6f3c2a8602fa77ddeb3ecdcb62686","datavalue":{"value":"Q122922539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$713C7C0D-9BF5-4553-B2B6-85813E32097D","rank":"normal"}],"P223":[{"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":"Q456068$02264B18-9C04-4589-A27F-D1B14A11C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b99e2c9371fb5c144dc93ae570b1c3fe049599f","datavalue":{"value":{"entity-type":"item","numeric-id":3393339,"id":"Q3393339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456068$07A4B84F-33EE-4266-8EAA-E2D7E16BFA13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3085cefabbdf5662a8364e4daf0b2891533084be","datavalue":{"value":"10.1016/J.IPL.2012.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456068$21774871-03E9-464D-BB4E-D9BD8DE22A87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9db3e5cc8ec8978d5d681011988b76bc3326a8","datavalue":{"value":{"entity-type":"item","numeric-id":2445400,"id":"Q2445400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb48ac9808d7c198fd1e270a4bb5832fa7d58233","datavalue":{"value":{"amount":"+0.8224354982376099","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":"Q456068$C9D32B34-078C-4339-A3DD-65C38D5D8C82","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":"03a8b597d3285f9edbbf49b97b4ce7fb9f6865ab","datavalue":{"value":{"amount":"+0.7184105515480042","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":"Q456068$0CE5882A-7BB1-422E-A0E2-88C3D1565D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8193219bdc220b329b560ec610565d0cd0607f4e","datavalue":{"value":{"entity-type":"item","numeric-id":2841260,"id":"Q2841260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9f23a80dac21cc2e541899225356c092070176","datavalue":{"value":{"amount":"+0.7155565023422241","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":"Q456068$F28C1D06-CA80-4A5A-887C-AAB6702C3B49","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":"89ffca6f831a50780e1e8807afdac67d07cb3bbc","datavalue":{"value":{"amount":"+0.7127620577812195","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":"Q456068$BF0A3E82-4464-4801-912B-52C2BEC59BC0","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":"0dfb1f2b0b12800677af07f3553b45f405b0dc30","datavalue":{"value":{"amount":"+0.7107529640197754","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":"Q456068$08035221-86A1-44F1-A98F-D9684DF7036F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:456068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:456068"}}}}}