{"entities":{"Q606913":{"pageid":608689,"ns":120,"title":"Item:Q606913","lastrevid":63044445,"modified":"2026-04-11T09:59:37Z","type":"item","id":"Q606913","labels":{"en":{"language":"en","value":"Resolution-based lower bounds in MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817469"}},"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":"Q606913$E6898479-FF0F-4D1B-A43C-9139EFBDA41A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b056681bcc2b556a69a214b05bbd38fc5ad64632","datavalue":{"value":{"text":"Resolution-based lower bounds in MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q606913$322B730E-514A-4E4C-B098-55253AA2B839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5e1b83e4a57938181cf5a7e7867a75dba46301f","datavalue":{"value":"1208.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606913$C74DE511-DF5D-4904-B027-2A047CFEAA22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$AC07B7F9-63CD-4F78-8059-118A79B9A78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff458770d9b596c807ce5cdc55af95dd28a08877","datavalue":{"value":{"entity-type":"item","numeric-id":606912,"id":"Q606912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$7B67856A-D252-4B9E-9185-296E984920F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$394BB7C6-2375-41FD-9AEC-9030632F8FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$08DF0234-75FB-4916-8CDA-245CC6D5B306","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$0F6008D3-235C-40CC-93F4-26F5B1C363D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q606913$6439CF10-9A63-4C1F-ABD3-8967CEDFF7AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606913$C7EEF774-15C3-4276-9A7D-430E14A1CD94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d782335c2d5f2fd70eaa2574c70b205800e2452","datavalue":{"value":"5817469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606913$CAD2C556-A9D0-4759-8CEF-4CF30F3FE506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q606913$33620B31-EE9C-4CB1-9250-7CBCCB6A2049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q606913$5EA77D18-6637-4A99-B2CE-D989EF7AD6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q606913$629F37E5-E6A3-45A8-85DD-F30ADBCD26DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0af6d01e3382ec38296633ca960bb22b18f6469","datavalue":{"value":"underestimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q606913$0F897CBA-4FEC-438D-A49C-C1FA6C738B98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$B3B4FAEA-0ABC-4556-9AB5-ACF757485CCA","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":"Q606913$2DA56BA3-3A69-465B-A144-6BE5D76048D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53100b6802163a3fb818b8c410054c7ebc498fa1","datavalue":{"value":"https://doi.org/10.1007/s10601-010-9097-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q606913$A9396EBF-9048-4787-A834-E332A81B9808","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b87ae6ff53535fb872d70123caf53e471f5215d4","datavalue":{"value":"W2027945171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606913$289CB79F-34B4-49DB-A559-04894C293245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$C09AC670-A335-4A45-8A9A-AC2B45D656B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0486d6e559bc9c2b47df730ec87f1cbc69b5e2b","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$C08A13FF-74BB-4DD7-9C03-2689A8F0CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$7E1C1BD2-B6FE-4D90-9EE2-9AB1933B9D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdff66a949bf878c168f94d05d31187fd6209bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3523061,"id":"Q3523061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$03252D10-62E7-44C6-A3B8-11411BDA2810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca3a432c939c1be42016652ba4f0a805ab2d26c","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$2B94B087-1563-41E1-8EFA-E04A27367D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$FD460A09-E88B-4F4D-A00C-FE5613858F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf53a05ca5e221f32a08c5782b9190de6ccdc31","datavalue":{"value":{"entity-type":"item","numeric-id":3637180,"id":"Q3637180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$51519E61-B264-4852-AEEB-1FF0B30CA27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443cd473ebce78c7ad31f34ee6d5d983cef28bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$8F6B59A6-FE19-4C3A-8E53-240E16998AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$00D1C6A3-16C7-44E5-93C3-E74EE3ADDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8f681b71e44bfc41bcf0ab91971f6838b9315c","datavalue":{"value":{"entity-type":"item","numeric-id":3604006,"id":"Q3604006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q606913$7AA54F59-41B5-4DB7-8284-E0DB3DE69453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348a7ea5165ec1710b62a0dc69d5fffbd8e5fbbc","datavalue":{"value":"10.1007/S10601-010-9097-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q606913$6F188B26-4C7D-4946-ABAB-8E158436C0B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ce69955151ccd2dc72b95ba5d28c51a4dc97ca","datavalue":{"value":{"entity-type":"item","numeric-id":3637180,"id":"Q3637180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044c7b52773e850c0a58de013f1485d49b260f73","datavalue":{"value":{"amount":"+0.8607140183448792","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":"Q606913$E0F262D4-5519-4A4A-B8A5-292CB8514587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c526ce332ca4cdb81e3ee9f9a097b27647501976","datavalue":{"value":{"entity-type":"item","numeric-id":5015596,"id":"Q5015596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e3956516ed361393408e8d195f583b803d35f3","datavalue":{"value":{"amount":"+0.8304722309112549","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":"Q606913$D5F34A48-4E9C-4D5F-A4F2-52EF93C55763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2927f16985dd2c74662cffbdbad6781b22464e","datavalue":{"value":{"entity-type":"item","numeric-id":4632177,"id":"Q4632177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d7d6ce6a7f1d57cf9e64872587d34286b8ef7e7","datavalue":{"value":{"amount":"+0.8274306654930115","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":"Q606913$BEF33B87-3D0C-4591-B06A-7E0474BB1284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab102f2031685dd863a75c62a169b22acadfc07","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a85cfaee795a05a55f2b43e8166493422a11bfb","datavalue":{"value":{"amount":"+0.8198626041412354","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":"Q606913$93E59A68-2115-4C6A-ACBD-02FA4A90AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01765a17b3c335ebb6ef04e7052dbb7cb50e2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2046032,"id":"Q2046032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3018d089a4e350abe02851a3db289dca2986fc17","datavalue":{"value":{"amount":"+0.7845543622970581","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":"Q606913$620E0C17-161E-46DE-A8C2-E4B80EA3F302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution-based lower bounds in MaxSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution-based_lower_bounds_in_MaxSAT"}}}}}