{"entities":{"Q1841882":{"pageid":1852624,"ns":120,"title":"Item:Q1841882","lastrevid":70969995,"modified":"2026-04-13T18:35:54Z","type":"item","id":"Q1841882","labels":{"en":{"language":"en","value":"Approximating a generalization of MAX 2SAT and MIN 2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565918"}},"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":"Q1841882$7EA8C860-4B77-4E71-AB8A-47088DF4ACD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28062d06f82a6a240914feb67eb23748becd658e","datavalue":{"value":{"text":"Approximating a generalization of MAX 2SAT and MIN 2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841882$B2FD07C4-91A3-4452-B278-867A5708F2B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70383fb287aabf76c96a1ab5ef68cc4ab831a851","datavalue":{"value":"0971.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841882$C7593F8F-75A4-4A4A-B92B-D120DA78A7E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c87f2cce52e041bc4116f12dc3943d0b37c027e","datavalue":{"value":"10.1016/S0166-218X(00)00244-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841882$347FBEE8-DA6A-4360-80BC-A0AE495CE95F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b969806e15667b8bb837290cff38032bdae579d","datavalue":{"value":{"entity-type":"item","numeric-id":242829,"id":"Q242829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$C1915B72-65F6-474E-B427-CDBBC3FF48E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632c6c9e56805b8ade961200f7e9fc2017a5b3","datavalue":{"value":{"entity-type":"item","numeric-id":1278141,"id":"Q1278141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$A0AC8DA2-3EF6-41F8-B8C7-99060A8D9077","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$EC4F650B-3B83-4C30-9138-C0321024BF99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"807acfe2abaa92e89310133eb1e395950faeb629","datavalue":{"value":{"time":"+2001-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1841882$F8275DD3-0A3D-42D2-B3B3-3B688903B543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841882$DEACBCA0-A86D-4D59-8CE4-62DB66847E67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423aa242ff85a15523b1a4df73ec1174fa5151f7","datavalue":{"value":"1565918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841882$6F9F0C20-345B-4C3D-8F02-00E9353FCE8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e543eb84274eca56d9e0ef46ef5f167751e67dc","datavalue":{"value":"2SAT problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841882$E478CAC2-799D-4F38-BF9A-58421B2C8995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c88d338c7623dd973d7739b6420e04a673969a","datavalue":{"value":"genclauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841882$A79714C7-5633-4AD5-BCE1-3D7187E1D9C7","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":"Q1841882$F132D3B6-3C9F-4FDF-BFA7-FACE7E468458","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$770E5D5F-D093-493B-A53E-D4D6C087D9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$EFFDA747-CDB5-4E83-BF18-1BEBB0B18475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b508fcbd597344e2461b8ace97003f5066e2f8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4877516,"id":"Q4877516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$8C944600-AE95-4597-A6C3-EA3F87CDC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f992e855d8b9b42f253fc7f7d98a5e06e39cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4369893,"id":"Q4369893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$7D6B0C45-2815-4F11-ABAC-230EA2408B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7408c0923ccc8489553f3a88f6229ce969f732c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268812,"id":"Q4268812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$8E859EA6-5421-48D5-816E-25280A1BA255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1171160d467de5e7f6609f7bb2a79d462790047","datavalue":{"value":{"entity-type":"item","numeric-id":3939193,"id":"Q3939193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841882$0CCF3161-FB7A-428F-B99B-C0D8023C9D10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8fbcbb67fa6b0284760dc64d3b4fa41730a80aea","datavalue":{"value":"Q127956999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841882$EC3D6B66-E3C7-4ED2-B28A-077BFD9D3605","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fe182f2824d587b4639896ebe1ffc6bd8ade68","datavalue":{"value":{"entity-type":"item","numeric-id":4229151,"id":"Q4229151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2468ada6479f54dadc147cdd4d3c714dbb0558be","datavalue":{"value":{"amount":"+0.9329414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$99FEC03D-6102-4D45-A03B-B6BAEC682F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c4efc956ffaa3a08d46dc8a3d080374a331004","datavalue":{"value":{"entity-type":"item","numeric-id":4524463,"id":"Q4524463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3264a61ab404ec97b47069be3d1d2ec97b49f10e","datavalue":{"value":{"amount":"+0.93266076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$95B64AC1-9C25-435F-BF68-03EEB7512B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d78bcebe9d6af1d737c4b93057c2a24032fc8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1780843,"id":"Q1780843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6105ab86f0d1969f015b2e1aa20c533b4e1f8bd4","datavalue":{"value":{"amount":"+0.9224646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$9A93660F-1FD2-4A68-8EB8-1821DF4EBAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a30ac10cd326287ac3209c357ff1436b5eaa64","datavalue":{"value":{"entity-type":"item","numeric-id":5696308,"id":"Q5696308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1534397233155cf6b312477937094d626c05910b","datavalue":{"value":{"amount":"+0.920971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$C38F7881-4A34-4480-A1B8-4364177E4F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556a36f614df5d3ab1308d0a93bb5720459211dd","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0278eadf72005e8723aa736f702e4b2b2614fb2","datavalue":{"value":{"amount":"+0.92068034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$E94D4738-3DA9-4C52-B617-6639E8707353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b50193cc4d7f3854f5bd152b70c13c55f857ac","datavalue":{"value":{"entity-type":"item","numeric-id":5405076,"id":"Q5405076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cbf7016eefdf3a0d87457960004a992f81d9d2","datavalue":{"value":{"amount":"+0.9175837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$86E55B11-DC68-4C3C-BA92-83030833D7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89323791523b4b3f1ecaa4896eca5ee8a9cff7d","datavalue":{"value":{"entity-type":"item","numeric-id":5897255,"id":"Q5897255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3935be104977cb5637514cc5c530f0bd6fbd013f","datavalue":{"value":{"amount":"+0.91653633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$F50C6B48-D4B4-4879-8FD0-05EAD634917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ca329ba49bd914b2e887caf341ccd852c7040f","datavalue":{"value":{"entity-type":"item","numeric-id":5957907,"id":"Q5957907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329310ab22cff5c1184bf180287bb17bfdfb1d5e","datavalue":{"value":{"amount":"+0.916022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$4E6FB8BF-BD8D-48ED-B532-2C7BA76EE401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7445760a00e4c5ff9da6691487cac6ad1237c02","datavalue":{"value":{"entity-type":"item","numeric-id":4425953,"id":"Q4425953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58f3a133e2f691ea605c193c0fd8d167c41ea47","datavalue":{"value":{"amount":"+0.91599554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$780C95B2-C6DC-4E8C-BA3F-F8CAB422B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860aa1507f229dcc38f76e60cea7e79578ab6775","datavalue":{"value":{"entity-type":"item","numeric-id":4247437,"id":"Q4247437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ebb4a12c7b91211f8d11e1d2eac7166050c07a","datavalue":{"value":{"amount":"+0.91493154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1841882$3D3D0FEB-7D76-4ECB-9D99-25C90D6CA1FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating a generalization of MAX 2SAT and MIN 2SAT","badges":[]}}}}}