{"entities":{"Q2466587":{"pageid":2477330,"ns":120,"title":"Item:Q2466587","lastrevid":50252372,"modified":"2026-01-13T15:58:13Z","type":"item","id":"Q2466587","labels":{"en":{"language":"en","value":"Exact MAX-2SAT solution via lift-and-project closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227057"}},"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":"Q2466587$F1F640B1-71B9-44FF-BA83-FC13F59A8F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99fb22867ed09122cf9cb291e72408bd1ff5e0e8","datavalue":{"value":{"text":"Exact MAX-2SAT solution via lift-and-project closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2466587$5BDA5689-1DC7-4909-B88A-2F675FFCA1CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e70ab8e3edbc659955c6c92878bfe47608e28302","datavalue":{"value":"1133.90373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$7CAA53A7-4153-4D9F-AE42-9E396C7006D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d78982288faf419aec4514645894c27312c1641","datavalue":{"value":{"entity-type":"item","numeric-id":363560,"id":"Q363560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$839572EF-F9A6-4BEA-B33A-6AB980B47E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2480f70a96a0e09506405db969492fd41acf1c","datavalue":{"value":{"entity-type":"item","numeric-id":325411,"id":"Q325411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$F458BD16-D8F7-4B5D-8786-DE5973673DD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$F14FC65D-3B46-4AC7-90F6-73B88D91A426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60c50017dcc5fe2c25b47b83f239fd010ca9c8cf","datavalue":{"value":{"time":"+2008-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2466587$277E7F0E-3104-4F4F-84F4-10BF0EF018EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$D4F615BE-6783-4157-B47E-32434161CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$0E0F3EC1-4CAC-4844-955D-667031C8DB9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11564bbda2ebf2f3ee3044842176bbaa250dcfe8","datavalue":{"value":"5227057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$33F4E4CE-704A-47EA-83D1-D20A7084A5FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53df371537bf62a6773c9914466a7a07161730ed","datavalue":{"value":"mixed-integer-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466587$3EA7A7A4-9884-4C66-91F8-9386C81F019F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73d135d88e027869c69c9b9eee7790820728934","datavalue":{"value":"MAX-2SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466587$00A56B7F-21A6-4F24-9CC7-F59992C45B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e0547bc5170c50b4b1aab6a2fb0a2fef9af5ca","datavalue":{"value":"branch-and-cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466587$D8B98118-EA9B-4F49-A48A-F99A8B4B0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f193a2e41ab0ffacaf49a36e0002a67ff44d54e","datavalue":{"value":"lift-and-project","type":"string"},"datatype":"string"},"type":"statement","id":"Q2466587$44148369-66FD-42B3-B991-1B5B65432E3F","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":"Q2466587$B30FB008-16F3-4D3A-8EA2-75D01B4ED28C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c78e390b4d30d984ecc3de67d51177ef518fb160","datavalue":{"value":"https://doi.org/10.1016/j.orl.2005.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2466587$20804EBB-9825-4C4E-892C-CCB404612534","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0841452c81401efc6cdf60438be56ccfa0cfda4","datavalue":{"value":"W2033258248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$92B165DC-0426-43AC-8897-414DF0338E32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd53d6e9478c4bb1c7a40fd9e4a8dadfd6988d8","datavalue":{"value":{"entity-type":"item","numeric-id":4197624,"id":"Q4197624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$12E07592-7FBC-4D29-94BB-C1597F64769B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c22aedf458b7921396f27387b1078092112d581","datavalue":{"value":{"entity-type":"item","numeric-id":3722274,"id":"Q3722274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$38630B36-258B-4985-9188-D10A36D29457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa7e63ff28463bee3f9b1aaa19f1ce51fa643df","datavalue":{"value":{"entity-type":"item","numeric-id":2367913,"id":"Q2367913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$5EA18F02-9B5C-4866-9795-51CB34814199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7700b267a84e8e710420b5e3544d46b62fe04c5","datavalue":{"value":{"entity-type":"item","numeric-id":4363673,"id":"Q4363673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$59926F20-F8EA-4A1D-A884-8E3B7D58EFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f61250807d9addc572795070e7d767fb41bb8cd","datavalue":{"value":{"entity-type":"item","numeric-id":697568,"id":"Q697568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$F4DFDAE5-178F-4F29-8D30-6410C0B3D753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafca812d9e4c7ca1ddc3a0fcf890183aad4d322","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$1140A9A9-3122-450B-A554-2767D9BCCA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f702e63241ae3cec44129c54af92e0c696c2d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5687265,"id":"Q5687265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$C36C2BF8-B163-4EC6-BC9F-49324E23AF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a69930d624f611178e7f41a6ddfe836b3c9d970","datavalue":{"value":{"entity-type":"item","numeric-id":5937498,"id":"Q5937498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$7FBB2841-D28D-4CC3-B231-7CCF157DF37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5ea09f62833227a24f79b59dd689805476109","datavalue":{"value":{"entity-type":"item","numeric-id":5897208,"id":"Q5897208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$D3DCAD46-433C-4499-BC02-F72903B48FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da69d408d134f58fe13d3ba2cb4e61fd8b8e5d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4550772,"id":"Q4550772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$AA6893DB-9C92-4420-AC47-FBE3A8BA34CC","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":"Q2466587$77AB3940-1283-4D49-B512-9B03BFC6314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf4ffb6e897eb247f5efef8a1b633b0a61ec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2728900,"id":"Q2728900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$758D9295-8F48-4580-8D51-44FF417AB583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e1d7890ae80069bd45cb528aa31476d56501dc","datavalue":{"value":{"entity-type":"item","numeric-id":4375770,"id":"Q4375770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2466587$322530F9-11B5-498E-851E-3CB4A697C093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92f52a20e117fd59718e2616fd68d6849e7325a4","datavalue":{"value":"10.1016/J.ORL.2005.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2466587$1C083B01-5AAE-423F-A695-FE99A3B03A6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2cf31863a65248b4191a73901a238100674069","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe41b38b08f2ff4b483446e241c7208139682d9","datavalue":{"value":{"amount":"+0.8072674870491028","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":"Q2466587$73CD3A2D-DAC1-4A8E-986B-B83EAF5D67FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70bd23226c1d4b321d18bb5c88f82d0994eb3b9","datavalue":{"value":{"entity-type":"item","numeric-id":812398,"id":"Q812398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f206e4845ffd92ddfbfba52b094cd25f3dacb6d0","datavalue":{"value":{"amount":"+0.805424690246582","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":"Q2466587$9284BFD2-A912-4EAC-849D-7851A5D8075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64cef7661e45ef48301978e45203d85ab3409","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62d0f6fba7867ead0327b1777c8f754c295301c","datavalue":{"value":{"amount":"+0.7968600392341614","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":"Q2466587$1F3648A0-48B1-4D58-BBBA-627DE525D9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927fbbf5b2157012b078ce653f7f3709150bcb0a","datavalue":{"value":{"entity-type":"item","numeric-id":2728900,"id":"Q2728900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29882685b7e8d63ab8061ef0498887f3998720ea","datavalue":{"value":{"amount":"+0.792707622051239","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":"Q2466587$5607379A-405B-4DE6-9E6A-1DA2B1F1202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e35dfce42fd667a8d59eaf4ff558f1797478043","datavalue":{"value":{"entity-type":"item","numeric-id":5687265,"id":"Q5687265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b355297d715b8e212072bdf2bf9d5bf39e74c60a","datavalue":{"value":{"amount":"+0.7875381708145142","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":"Q2466587$FEF868A3-4070-4488-8376-6D7E26483995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2466587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2466587"}}}}}