{"entities":{"Q812398":{"pageid":814246,"ns":120,"title":"Item:Q812398","lastrevid":64527318,"modified":"2026-04-11T20:29:48Z","type":"item","id":"Q812398","labels":{"en":{"language":"en","value":"Improving exact algorithms for MAX-2-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000695"}},"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":"Q812398$329FC0CD-58ED-45AA-9154-117B432933A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f34909e68a933cd936df0c5fdf82d13b2841fe6","datavalue":{"value":{"text":"Improving exact algorithms for MAX-2-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812398$B27EA6C9-5FA4-4EFC-8C31-56F23EA32493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b77a7b6444596264a9b48edb743c0eeded5f5ef","datavalue":{"value":"1086.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$D2A77F3C-60F8-4C9F-B4D0-7EA2EBB9F1EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e700489602a8ed4aef857bd8ec7795b49b68f1a4","datavalue":{"value":{"entity-type":"item","numeric-id":812397,"id":"Q812397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$7656CFD5-6702-479D-B23C-6B0278BB2B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$AF9AF85A-A0EF-4297-93E8-91E398330700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$CBC829E8-D864-4EA8-916B-B4EC7322F953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812398$F07FF3EA-743E-48BF-9B66-AB36BA1D665F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$90B19E8C-4A1E-4D38-9A23-DDE31DE7B196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$72481884-F5CE-4D39-8A09-F2C6926ADDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$F0DE5CCB-5769-4DC5-9F6C-83E0118691D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d28b24723f8abbbe7c6de733830223353f7efb34","datavalue":{"value":"5000695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$EF4D7138-FCCB-4A86-97B6-54D147793954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q812398$EEE1923D-7C88-4DBE-813E-F83E52BA2C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q812398$FBA94DD7-3EF7-4C2A-8E26-54EC1EE04A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f05553a5308936a7205a0d3afccb9b8d271916","datavalue":{"value":"exact algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q812398$976F5B49-1E05-4B20-8FF4-51B36ACA4A17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e07ac258d59c8e1ba77c20daae1bd8c4b666c30","datavalue":{"value":{"entity-type":"item","numeric-id":15887,"id":"Q15887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$09E1E4D1-1A2E-42CF-B9AC-ADBE328736F9","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":"Q812398$3AE16D4A-0260-4992-88B8-01ED32970280","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eab7a53fc59ce52dcfa8e5ea7e603e6cc592e3ab","datavalue":{"value":"https://doi.org/10.1007/s10472-005-7036-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q812398$87490481-7965-4512-AC9D-3C4164F5B17F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ce53369b989d79a3e24c0431c0ebc93cb6dcdb6","datavalue":{"value":"W1984322914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$C1BC4F33-43E1-42FA-8EA7-BD9F680F65DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a2828087f78007f73cfacbaff90bfd2fa5160e","datavalue":{"value":{"entity-type":"item","numeric-id":5713725,"id":"Q5713725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$46F405C8-541A-45F8-8610-169A96E75803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$4979C3D3-CCB1-4442-9898-44684D0B0A75","rank":"normal"},{"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":"Q812398$FAF9CB59-536A-46C4-A3C7-871467F9D372","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":"Q812398$1BB67A2D-1CA6-4F39-8228-D2B38CB914E5","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":"Q812398$FCBED1AF-47F9-4FEE-9BBB-050CD4116383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$29FE914C-495A-44C8-B4F2-396D02FB52C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$30836327-541E-4C26-BD29-A27C7443F871","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":"Q812398$E8C73A95-8B70-489E-B129-51B61422F5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd9dca378e2837fcc1caf4cfda7d5448dbdf8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$DD32612B-3BE6-4211-BF7D-F3F6BB2281B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$7458C360-D6EE-4010-9713-13E5AF333312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a46e11264b888323b8f511c53cbbfccda455c3","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$9945B922-2F14-42BF-86C0-DAC3532169F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$6E3EBF0C-F519-4857-B144-FB68569CDF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660a2fb6d6e604b7e9682fe686b930c6f89648aa","datavalue":{"value":{"entity-type":"item","numeric-id":4242660,"id":"Q4242660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$557E326D-A8C0-4E60-AA7B-90F52282D4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671a4409a2433a335f15aa4e2d3714ed06fd49d4","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$BCE3DFC6-CF52-47D3-A377-B1C2532DED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579e0d6bf52c031700c63266c0f54762a85454d3","datavalue":{"value":{"entity-type":"item","numeric-id":3439118,"id":"Q3439118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$366961D7-2201-4303-B826-4A08B69ED64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f1e6ace06d9fb688766bacef86bd431bbb16b1","datavalue":{"value":{"entity-type":"item","numeric-id":812398,"id":"Q812398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$19F70C90-87BA-4B40-AA48-2037C233A19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f914b3b2e5ce6f47adfd6df08658cc31687545","datavalue":{"value":{"entity-type":"item","numeric-id":5687275,"id":"Q5687275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812398$32F5B91D-E2DE-4C4D-808D-1967485285D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4eadc46246f6b0089c8c91476ad43ca0155fc5d","datavalue":{"value":"10.1007/S10472-005-7036-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812398$303AA44A-3AE9-444D-946C-7C2D1F17281C","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":"90ad1700b2c973654608342f3b156002d8095840","datavalue":{"value":{"amount":"+0.8673641085624695","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":"Q812398$5FBDA235-5957-490A-A644-128CD800706D","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":"6e0876d5a4146c6a0bf148bcdb7544cbce05d5f7","datavalue":{"value":{"amount":"+0.8663367033004761","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":"Q812398$1013315B-120E-4377-9D43-687BA9B402DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ccf4fcdfef7e445a60586aea7ac5191a93512e","datavalue":{"value":{"entity-type":"item","numeric-id":734870,"id":"Q734870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ee938c4c9f553e70b3bb4befad180cf1e01f94","datavalue":{"value":{"amount":"+0.850348174571991","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":"Q812398$FDE926C8-345B-4218-A7AF-C4EE398E07BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fe987a1c93c427ee7f72d701a2da77f0bb0f2f","datavalue":{"value":{"entity-type":"item","numeric-id":535012,"id":"Q535012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89baf75b2b4de5d27c14bf193bb5b48669f468fa","datavalue":{"value":{"amount":"+0.8332793116569519","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":"Q812398$789091DD-FACB-4CF1-BC4A-79427906D34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77570455ac3c31bca24025c62ea37cb517c063bb","datavalue":{"value":{"entity-type":"item","numeric-id":3599157,"id":"Q3599157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e31e999f0f3b2498d510fed86c6275acfbe58d4","datavalue":{"value":{"amount":"+0.8327863216400146","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":"Q812398$70EDC284-E580-40C1-986E-F87FCB52DE4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improving exact algorithms for MAX-2-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improving_exact_algorithms_for_MAX-2-SAT"}}}}}