{"entities":{"Q2405896":{"pageid":2416639,"ns":120,"title":"Item:Q2405896","lastrevid":73770519,"modified":"2026-04-14T17:12:34Z","type":"item","id":"Q2405896","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 6781970"}},"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":"Q2405896$FDFCEA51-EAC8-4B3E-AB68-8EC8BE404D8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f0fb7f36b2b0d3f734c63022d42854a4e509ae7","datavalue":{"value":{"text":"Improved exact algorithms for mildly sparse instances of MAX SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405896$ED0D7B3E-C65F-4F66-A534-BC1D4F2D3836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4195f5f8086c5edccf21b7ea197888b19da7ffbe","datavalue":{"value":"1379.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$642C5499-78C7-4C94-9198-D3EE86781A2D","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":"Q2405896$9AB42EC8-3203-460D-9BAB-9058097D44E6","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":"Q2405896$5D70616A-B6CF-4652-9777-E493C6FBB5A8","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":"Q2405896$4D4320E5-C11A-4B89-9B2F-3D8E286BB9B7","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":"Q2405896$15BAEDCB-AC8E-4130-8E78-8ED1F672AFDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$8EC2585C-69DF-4843-A788-3310345C1742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405896$3B0E9D1C-ABBD-404A-A4A9-411F10B0DAD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e248fdf6f54909cd1686034e61da184bc0ff43","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2015/5574/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405896$AFFDC911-34C9-4538-87BE-986F3A594DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$EFC0A2C1-B87B-4D51-AC00-D29280DEE799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$F0211B87-0F47-4164-9621-ABD5CE108603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$8F9E612D-AB77-4FAD-BA7E-82336A938BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$140248D5-94D2-4037-9F6D-CB8A3DC4A7C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06159a872efc7eeccf917f2c07138bf9decfed36","datavalue":{"value":"6781970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$AED55E88-6125-4B25-992F-F7E9D502837C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405896$F5231D7C-DA8B-4CD2-8219-470A33DB1B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6679df142daa5ab1c6555dfe8b32838423da19a2","datavalue":{"value":"weighted","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405896$2139A80D-BEC6-4D41-84C9-2465FFF3A12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405896$7E0BA99D-2EDF-40E7-8D8D-FE4406E98451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"def909130a0a6a821a04964ae74cabf0b5a0b078","datavalue":{"value":"exponential space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2405896$F5AAED2A-E690-40D3-91A2-365FEA9F89A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e07ac258d59c8e1ba77c20daae1bd8c4b666c30","datavalue":{"value":{"entity-type":"item","numeric-id":15887,"id":"Q15887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$637B73F8-86BD-471A-B88F-028B33D21B6D","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":"Q2405896$64087886-EAF2-410E-9550-8DB7BA834E0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3419cdf695b71026cfd312cece7df71f3dedb8bf","datavalue":{"value":"W2739024676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$0E3F264A-3870-4841-A8FF-26DA87DC995D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47614eb02f0bf4af90ccdbaabb6abfe86e3de0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$6F6A2550-FE99-405E-93B8-EA3083FDCB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d82838b92af74c47e63e92eef317d5e123b41","datavalue":{"value":{"entity-type":"item","numeric-id":616992,"id":"Q616992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$3EB25CA7-1A1E-4791-BAEE-1203D47237F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7824bcc2c0cef48a59c7af5cea7e9a1a9ca3c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$FED9FDFF-CD9F-4890-A6AD-8282755439E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c91f7565cf2db1f95e7eb525f27192b8c5f5d1","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$9755D908-4C7C-44B1-8C06-EB2891B3B43A","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":"Q2405896$3209FD29-030B-4EFD-B8AE-4D0084B0A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6e2c2ecad99ba6427a45c0566f6b794580473e","datavalue":{"value":{"entity-type":"item","numeric-id":3453207,"id":"Q3453207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$47B05BC0-6D4F-49FD-B554-771226399E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$501EB019-61F7-4940-B7FE-3BB08C10CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84b96802a4bc595abfff91b293156ef6206f716","datavalue":{"value":{"entity-type":"item","numeric-id":5756576,"id":"Q5756576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$39D5FF34-8704-4F52-8C01-A50FAF4D4C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79f25b2035120832c510521c1dbe664461a9c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2944526,"id":"Q2944526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$D537CB1B-6672-4259-9E88-92318733DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f77347970e953e82d8dddf1fddbdb2c14d24ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3452221,"id":"Q3452221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$D4F82521-FB81-4A03-A552-8A8DDF0753F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf5771aa66e6ca373f422439db26fd42a9ceb63","datavalue":{"value":{"entity-type":"item","numeric-id":414887,"id":"Q414887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$247099A8-877A-49D1-860E-2EE157D31852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0f5500d22604d47139ba7d36b0916a1c51e015","datavalue":{"value":{"entity-type":"item","numeric-id":3448816,"id":"Q3448816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$EAAD0CB8-C9D4-4C3C-8FEF-D964031D464C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d01ac35fdb3a2a8676cf01f883c4272b284f32c","datavalue":{"value":{"entity-type":"item","numeric-id":2437759,"id":"Q2437759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$568DA235-024C-4101-8702-15304F17FCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd9dca378e2837fcc1caf4cfda7d5448dbdf8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$8980500A-1657-4DBC-A61C-D66EF78397D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf4ffb6e897eb247f5efef8a1b633b0a61ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2728900,"id":"Q2728900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$A5199BE8-4FF2-4303-8527-5DE5A18734D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e9da34c82c366ccf729db1093ea98b834319eb","datavalue":{"value":{"entity-type":"item","numeric-id":2908541,"id":"Q2908541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$5D00F54A-8A2B-4FA1-B88A-A9C31E69E7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a46e11264b888323b8f511c53cbbfccda455c3","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$B4E121F0-BC0F-4D3C-A1C2-7A2EE99A6645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd51ac2ef0b0631c90436ecfd0cfd39d844f167c","datavalue":{"value":{"entity-type":"item","numeric-id":1408379,"id":"Q1408379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$AA37D02A-C74E-4766-8383-C72AD3A6AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa9f9715427035ef462cfcdefe75b19a9485dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5492890,"id":"Q5492890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$DEBC3ED5-0248-4177-A108-43EB0471264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1292c4c0a77d8c771964dc12f8d09dd29c68ff","datavalue":{"value":{"entity-type":"item","numeric-id":5189527,"id":"Q5189527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$2A1ED864-75D1-4A26-8D57-B5F062501674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214146a84d0a2d1ffd45520ce683f5a42a01a1ae","datavalue":{"value":{"entity-type":"item","numeric-id":844150,"id":"Q844150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$DF6005D5-1F4F-4803-9985-DE51B13C3B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d5b0726494a65e0b703d8d8075fdbda44c3a69","datavalue":{"value":{"entity-type":"item","numeric-id":3581524,"id":"Q3581524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$E90BDC98-8ED5-4ABA-9F1F-CC93F73E7B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6286f35ff20488b0e33718136fc6e15babb3914b","datavalue":{"value":{"entity-type":"item","numeric-id":5713737,"id":"Q5713737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$6F96D73A-DCA5-4D2A-93D2-E544CF1C34B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54532bff3725d39915a638916ada47e62eb5675","datavalue":{"value":{"entity-type":"item","numeric-id":3499776,"id":"Q3499776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$85C0BC82-07C3-45B1-8A07-9236B27ADA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ed68bb82322138e41236c78cc7522d16decb13","datavalue":{"value":{"entity-type":"item","numeric-id":3452408,"id":"Q3452408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$2871A20A-1910-4B98-BD4F-6AB5E17F7385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$3FEDCA25-3E34-44DC-82DC-A27FA96D00E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$81CF2E16-57C3-4132-861B-03F83D3F2724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d5565667f94d8986da1e170526e7a9f87a91db","datavalue":{"value":{"entity-type":"item","numeric-id":905695,"id":"Q905695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$7BEA8F1E-5811-480E-9AF2-A6E71B8DA210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd07f65143e7472f9da1dea05ac2bc3761502f5","datavalue":{"value":{"entity-type":"item","numeric-id":5363763,"id":"Q5363763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$0DC4B53C-8A70-4394-A3E7-5923BC6E0056","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":"Q2405896$C916E931-DE23-499B-AD57-BD4A47980000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5817a0bc97494271ca73689d808f7b75baba8599","datavalue":{"value":{"entity-type":"item","numeric-id":5900948,"id":"Q5900948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$FEA1C3F5-5355-4337-BD20-4D99C2AFDBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35e7e8088a1c75c0531cf5e343082d089b95179","datavalue":{"value":{"entity-type":"item","numeric-id":2427689,"id":"Q2427689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$6EBD35CF-7D7E-47B1-A9F9-8F012EBBF5F4","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":"Q2405896$51BD568E-5967-4CFE-BE97-9D080EF20A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6a72a62eb7ac00a65cb3378a54949f41ee0676","datavalue":{"value":{"entity-type":"item","numeric-id":2581276,"id":"Q2581276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405896$2EAD245F-62B3-454A-B62B-89C7CAAE1C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb6826b84c31f44e37b1f05eaa278ea197a0b2b0","datavalue":{"value":"10.1016/J.TCS.2017.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405896$520671FA-FA9D-4574-AEFE-542F5F7D3755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0767d26e1663ec6f18db65cbdbe3bbf3ccf4ffcc","datavalue":{"value":{"entity-type":"item","numeric-id":5363763,"id":"Q5363763"},"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":"Q2405896$E21B56CF-CC83-4E46-884E-C80D4DB275A2","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":"a416c44f208a02bc3519d8b7381657cbe4b4ae1e","datavalue":{"value":{"amount":"+0.9005851149559021","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":"Q2405896$48376F71-6214-466C-A304-C472384C217C","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":"edde2daf7b2dfc0d1c39d373e94f63a1e8bdcb94","datavalue":{"value":{"amount":"+0.897236168384552","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":"Q2405896$972F959A-EC71-4DA6-9A9A-5CCBE35447E1","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":"4f8c6b56fab0e972dcde389d794971bcdd4fefc7","datavalue":{"value":{"amount":"+0.8967134952545166","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":"Q2405896$BBFBCF0C-E339-406C-B2CB-F1BA34AC6820","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":"5edb0d97bc001abdac469e793e61a28e075eb05d","datavalue":{"value":{"amount":"+0.8710856437683105","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":"Q2405896$0879D505-27AC-41D4-B981-C4ADAEBF6547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved exact algorithms for mildly sparse instances of MAX SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_exact_algorithms_for_mildly_sparse_instances_of_MAX_SAT"}}}}}