{"entities":{"Q644808":{"pageid":646656,"ns":120,"title":"Item:Q644808","lastrevid":63251580,"modified":"2026-04-11T11:37:43Z","type":"item","id":"Q644808","labels":{"en":{"language":"en","value":"Solving MAX-\\(r\\)-SAT above a tight lower bound"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5968730"}},"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":"Q644808$3CFBB8A3-BE00-4D7E-BC6C-2E7908951F2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa8078012a6dbc18a2f453b1c3401401beabac4b","datavalue":{"value":{"text":"Solving MAX-\\(r\\)-SAT above a tight lower bound","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q644808$338E05D3-4E18-495C-A6CF-D7F5B91E3725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a06e39a013007b3468da82881c6ee0fca311d6cb","datavalue":{"value":"1242.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$F1723EC7-AF76-4DDF-BA12-26C9CAFE1973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c61d0b4df374523ec5b59f8a7d6c81266878fe30","datavalue":{"value":{"entity-type":"item","numeric-id":178698,"id":"Q178698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$C84F3A1B-E216-42C9-B355-767BE2ED3464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d62d1b98a8e47330bd8d09b4c364147d7b3d1f6","datavalue":{"value":{"entity-type":"item","numeric-id":168084,"id":"Q168084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$8D472E7C-F30A-4BF7-84B6-9B5CAE46CF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6262efd1915025296e003f7d5373cfeaa80418","datavalue":{"value":{"entity-type":"item","numeric-id":632806,"id":"Q632806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$BCD25B0D-3333-4782-8B1F-7A05D56BF4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$E2F07275-0297-4C8F-8200-16C31023654A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce446809cda0969b939786a794eae79a100b8b76","datavalue":{"value":{"entity-type":"item","numeric-id":168085,"id":"Q168085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$371BC87C-8550-460F-A32F-2B9F39610148","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":"Q644808$41573DEB-FE0F-45AE-8EEF-4E52A058B670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b07dd7a3eff452db33a6650b9ef90702ab02d89","datavalue":{"value":{"time":"+2011-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q644808$B15F6BB9-46DF-4E1A-907C-9E3EAE2A9708","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$D59C39F7-F513-4B99-9311-FAAE0226E6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$2433AEDA-2C2A-413F-819B-B756350BAF41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f01c0461ce8765c66b436646196b3d5880f87c","datavalue":{"value":"5968730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$D3AF2B35-A60A-49DB-B5DA-605F45E3D5D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161063697eea508514f769ad9557fd0517e18331","datavalue":{"value":"max SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q644808$CD5DD859-D5F9-4CE3-87D3-C8CE0EAED01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676957cb97439560a58dd39a6351ac3ff2dddd2a","datavalue":{"value":"fixed-parameter tractable","type":"string"},"datatype":"string"},"type":"statement","id":"Q644808$8889E1FA-79D4-41D3-9CED-587225D64D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811b81f3fcda3bc0af7287a2aed1087a46e6bea2","datavalue":{"value":"above lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q644808$F63BEE57-6A11-4105-8507-298E97F7B85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q644808$FC2CC309-DEAC-4514-BBBA-6E830B446AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a79364b2d3e7d8469bca7b25119696ee62c5ec2a","datavalue":{"value":"bikernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q644808$F5C426C4-7190-474E-B1E0-B09C656D8967","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":"Q644808$6E00EFB5-2312-40F5-A130-5BD2D586E347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db45d66a34976099714ced22aa0d3ee37ca68599","datavalue":{"value":"https://doi.org/10.1007/s00453-010-9428-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q644808$28A77E27-15A5-4832-A812-C11729FA4BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01827371664fe586033730c81ca4eb87a219afc9","datavalue":{"value":"W3137355438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$53921A72-9FA6-4419-8CBA-B6F030367849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118d035d2459ea5d974389a9ba27d24cf9494c50","datavalue":{"value":{"entity-type":"item","numeric-id":4819698,"id":"Q4819698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$12FAE0E5-9BD4-4FAE-9F37-8C4E81F9F5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$9B86FA63-7333-4275-A74A-CBDC8A759819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3826395f74e3a23428a80ecf75f2bac6385da4d","datavalue":{"value":{"entity-type":"item","numeric-id":3258698,"id":"Q3258698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$2BC9BF50-0C48-4E14-A728-CCF4BA35E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06961e8206fdad2bb34aaa64be936a58c005219d","datavalue":{"value":{"entity-type":"item","numeric-id":3656848,"id":"Q3656848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$28E1B472-D6E6-4E2B-A311-C3EB2440072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b19a3632c2026e90215c41118dbb16f94a23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1034099,"id":"Q1034099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$D57FDD77-D47C-485E-BE55-32DE44C0DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48057e9566fc364d614321d8f1047f2172f358c5","datavalue":{"value":{"entity-type":"item","numeric-id":3639278,"id":"Q3639278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$9FC32379-F9D9-4DC1-AB54-5DC317D67006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0948050b4a7ca08ec5265a8c32f46b04521a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":2539305,"id":"Q2539305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$3BBC0B15-8651-41F7-A2BF-E3E11EA17B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$2E885AA3-9DD4-4D10-BD70-C93E12B9B6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79387ac38a03478593410344285a7ad25cd2238e","datavalue":{"value":{"entity-type":"item","numeric-id":3569888,"id":"Q3569888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$7BF04BD1-8285-47B8-A358-668B37CF155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e20515d7fb50e98c7d3215121fe76d91ec6609","datavalue":{"value":{"entity-type":"item","numeric-id":4850549,"id":"Q4850549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$4E476F78-5482-4F35-BEE2-393602223701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$A5959EB1-3A5B-4440-B34A-DA3CEC79FEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f27930b4745fc3b691015d1f5d397def86e843","datavalue":{"value":{"entity-type":"item","numeric-id":2464326,"id":"Q2464326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$2914A681-000A-4FFD-8FBD-E31B4F822D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684b30669da5903aae4fa646e98d0f73a6846d3b","datavalue":{"value":{"entity-type":"item","numeric-id":958202,"id":"Q958202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$2AA41124-CD4A-4180-9D99-B69F5E2B7DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7c7943a404c185b8b80ac03ca3f020e9a80fd","datavalue":{"value":{"entity-type":"item","numeric-id":1959433,"id":"Q1959433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$E9BF7D4C-EB1B-4C11-97A6-2806531B6D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbcbb1cb2cb2b9af6048b9fce9a19bdbdfadab6b","datavalue":{"value":{"entity-type":"item","numeric-id":3656865,"id":"Q3656865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$0C27A985-D045-422B-83CA-67B855C7DD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$634D019A-4525-4450-8093-2ED6728E28E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfe2424386bb2471c19b4b4e808f97114685700","datavalue":{"value":{"entity-type":"item","numeric-id":5894908,"id":"Q5894908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$AC861788-554B-4FA5-ADF5-380406073F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$90218CE8-1370-4559-AA5A-3FBFC6E739DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1471c51a9dded037c35af42936b0602e38dcc8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077442,"id":"Q4077442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$FA83E59A-FA4A-44FA-B57C-3D88AF4E46DE","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":"Q644808$A5F84EB0-4BB8-41F4-9BAC-265EB44202EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6370b6f9413b59eb95bff40c0e97d85e873716c","datavalue":{"value":{"entity-type":"item","numeric-id":1004602,"id":"Q1004602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$88CD28A2-CC49-4B62-B0E0-0A604CD17823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$4C2D9B64-23E1-4643-AF51-1D1D4486E5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a60583410113f671ac14914652a2f7012e5461","datavalue":{"value":{"entity-type":"item","numeric-id":5302081,"id":"Q5302081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$D05BFC11-EF07-45E5-876F-F3FE142C5D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f1e6ace06d9fb688766bacef86bd431bbb16b1","datavalue":{"value":{"entity-type":"item","numeric-id":812398,"id":"Q812398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$B841DE97-B7D8-4716-B506-84D618A3494E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530e579d1a7cd83e6be079a1f464b5a77ef64e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3642873,"id":"Q3642873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q644808$437AD342-0EE5-4D06-B6BD-492673624B68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ae8c0dd6c694a3d54d6e04853d2ff127ec24fc6","datavalue":{"value":"10.1007/S00453-010-9428-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q644808$209E182E-1798-428A-879E-A4E0DD8A4F9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40929754a6d68a5aff570783a44cafd5cdb6028","datavalue":{"value":{"entity-type":"item","numeric-id":5417644,"id":"Q5417644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8976794aa6a241e9a35e80eb5247205139e3fa","datavalue":{"value":{"amount":"+0.9573487043380736","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":"Q644808$C6B4245C-130C-435C-8CE1-D0947410D7E0","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":"70037b26168970b21bbc3e336d75133b0a5be8c9","datavalue":{"value":{"amount":"+0.8346102833747864","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":"Q644808$A89EBED1-145E-4952-8C97-067DD5C7D0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d2df80563fa92976ace146e641f9bedd43eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18ece5fbff9be75d7b3b4c4d4b91c117f8aab83","datavalue":{"value":{"amount":"+0.833973228931427","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":"Q644808$8B427527-ABEF-4F2A-9CE2-974071195C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving MAX-\\(r\\)-SAT above a tight lower bound","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_MAX-%5C(r%5C)-SAT_above_a_tight_lower_bound"}}}}}