{"entities":{"Q2424882":{"pageid":2435625,"ns":120,"title":"Item:Q2424882","lastrevid":53461700,"modified":"2026-01-25T00:10:59Z","type":"item","id":"Q2424882","labels":{"en":{"language":"en","value":"Resolution and linear CNF formulas: improved \\((n,3)\\)-\\textsc{MaxSAT} algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073272"}},"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":"Q2424882$7EEDE9FE-436C-4850-9E97-9BE3B7FCCB39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52c335ecc687ce29bd1b50001bc16635d20d1ea0","datavalue":{"value":{"text":"Resolution and linear CNF formulas: improved \\((n,3)\\)-\\textsc{MaxSAT} algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2424882$9069585F-0A2A-4D8C-B190-AC6D6A1F967E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b59f7ab54ba457fa08549c8d5f545347d0e1282d","datavalue":{"value":"1423.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$974A7EBC-3187-4FD2-84A9-51984EBF6ECD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9143ec573d3f36ac5c9e76c1458b562264255b11","datavalue":{"value":{"entity-type":"item","numeric-id":279093,"id":"Q279093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$8A246E7A-D6F7-44AC-B141-56A5B2D8009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8a65950537ecd49151985eb84e20845944c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":328685,"id":"Q328685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$F9A5E68B-EC04-454A-8894-771ACE1C693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03752c29b41d1b87b62e2669413b34e8ba69f6","datavalue":{"value":{"entity-type":"item","numeric-id":1599636,"id":"Q1599636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$AA3C70FF-A46C-4B09-A343-5F90564CB075","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":"Q2424882$8EBB28B0-B75D-446D-AA1A-0CF2B7C0B58F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32811a0eefced7079831f67220d5dfb015d0445e","datavalue":{"value":{"time":"+2019-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2424882$24BA0D39-B454-4BE2-ACF9-09736342C355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$3F61730F-F903-4F6F-A2F6-D387FD65029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$235E6576-4BAD-4791-BBCF-03E1A947477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$8E9C61A8-BEC7-4651-9E4A-4B11C8A509E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb6a943acbc8f20fbdcd1f10231b1e835ab4e39","datavalue":{"value":"7073272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$1330216B-2A83-4762-8821-FBB26A76B3DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424882$8DC3BABF-F997-40D6-8BB1-B03E5217A570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f2d080f4845bcb5a4710f9e87de029dda89afa0","datavalue":{"value":"linear CNF formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424882$E2815B83-36B8-4977-AB21-A10D649C9CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424882$A319AD70-A622-48F4-9D6C-D4E4651AD3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"439905524fc0b004f5fd79d6e137ce737123a25d","datavalue":{"value":"parameterized algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424882$A36B958B-60FC-4EEA-AC8C-EF088E5E301A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c22d5775221423046cc5c67c2b493cdcf52842","datavalue":{"value":"exact algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2424882$50AE0D6E-98D8-4596-BC61-0475C7D03421","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":"Q2424882$828429C2-21D7-4925-A681-D2C66D58DDB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b1471cecffe5c984bc0303bfe96a348a7dcc39e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2424882$DC54486D-D730-4EC3-A719-91A25D6427B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cf61738c8e9af4b28f2f449fc01c9e1ac59fa51","datavalue":{"value":"W2489899299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$E1CC4B55-E93B-4EC0-9BBE-951D86F3AAF9","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":"Q2424882$C5FAF3F7-EF77-4066-98B1-2CEEA9CFBDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42d8a204e7327ab6fd71b0855847576ddc81fe6","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$800B7908-1190-4164-AF58-A74A20C7A206","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":"Q2424882$DA728E0E-30A8-4A12-A338-836490CFDDAB","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":"Q2424882$D7F26D0D-6B78-42B5-B61E-29D6105CCF70","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":"Q2424882$F3ABDE4B-F38B-4DC4-93C3-CF190E5584CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530c44e692cd7fc61b1e312c0cbd39162c4add2e","datavalue":{"value":{"entity-type":"item","numeric-id":2775891,"id":"Q2775891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$A128C071-3E9A-4867-82E9-EED78A577B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be99ec67e8fd9ded7c91a5594145bcf7b947930d","datavalue":{"value":{"entity-type":"item","numeric-id":3449815,"id":"Q3449815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$59A716D6-3EBA-49A2-89DC-E6C64EAC4894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$3F4ECA9E-E406-47AE-A555-3435B50F3C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$1C015FC1-A774-4F9E-ABF1-AD423D2AF02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85859d4bf1a3e88a94a43f3e1ce8b0cfd1f2c77b","datavalue":{"value":{"entity-type":"item","numeric-id":3002852,"id":"Q3002852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$524973A9-0431-4356-BEBE-A50762076069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$FB767978-DC67-4E1C-8F4B-837F141F016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$007D30AB-04DA-45E8-AB70-99FA9543268F","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":"Q2424882$AE97D64D-DE87-4C48-ACF2-750D3F0E4B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1918c985b538d3e9a515db81b17d0dcdcc22e09f","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$127201A9-C50D-4EED-862E-2847402A9C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df538756408d7e74427c12d433dd67d6c7eb172","datavalue":{"value":{"entity-type":"item","numeric-id":293164,"id":"Q293164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$3F334BE4-C55F-4242-AC31-F4EAD44621DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ea73ec7888502cdec2962bf0b4bfed2af0ad3d","datavalue":{"value":{"entity-type":"item","numeric-id":3113785,"id":"Q3113785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2424882$D1A1E658-3A3F-4254-8F4B-7DAB4FFF536A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d40af3dd201f833f79d9c17ed3828ec48a65a1d","datavalue":{"value":"10.1016/J.TCS.2016.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2424882$426CF752-DF9F-49E8-9617-C337A230DFB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7991ccd70fff5ec8974bab9315f86ff20f0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3467831,"id":"Q3467831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e2effd0dcf2efc90870b2fa476553ec8701f13","datavalue":{"value":{"amount":"+0.9096969962120056","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":"Q2424882$8C06435F-BF68-45B1-861A-B41BA58F012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19b8159abe7ef91c6cc9d24c864f7e5285e801e","datavalue":{"value":{"entity-type":"item","numeric-id":3449815,"id":"Q3449815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee0cdb585dfb24a2b3f591d7c6ff47e65da9b68","datavalue":{"value":{"amount":"+0.8627020120620728","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":"Q2424882$6649E3FC-B8A3-4DC0-92BA-E5BB0D5E1FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f954ba7254e6add514d62ba2c058b2bcb5ee61","datavalue":{"value":{"entity-type":"item","numeric-id":4511230,"id":"Q4511230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19751c467b610df80b6e9af62086f697ea048cb2","datavalue":{"value":{"amount":"+0.8568625450134277","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":"Q2424882$777E149F-49D2-4C81-ABA9-571F4AC93E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f37b375f778ed07168d288a32c8126622f7e61","datavalue":{"value":{"entity-type":"item","numeric-id":1708599,"id":"Q1708599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0586c104131001ea5a622e243cd813442fb4279","datavalue":{"value":{"amount":"+0.8534271121025085","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":"Q2424882$B17BF95F-6ECA-4A7D-AEED-54E121F4B829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ffe8eea8fd7dfe4ea710b6e03bea508376da1b","datavalue":{"value":{"entity-type":"item","numeric-id":515546,"id":"Q515546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d57f8c8c32ccba103a81db991950210f4ebc2c9","datavalue":{"value":{"amount":"+0.8520579934120178","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":"Q2424882$DA0E3D37-5824-4950-8A5A-C4D8B7357D29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2424882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2424882"}}}}}