{"entities":{"Q5363763":{"pageid":7393337,"ns":120,"title":"Item:Q5363763","lastrevid":92284295,"modified":"2026-06-05T01:20:11Z","type":"item","id":"Q5363763","labels":{"en":{"language":"en","value":"Improved exact algorithms for mildly sparse instances of MAX SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6784961"}},"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":"Q5363763$65FEEA17-B4CB-434C-9D0F-2AB990714857","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6ffb665b136f4aa5bb72c69c92d8edbb0d16cea","datavalue":{"value":"1378.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$F6729197-1766-4D4A-A4C8-9BC699059E9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c4ea0620f8a4aabc4b9b62d792756c9c112018","datavalue":{"value":{"entity-type":"item","numeric-id":905694,"id":"Q905694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363763$1D0E11C7-E7A5-457A-B45D-97A017E9C490","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":"Q5363763$689A829A-D920-44B8-B7A3-BE83F27ED121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4e5396d9a36ba6724dd0754e38207864e7997b4","datavalue":{"value":{"entity-type":"item","numeric-id":354654,"id":"Q354654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363763$36B765D9-AF04-4DB6-A84E-2F78E1838A5C","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":"Q5363763$2549B177-183D-4663-B308-7802841E89B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363763$5762E81A-937D-4E79-B4C2-F1610E561802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$27F0270B-776C-4939-B19B-347F6D00FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$0A2AA679-3B26-46D6-A23D-A6AC03AD1437","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e9fcdf09330f350bdb0695649710d2d6c87637","datavalue":{"value":"6784961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$3753AF0D-7F05-440F-9E16-0D4B6AE3E364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363763$08D68628-CC3E-4D02-A29D-910D17FCEC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6679df142daa5ab1c6555dfe8b32838423da19a2","datavalue":{"value":"weighted","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363763$1FC3A78F-6221-4B7D-AA74-3ACAA1DA6136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363763$CE51D5EB-C55D-4EC4-93E4-3BF05427D592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def909130a0a6a821a04964ae74cabf0b5a0b078","datavalue":{"value":"exponential space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363763$083A4406-8E44-4766-8B59-BE0699DB28B8","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":"Q5363763$C483AD73-83AB-4296-B708-5145F682D4CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"359113b34bd1aeb6f46c85a905d845fbe277bd6b","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.IPEC.2015.90","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363763$F4EBD7C9-4601-4CA1-AF42-87E7EBAB052D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73bb823da7cdb8275c43cedaf939a406bc8abc13","datavalue":{"value":"W2242797317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$B973D8E8-7620-4B79-B155-5C3757FF32E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e86d418ea7d748bc1854dd87c934798651fdf136","datavalue":{"value":{"text":"Improved Exact Algorithms for Mildly Sparse Instances of Max SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363763$4C5B91F3-3B07-49FE-9673-09E0EFE75E3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39180e609a48ca68055ff5250c3b62518e7c5ffb","datavalue":{"value":"10.4230/LIPICS.IPEC.2015.90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363763$8C1CFDE9-3FC0-422E-85B6-4980B6918487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa985f49f1d90c9a367a8fe21f2e646e8e991f9","datavalue":{"value":{"entity-type":"item","numeric-id":2405896,"id":"Q2405896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c49c3fce728080ab73b12564005ea5af6789d8a","datavalue":{"value":{"amount":"+0.9974592924118042","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":"Q5363763$1F5039F8-4E73-4B1C-957A-B3285582C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3696411579a745fb8747e6c64a2d6b9586663c14","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0823852cc29ccf9d183ba40a6495f607f5e85f","datavalue":{"value":{"amount":"+0.8968196511268616","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":"Q5363763$27B91F5B-25BB-4E61-A32E-A719757EE3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbc19dac30d105c630d07963a6770587d8a9d7e","datavalue":{"value":{"entity-type":"item","numeric-id":905695,"id":"Q905695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abd9c06442b330f353b5dab80d87215ced1c1cc","datavalue":{"value":{"amount":"+0.8935366272926331","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":"Q5363763$0828BD69-82AE-4C28-9189-08213255A036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f66723175510490f100da163b98398b8521e0f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192053,"id":"Q3192053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e604d5801ae3406ff2b9831abab308d6dfbd33","datavalue":{"value":{"amount":"+0.8927541971206665","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":"Q5363763$8A07120B-1943-450C-915B-F4668683B74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025450ef58df951e84ef796128e734354bc65f73","datavalue":{"value":{"amount":"+0.8730031847953796","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":"Q5363763$A920D46C-07FF-479D-A9EA-6FC90C178547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved exact algorithms for mildly sparse instances of MAX SAT (scientific article; zbMATH DE number 6784961)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_exact_algorithms_for_mildly_sparse_instances_of_MAX_SAT_(scientific_article;_zbMATH_DE_number_6784961)"}}}}}