{"entities":{"Q3449853":{"pageid":5202992,"ns":120,"title":"Item:Q3449853","lastrevid":80496758,"modified":"2026-05-06T16:20:00Z","type":"item","id":"Q3449853","labels":{"en":{"language":"en","value":"A moderately exponential time algorithm for \\(k\\)-IBDD satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502382"}},"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":"Q3449853$390FDDDF-E283-432D-90C0-8EFD8807A924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e8956e3c4bdaaea8a1dadc6634344192061e74b","datavalue":{"value":{"text":"A Moderately Exponential Time Algorithm for k-IBDD Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449853$7D5E1747-DBCF-4833-B228-D309F576FF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb320f9a722328c17e618edfbfe95c636a623cc2","datavalue":{"value":"1392.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$F8EC3E15-3B9B-4951-859A-B94FA0646FB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"732e14a53ed2e9866fade5440a6561e747f8bfcb","datavalue":{"value":"10.1007/978-3-319-21840-3_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$1F8E22E8-4856-44D8-A025-241E25583E43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fbe4cce131fccba1ccdfe6e89ac12420b07ddc","datavalue":{"value":{"entity-type":"item","numeric-id":722516,"id":"Q722516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$80AB356C-5AB9-4A30-A547-F6F9DFC63B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7818cb23a1bb748e287bed7600ee230497de88d","datavalue":{"value":{"entity-type":"item","numeric-id":354653,"id":"Q354653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$B2633C35-4148-41A3-A0CF-8AAB8AA64737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c3ca709a8055e24df1ec821564d1fb97a85eb2","datavalue":{"value":{"entity-type":"item","numeric-id":714864,"id":"Q714864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$27FCDBB6-0889-4AEE-AB64-AEBE48FB6FD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$7C5C3D6D-2BD7-4019-9F50-0E98A11F4427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449853$C3931991-AA0D-4146-92AE-D09766DC3C25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$1BC19D00-FBC1-422E-8F76-27EFEF0EA8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$DF490561-84E9-4A3C-B46B-C0D5523B15AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d91756eddbdc8935b35ae097c145c203c0dc858f","datavalue":{"value":"6502382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$52D722B0-C4F4-4745-89F3-6179EA3B62B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acdd5736821fcfde2f259ba06e77b52fbf5040cb","datavalue":{"value":"indexed binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449853$4FFCA3D9-5927-4A82-8DF7-9486C6F1BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449853$47937A00-B714-46E2-A77B-A8B4AB6CE437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449853$A0108B35-A5FE-4A20-8974-9410737681A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a551d1810e841ab46e8ca10b0debc7610358aca","datavalue":{"value":"moderately exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449853$C9363E0A-C718-4949-A917-1887C4A53792","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":"Q3449853$FAFBB71D-3490-4012-9260-D54C9358DD13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95a47a71e31f4773dc9438c70e51e19e67523bf7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21840-3_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449853$F0B7EE09-D9C3-4EEC-AD1B-05B759CE516F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb5adb655583c0d8200bf2e0c5d1958e7a9950dd","datavalue":{"value":"W2408681863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449853$588FBF09-0D9A-4EDE-8F51-B01747F88053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a76d8dc3c71a3b236610822138527f3e1ebb2f","datavalue":{"value":{"entity-type":"item","numeric-id":5191645,"id":"Q5191645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$6D4D883A-B0A8-4974-82EE-9ECE6B48C637","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":"Q3449853$DD2EF5ED-ED61-4E98-A8E4-A55A001C357C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70009dfc8f09fcb3a3435bd0a77374e4e087449a","datavalue":{"value":{"entity-type":"item","numeric-id":2351392,"id":"Q2351392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$B81809C2-2AA9-41A5-96D5-313451830873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c2203ddfc26917d54d8693018456bf91635b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$FDAD97F2-8D4F-450B-AAEC-7C7D80CCD8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877834c4ccddc8fbecd398cf14bee4029dffc4b0","datavalue":{"value":{"entity-type":"item","numeric-id":3434543,"id":"Q3434543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$73041D16-3429-464D-BF62-7F638D176800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351fcf8547cbdfeeae47fd4ed591a61bf10131f0","datavalue":{"value":{"entity-type":"item","numeric-id":5743451,"id":"Q5743451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$DEEFDAA0-677D-4C4E-AB8D-24985DE53167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2e18e22bdceb10ced114e23ee143c1222e350","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$A4DC36BF-9DBF-40EF-924D-63CF3ABCCC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eede2620f0805f80f7cd0dc2238e609c55480b","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$1CDB59D4-ACE8-499D-84F7-00D86D8E6E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449853$628C9232-CC79-4C7C-BD16-7E831A37339D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6833c4ef2374933e0f7869b7ad288045d8e9429d","datavalue":{"value":{"entity-type":"item","numeric-id":722517,"id":"Q722517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63d0364f66a1eba094ba2e40cd70274c760810b","datavalue":{"value":{"amount":"+0.9659934639930724","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":"Q3449853$C5E1287D-4842-4EF2-A780-7EE0264B81C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5793f574ae5507fc166fe9f02a89221a55bb35af","datavalue":{"value":{"entity-type":"item","numeric-id":5136279,"id":"Q5136279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ad74efe576b802c7463e6e640c98919f8f4565","datavalue":{"value":{"amount":"+0.762920081615448","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":"Q3449853$20019410-1443-4C38-B524-0B73BBE6A363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1237131b87798a30d98b98023d1d4fdb505b7601","datavalue":{"value":{"entity-type":"item","numeric-id":2032296,"id":"Q2032296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717b367aed2db581ae2be356034e76d0925946fa","datavalue":{"value":{"amount":"+0.7573755383491516","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":"Q3449853$4373E4D4-6093-4CE9-AA35-F8CD9B23A51A","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":"83f491b1bce3e8b4b91cbc93b06f94351ff845ae","datavalue":{"value":{"amount":"+0.7389621734619141","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":"Q3449853$6FA5DF6D-BD01-4110-AF2C-5D4DF5F84962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95e22327925cc9f6612512d3bc9000bebc1e49","datavalue":{"value":{"entity-type":"item","numeric-id":1964360,"id":"Q1964360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b0c403123bf32af7941eef36b3ec271a2fa4ec","datavalue":{"value":{"amount":"+0.7319045662879944","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":"Q3449853$310CE6F7-4AE1-4296-BE15-B632E85A1879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A moderately exponential time algorithm for \\(k\\)-IBDD satisfiability (scientific article; zbMATH DE number 6502382)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_moderately_exponential_time_algorithm_for_%5C(k%5C)-IBDD_satisfiability_(scientific_article;_zbMATH_DE_number_6502382)"}}}}}