{"entities":{"Q2818041":{"pageid":2828779,"ns":120,"title":"Item:Q2818041","lastrevid":52614971,"modified":"2026-01-23T02:52:05Z","type":"item","id":"Q2818041","labels":{"en":{"language":"en","value":"LMHS: a SAT-IP hybrid MaxSat solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623534"}},"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":"Q2818041$0072239D-13B3-42A5-94B5-FDF06927D1B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72c6ff239f85af65e32a1af69407f0e6abf49034","datavalue":{"value":{"text":"LMHS: A SAT-IP Hybrid MaxSAT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818041$AE49F821-A827-4858-AEEF-AABD8B43F87B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67dce22477cf7a6aa8b87a3bf08d4ddd895ec111","datavalue":{"value":"1475.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$2510361B-3FBC-464D-BC7C-A214E2FBD13B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bc9e53f96190fd4cf847f8a05d936a95ab55a02","datavalue":{"value":"10.1007/978-3-319-40970-2_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$DA9AEA43-BC32-4A60-9C75-7098C4F8E58F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1df5560446a6efeaf8ea7b6221a936d47adb0a","datavalue":{"value":{"entity-type":"item","numeric-id":2818040,"id":"Q2818040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$8C69F74E-1318-40F3-8F8E-DCDE6CD856BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec291fc5099378f73627d6e17cd33de333e7876","datavalue":{"value":{"entity-type":"item","numeric-id":511771,"id":"Q511771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$8163F07B-C216-4F60-AA6F-BF447D0F839C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$070A1733-130F-45B4-8469-3D48D22091BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$6813FA82-1A1D-4944-BA5A-F51DA2F3481E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2818041$3FBAF6B2-583E-42D9-AE41-438799CDB43E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$1782A427-A1E0-4C7D-8D6B-95D41A6AFCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$48BFD871-2B2B-4867-8074-667D9D54FD95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"326f4177b0911800c15467649a27b8343321a970","datavalue":{"value":"6623534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$29518088-8570-405D-9036-E81DD3C199BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$19BECBAA-BC67-4196-AA1A-1CCBFEDDB986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$FCC7B4F1-BE62-4916-880C-9AB68C2992C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$83D342AE-7EFA-4DB8-A169-FF4A789C3FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$2FE6BD45-472D-4E99-BA59-6C0300C2E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$BE79DD7A-331C-4B1A-A055-145FDED6FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a77065fb5b3949d0a6963ef0f140900afd8e004","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$8E544430-B2F5-4073-8372-699C5F28E40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$C52B222C-1776-474F-B35A-9CEC98A5C87C","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":"Q2818041$5A773164-108B-4F3C-99D9-DB8903E837E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"850da1be315af67ff266b546946a2edeb84428f3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818041$83662272-982D-4653-A725-716F37D6A8F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"428834cfb2b95e3bf408297f23f79444dea5a515","datavalue":{"value":"W2481363456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818041$C3CF571E-2052-4402-86B7-2C3647F6C59C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d07192422a9fc087879ddd6b3d74a0d63386182","datavalue":{"value":{"entity-type":"item","numeric-id":734351,"id":"Q734351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$485CF5CC-918B-4F4C-B21D-128835D78F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80afa855fc52029da05f5bb686bac243613f3af","datavalue":{"value":{"entity-type":"item","numeric-id":5326319,"id":"Q5326319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$1879CAED-40FF-4B6E-8A55-7BE30492CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691b394a5b37a8bf2a0e1add6593687068411f4b","datavalue":{"value":{"entity-type":"item","numeric-id":2870118,"id":"Q2870118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$93AD124D-785D-4CBE-8D38-B6EC7076352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$C1D46A7A-A18B-4EB0-ACAB-5222A94E8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$9C887F4A-FAEF-4F21-B26D-8A631F40B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$E23897AA-430F-4949-B74F-BA37E51CC558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd5e459e394d6108077560b4ed3e5f8dcdb8314","datavalue":{"value":{"entity-type":"item","numeric-id":4589092,"id":"Q4589092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$29794277-9B38-4315-BA46-68322417DB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$C7B8646E-A1C9-4087-9C42-A91CBDA5E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7643f37989f0ac2fe010d7c1a5cbf8a911d8f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":5301139,"id":"Q5301139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$5EF008E8-DE13-4A09-BB27-B3C43F2FCA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e402011ab3c877a165b4fef39ac4a3faf82346","datavalue":{"value":{"entity-type":"item","numeric-id":5741478,"id":"Q5741478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818041$400E5B06-237C-42FB-9908-4B80B2898A23","rank":"normal"}],"P1643":[{"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":"552af338940bcbb2001f005b61007622b3fcc2d2","datavalue":{"value":{"amount":"+0.8089816570281982","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":"Q2818041$A38E222F-8B6E-40AA-A8B7-7DD60C5E7259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33250f260d9da800bf4da3a93eef7edbea6c93db","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d95dddcf3552f6d3fb32721bbbbf3c53b224c9d","datavalue":{"value":{"amount":"+0.7890074253082275","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":"Q2818041$4C8549BB-7D4F-417D-8AE8-7FAD543E282D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e00839e47d5335754f71ffea7582704896891c","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b46e3d215193d2b50bd69f151be1f63e1cfc684","datavalue":{"value":{"amount":"+0.7867132425308228","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":"Q2818041$21ED0166-069A-4E27-8A7F-0B5E5E33D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625baca5eb43b8081d90b76c4abe963b87270f44","datavalue":{"value":{"entity-type":"item","numeric-id":2211872,"id":"Q2211872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865df168beafc4f10415faa63eff678f4c3caa6d","datavalue":{"value":{"amount":"+0.778268575668335","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":"Q2818041$10F3F570-A7F3-4DCA-919E-49F85C072867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e92959c247312ff9183d41113db30a194c2fd3f","datavalue":{"value":{"amount":"+0.7717707753181458","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":"Q2818041$A32BCFE8-E1C5-46DB-9863-807829A39F18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818041"}}}}}