{"entities":{"Q5015603":{"pageid":7045180,"ns":120,"title":"Item:Q5015603","lastrevid":91101245,"modified":"2026-06-04T22:15:43Z","type":"item","id":"Q5015603","labels":{"en":{"language":"en","value":"RC2: an efficient MaxSAT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441861"}},"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":"Q5015603$0EC75C39-8666-4721-A8CF-482FBE620F47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c48ad07aa66fd13d1f2a2c7ad7913c54dc391292","datavalue":{"value":{"text":"RC2: an Efficient MaxSAT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015603$281849D6-1518-4113-A00F-34439E6588B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11ede76f0e8297f8561259999579cfe41c725aca","datavalue":{"value":"1484.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$77E6172B-FFC2-4E44-A73C-0BAF7D592D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f47eb34b3713a0312a51067b14d0191c3596cbc5","datavalue":{"value":"10.3233/SAT190116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$13DEBAB2-345C-4154-A669-1AB89CE9D309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$1F6450F3-1839-43FE-8BC0-E42092706820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$C02211BA-C14D-4A9A-B2C4-DA03102AA05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$2774D24B-3ED2-4A11-90F7-B2D619016568","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$A4CD5319-EDA0-4AF7-94A0-E0F786A5C4E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015603$FAC8B58C-14AC-4C3E-9EDC-85BF69E0298D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$5FFEDCFA-DBB2-4428-AA05-49BC8253D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$1578BDD4-5D30-430B-A16E-5A63DE163640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd037f6e2d491a2814f4ffefac6ca132e87cd789","datavalue":{"value":"7441861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$CCF2553B-9ED6-4CFD-88E5-B2DD25CE4D40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015603$FD25DC28-8983-47C5-988B-D8BD6E3ECA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb89a1af93c2ef91292ae7088a35093943803e1c","datavalue":{"value":"relaxable/soft cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015603$E8DB2075-1204-4847-B492-26DD4164364A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$C8B402BB-B5B2-4092-BEF3-4502DBD6F7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$636D1F33-2400-4612-AF9F-C10AE51C2A11","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":"Q5015603$341E2E3E-3982-40D0-AE49-890813BB46FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$15690A2A-A530-4DA2-92D5-94D70F671EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$984AF676-F4FD-4FB0-9D45-CFB3186C978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b9cccfc903cada9d8349f0c04cc790bf17473","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$5ED16FBB-F948-4563-AE16-D015AA160E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$B069DCF0-737E-4822-B1B2-CD3CC4DEB931","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":"Q5015603$401322AA-A011-42E5-87C9-4D3F754664E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$E365FB05-E100-4486-B3B7-6E9B98AA5E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$B5A8B1A5-24F3-4075-ACF7-389E95C4D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fcb47205f7355f04704ca0aae0d1eced512c927","datavalue":{"value":{"entity-type":"item","numeric-id":5283008,"id":"Q5283008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$54DE5904-537C-4A3C-A3E8-05AAF9E61FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$C0700FB0-CCC4-4E5C-AE66-4B5810A4A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$C851FCBF-DA0E-451A-AF30-DF2A61277C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f472adf6f98b7ff0cf666c418ca949d6a2d2b5fb","datavalue":{"value":{"entity-type":"item","numeric-id":421451,"id":"Q421451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$ED2992DF-24B0-4C44-A041-07E1ABC68F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a89606ff47e4c6b9d8d3811a5203f7347f11c","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$6FDF0037-7C6B-4A79-8AE7-BE1CBFA01BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015603$709EFB43-F937-4D64-B7AD-4C9257A9E270","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe1f05c385d54ae6e2f061e5adbce17e656ee3a","datavalue":{"value":"https://doi.org/10.3233/sat190116","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015603$1BAC8146-16AA-4CA9-9AF0-7E28DCC1AE92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bd9aca7a121d16c7fca5e780d0e6568c6508d19","datavalue":{"value":"W2995373617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015603$EF64EC3E-DEA7-4CA6-83AF-411D97444A6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5621da8aa3736547884846e40196dd1802435ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b399368bb9b46419b374b8e09df3593c53cb97","datavalue":{"value":{"amount":"+0.7920249104499817","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":"Q5015603$474E9B36-5182-4102-A950-1CDE79B6C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9038d674eefffd6904d5ee211db874a5ee8d237d","datavalue":{"value":{"amount":"+0.7827764749526978","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":"Q5015603$B859406B-D92E-4C23-B6AF-E020A75BA348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94851d8563ba275202b8910bc97ac866bde4824","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6461c37f8b482278f6f1db51e1db8ea27ae66128","datavalue":{"value":{"amount":"+0.7521726489067078","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":"Q5015603$B3BA94E7-9096-4772-9295-E3F81CEACCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a16c79119ef3d2dbf7233c67f852e997edb416d","datavalue":{"value":{"entity-type":"item","numeric-id":5015595,"id":"Q5015595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0828f969eb67b2650fb8ce4b88072047cc85b31f","datavalue":{"value":{"amount":"+0.7511078119277954","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":"Q5015603$F085366C-CC41-433F-B9DF-098DFD4CDF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6ae75201ef83af672229a6b6085fd52c4019ae","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc2a69a7688ddc94454acb5d7245c4804575948","datavalue":{"value":{"amount":"+0.7506362199783325","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":"Q5015603$CE793A53-2684-4A2B-B738-5C67C2D75FDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RC2: an efficient MaxSAT solver","badges":[]}}}}}