{"entities":{"Q293348":{"pageid":295115,"ns":120,"title":"Item:Q293348","lastrevid":60704958,"modified":"2026-04-10T18:37:35Z","type":"item","id":"Q293348","labels":{"en":{"language":"en","value":"Parity OBDDs cannot be handled efficiently enough"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6590744"}},"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":"Q293348$2FD872CD-B44C-4912-9AF8-1647E54D9B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edb1162b03781804dcbd5727092f82bc4fbbb320","datavalue":{"value":{"text":"Parity OBDDs cannot be handled efficiently enough","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q293348$224A825A-24A3-47BF-8F93-B2BC5606EA7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da36d9c3dcf1351e2e7519b666c5c363d3df08de","datavalue":{"value":"1338.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$A1E81148-6968-49AA-A142-31A65BD25935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"235339baabb47b9ef28f8643fa86b1ed683cca34","datavalue":{"value":"10.1016/S0020-0190(98)00113-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$9A5BC11B-DFDD-41C5-AA9E-2544C61D5EC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad68ae0b32e7bd128d545ceeb6b30fc05a2b0b39","datavalue":{"value":{"entity-type":"item","numeric-id":210284,"id":"Q210284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$AA00AD8E-32B2-447A-ACD0-9DC628317CF5","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":"Q293348$CF2FFA37-AB28-4FD9-8165-00A2F51A7DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3ad0dd381713c11c766d68456eb2900401decf","datavalue":{"value":{"entity-type":"item","numeric-id":1909972,"id":"Q1909972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$E949C195-6AF3-4532-A58E-9D7656EEFC98","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":"Q293348$C7E60276-1455-4911-A396-762D77408049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q293348$81F4E48F-543F-42B1-AF95-47C6769AA404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3911679bdad4c0c24c6cd10058a156e4831d587c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019098001136?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q293348$C5F2A8A2-489E-4586-9ADC-63C56A74D159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$5D2180BC-5526-4E92-89AF-CEE3411E7DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$8B25C573-3F0C-448F-AF07-FF7478EC60CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39abcabba6c4ee1eef05e7a697cf49f10497d3e5","datavalue":{"value":"6590744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$AAFFF246-1201-4D0F-AD36-4F4DFC731812","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf8da926e5d0a19c54c67575125697f72a830a89","datavalue":{"value":"parity OBDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q293348$259B0B48-8830-4556-AE37-353661BC02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d8f688b70394687166760b1afc559bb4c46c24","datavalue":{"value":"reduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q293348$43F9C580-5F6B-4115-B37E-E7F8910A64F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q293348$972385CE-E0F9-4B5D-83E9-21D5528C6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q293348$C5CAAED0-9446-4F03-93D0-50044AC0A489","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":"Q293348$45227E63-50EA-4186-B05A-C703D9B387DC","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":"Q293348$4D252565-EA03-4D58-8B50-AAF414FF8609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"185812f4a394f61052aeca3705caa191a7cb923b","datavalue":{"value":{"entity-type":"item","numeric-id":3947117,"id":"Q3947117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$46EE2F42-0194-4150-8137-67CC68499D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2779c135e276cb2ba89f1577b854a83ed2c3554d","datavalue":{"value":{"entity-type":"item","numeric-id":4419787,"id":"Q4419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$90C5CFC7-F0E5-40A2-8BE1-1C4BBE852966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694910451200ab7067ebbccacf142af3ac2a2369","datavalue":{"value":{"entity-type":"item","numeric-id":3992847,"id":"Q3992847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$148DB800-1C5F-4113-9A22-2B534F602075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e09fe27f7c3ada130d82295101c384f15829","datavalue":{"value":{"entity-type":"item","numeric-id":1313758,"id":"Q1313758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$A6E94EBF-E08F-49AC-A632-1E38C67B9D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd29d824dbce9664110e60e74e7edbbffcc7c5d9","datavalue":{"value":{"entity-type":"item","numeric-id":673788,"id":"Q673788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$ED0D47D6-6FAD-4407-ADB7-B3CC8F58148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$1CC60A9C-97E2-47FC-93F0-A31C94604E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c7b266d762db2f276fe12363b786bdcd890101","datavalue":{"value":{"entity-type":"item","numeric-id":4385517,"id":"Q4385517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$A6C1BDA4-3F4D-440C-ABC9-BDA48187893F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c15df68b811414d019e2f0430d07db7f55c0b27","datavalue":{"value":{"entity-type":"item","numeric-id":5047172,"id":"Q5047172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$83A2FFFC-E1DA-4C51-9393-CF9102F00AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b33b844babf2dc4d4203ecd68a6298ad6347dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4885894,"id":"Q4885894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q293348$F20BF339-19DB-4A24-A445-5D03B1B5F529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbdf558215e95348c7608110c0193667ef907723","datavalue":{"value":"W2085365804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q293348$34031293-82A9-40CE-A878-EAC24B06E8D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9136d97b5b173e258e850b866819a09fee5e6665","datavalue":{"value":{"entity-type":"item","numeric-id":5047172,"id":"Q5047172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0c47a7ae1e488793d5a98c37bd90e6c353a2c5","datavalue":{"value":{"amount":"+0.8723490238189697","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":"Q293348$178C2E9C-EF1B-4621-BE52-F907E07B302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f09bf04129bf7e17423785958f7c391ed60cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4536383,"id":"Q4536383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e30b98099cb2abe627fe74a7c2e8af908485d76","datavalue":{"value":{"amount":"+0.8592477440834045","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":"Q293348$F05A3B30-35ED-4DA5-8096-8A9C856C94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7dc932a2feb393398a2bc48a57a3d66764ed84","datavalue":{"value":{"entity-type":"item","numeric-id":1854421,"id":"Q1854421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c634a2a2b4f1333b1a26f3f7d71be4e4d6a44b","datavalue":{"value":{"amount":"+0.8500055074691772","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":"Q293348$CDC7D020-947D-41C9-88D0-CAE0C467A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0bda990176f54c226fcde202c83014334eeb4e","datavalue":{"value":{"entity-type":"item","numeric-id":2272213,"id":"Q2272213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa5d14361fc0746c00c4c154929a5a5654f11cf","datavalue":{"value":{"amount":"+0.8481974005699158","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":"Q293348$07BDE3AC-F581-426D-AED8-40F48B48A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d463ddbfd8a150dbb3fbe78d0ce5cdca0a37b79","datavalue":{"value":{"entity-type":"item","numeric-id":4255560,"id":"Q4255560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33397a1cec7606e4f0ae5fb54cfeb629420eb5b3","datavalue":{"value":{"amount":"+0.8312757015228271","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":"Q293348$087719DF-70C6-4852-9158-9C2CC7322FC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parity OBDDs cannot be handled efficiently enough","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parity_OBDDs_cannot_be_handled_efficiently_enough"}}}}}