{"entities":{"Q722517":{"pageid":724366,"ns":120,"title":"Item:Q722517","lastrevid":63837339,"modified":"2026-04-11T15:53:21Z","type":"item","id":"Q722517","labels":{"en":{"language":"en","value":"A moderately exponential time algorithm for \\(k\\)-IBDD satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6911184"}},"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":"Q722517$23D69101-9DE3-47E7-90D0-4E90FD020CF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fc26eb3968a8ebceeadd2713454f3d7c353633b","datavalue":{"value":{"text":"A moderately exponential time algorithm for \\(k\\)-IBDD satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q722517$544B4D7F-D4EE-4B8E-A07B-229196B7811C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f7b4b0a949fb0b08cb2aa967ff8558c090e1af","datavalue":{"value":"1391.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$A3DD299E-658E-49E9-9A4D-09687591DDAB","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":"Q722517$7F8B9C34-5C5E-4F86-A3F5-5C9630F5639D","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":"Q722517$F8276E2F-49E8-48CE-AF01-E6C77A76F3C0","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":"Q722517$721517E3-B5D6-4F02-9231-CFBC76ABE3A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722517$AE445D76-48C4-4ED8-8FAE-0D2015FA04C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c11ebaf7be0aa0574d40db26aec7772df0b741f","datavalue":{"value":{"time":"+2018-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q722517$44C0513D-C935-4781-88DF-11E5FFBB99AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$EE980019-8F57-428A-8D64-3EDCECDE0293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4c7884de97bf1db411a802e59342bd9abef8975","datavalue":{"value":"6911184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$3416E598-9BEB-4C27-AE99-4EF5CD467E26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acdd5736821fcfde2f259ba06e77b52fbf5040cb","datavalue":{"value":"indexed binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q722517$49737E10-3FC3-497E-A6D2-37673BAA3A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q722517$F4520F90-98D5-467B-966F-221921C0A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q722517$D1769278-D938-40E7-9250-C5A7F0456E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a551d1810e841ab46e8ca10b0debc7610358aca","datavalue":{"value":"moderately exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q722517$154116B3-7BEE-403F-ABC6-30BC8A833D7E","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":"Q722517$04BDEA58-F4D0-4959-8D7F-D2FB4DDCB809","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687d0bf5ec676873cd2aeb9cd38c6f55f5ac9bfb","datavalue":{"value":"https://doi.org/10.1007/s00453-017-0332-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q722517$0E74DED3-9C5C-423D-BE45-BDECF73602DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"032a90823a3c7e8e1bbd6c04d3b568d7f4b6045f","datavalue":{"value":"W2677509542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$5C9E3423-41BD-4DA9-AC55-22C83821906F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eeeecc2cc8440fd7b27e57b2cdb9577ce74f9ad4","datavalue":{"value":"Q115606758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$A6EFE0C3-8ECA-4C8C-BE86-9AB8B080DBDC","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":"Q722517$56F9E444-3515-41E7-8AA4-136985272547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722517$581AF81E-8B04-4B79-8D2C-965557AC72CA","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":"Q722517$2114057C-7703-4371-85BD-AE889890EE22","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":"Q722517$7AA7AE76-55EE-4BC8-9EC6-BDDB6227B84F","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":"Q722517$7B2899A7-B1E1-487A-90B6-1AFCD7953DF1","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":"Q722517$95CD95AE-79AD-467D-A47B-099475B7446B","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":"Q722517$174EDF80-714A-45FB-B4C3-3420D6847AA0","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":"Q722517$5DB42111-C3C4-478E-B167-CDEB05C84024","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":"Q722517$A59CCA57-5E8B-4BF7-BDC6-565AE0CB3A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c781337e93f50cfcff52b43f4e06243fa301e132","datavalue":{"value":{"entity-type":"item","numeric-id":2848219,"id":"Q2848219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722517$B5708F9D-EDA6-40A0-A59C-B7B382E4851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9295637fd4e359fc8e65c1b474446e900dfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q722517$02193C8C-3D57-48DA-9509-05A9E7051645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977034ca5951a049561ae429e19d136db610ae6a","datavalue":{"value":"10.1007/S00453-017-0332-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q722517$D6008FCA-0C48-41A8-A391-2976AAC35D1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604bdad13bbe7946a95ec4aa7b205f222ff5793c","datavalue":{"value":{"entity-type":"item","numeric-id":3449853,"id":"Q3449853"},"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":"Q722517$A37237E6-24F5-43F0-9B5B-221B459F0D83","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":"f1de0d3839eb76af4479d1a8fc8515d67b372ec0","datavalue":{"value":{"amount":"+0.7385414838790894","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":"Q722517$E87D89E7-DA98-4BF9-B954-D199139D05AA","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":"dcda5c7bf477919d829bb4e110dde4aa7dac5c08","datavalue":{"value":{"amount":"+0.7377413511276245","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":"Q722517$7968179B-1CE9-4235-8840-A554D72E1884","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":"44afba4be31b442872e517f596993299b12838a8","datavalue":{"value":{"amount":"+0.7357210516929626","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":"Q722517$7C3FA0A0-53C1-4048-A316-4142FB6359AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523669d77c7bfb0959d1982a3bf988b9af7d59c5","datavalue":{"value":{"entity-type":"item","numeric-id":2769575,"id":"Q2769575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8511bb387ef775429f304da42e9b11ed8831e1","datavalue":{"value":{"amount":"+0.7296072244644165","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":"Q722517$B0161060-DA36-4EEB-A365-622FC5AE1F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A moderately exponential time algorithm for \\(k\\)-IBDD satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_moderately_exponential_time_algorithm_for_%5C(k%5C)-IBDD_satisfiability"}}}}}