{"entities":{"Q933784":{"pageid":935632,"ns":120,"title":"Item:Q933784","lastrevid":50410373,"modified":"2026-01-14T00:06:40Z","type":"item","id":"Q933784","labels":{"en":{"language":"en","value":"An efficient solver for weighted Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304059"}},"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":"Q933784$8EF43B62-FC6B-4C1B-937B-116685961E7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c4b65179bb37bca2b9dce6518314b2c2dfda69e","datavalue":{"value":{"text":"An efficient solver for weighted Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q933784$E1278DFA-36E8-4F33-BFFA-B5EB464DBDE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b45da61d8393ddfc1250bc404baae43e4945390","datavalue":{"value":"1146.90480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$067BF5F8-AC41-41B1-8E8D-07D302303D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20cc1cfa95257297e4f6f378de35ae9d039e5091","datavalue":{"value":{"entity-type":"item","numeric-id":598574,"id":"Q598574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$078637E0-FF69-47DD-B5C4-FD974F3BCF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$66A29894-6307-4439-9B8C-396585CEE062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1386759083fa06706fff167aac6c7a385c25af60","datavalue":{"value":{"entity-type":"item","numeric-id":505971,"id":"Q505971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$F7AEA4C0-776C-42E7-AA3A-0A7939A190F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1d032b4dee05705e8b2f4f60118816c12892","datavalue":{"value":{"entity-type":"item","numeric-id":116038,"id":"Q116038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$8C8BDA38-E6A4-41AE-B2FD-D07B9B52DD26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbc3e0fb8151dd740a5ce25448df0d3f7f728768","datavalue":{"value":{"time":"+2008-07-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":"Q933784$7E2F9593-4EFA-4433-8C67-B590D3077ED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c411d0e2e47a4e98057e58ce3f0acfecc03ea1f1","datavalue":{"value":"http://hdl.handle.net/10459.1/46634","type":"string"},"datatype":"url"},"type":"statement","id":"Q933784$A5585DED-83B1-4AFA-BAFD-60FF788D7A9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$7945B11D-4921-4765-BF10-629C6C9B7EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$6D414B84-7AFC-4144-B8AC-91C65956F68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$4007AA08-AAAA-4E56-AB0E-9CDAE2031C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$5A8E3A5D-D871-4FBD-B709-B173ECDA1729","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9604167d41a19c4595188a2defc6facf819c1f56","datavalue":{"value":"5304059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$EDB72011-EDA1-47C7-90CC-81E86684AE01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q933784$E93C23C1-8585-46FF-9A63-BF06C63CE73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c102cbef2d9d78253b8feacec726fe5e213a41a","datavalue":{"value":"weighted branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q933784$9DACC1DB-C4BE-4EE1-944F-F7F5E70EE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4384b6baab23c56cffffc6bb5d1bcc67ce7c345","datavalue":{"value":"Lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q933784$93A11784-B60B-4F5E-B14B-D8272853D8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8799b7912a65618313e794ea0d0ce0d6a1e22e46","datavalue":{"value":"Heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q933784$DEB63F78-70A8-47EB-9844-6C4BC1434976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135a7e6e28c5e714d2a4204296bc6a14edbd680e","datavalue":{"value":"Data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q933784$183291DC-3E1F-4585-AF60-EEB0D41AFDC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$D7882FE0-6AC8-4FD4-B055-8743F379E608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$8777C7E0-B01A-4982-8CB0-1AD864939847","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":"Q933784$F6050352-FF38-40AF-8EB5-768A6199459D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0689234025e864824d3a2d385f8361cd294cc10a","datavalue":{"value":"W2055714959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$EAA5EA5C-A10A-4024-846C-F920344BB6FA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3795810d74d17a698696f843f15af4f2b90ef293","datavalue":{"value":"Q61918774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$6CC35D96-301E-4099-A88A-C1E076AB05D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913c3d6332b578d806d53613cd3aa7349227e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5931443,"id":"Q5931443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$42560C10-CE40-42E4-BA01-C2298088A176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44c4b90cb60c7bfa768ecf7a7ebba05346d5efd","datavalue":{"value":{"entity-type":"item","numeric-id":5463369,"id":"Q5463369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$000EFD03-C6AF-4521-A838-6D43B463A9F8","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":"Q933784$F5C1CF48-5789-4152-A710-E25069820576","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":"Q933784$F0C8D419-6B9A-41EC-BA30-EFB9C11C0BA7","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":"Q933784$BA416099-AA92-4C4C-8A95-E2E66627D5B9","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":"Q933784$BF7A1055-7BC0-4069-9FE6-5AC40794A463","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":"Q933784$F9B4E91F-C72C-4ECC-AB74-3AD92024D5E5","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":"Q933784$364D1188-CFE1-45AF-B4A1-FB94463DD956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d15a265400ee74b7ccc90f74849e6820eee631","datavalue":{"value":{"entity-type":"item","numeric-id":5687246,"id":"Q5687246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$E0DB3709-5FE9-4199-899D-273BF9277C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$AAAAE138-E604-4672-B127-C88C75888CEF","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":"Q933784$E3DF1219-5A64-4991-B42E-57BDCF89ADD5","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":"Q933784$DAD75833-A40A-451C-85AF-03C0A6C0C5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$A6D1C197-6DA7-4260-A3A0-63D270C71A93","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":"Q933784$218E5E04-0D7E-4513-92ED-FC8F02E3A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06844938098368d2f2cf613285d701ed35dce312","datavalue":{"value":{"entity-type":"item","numeric-id":5687269,"id":"Q5687269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$F0897776-8E3E-4072-89BF-366A1B65B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e8d6b67b33856725f1096263216d639952e4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4375767,"id":"Q4375767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$75E18065-3B61-47EE-BB07-D643728883F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c75220bed023a267f7dc5cdb94dc765074faf07","datavalue":{"value":{"entity-type":"item","numeric-id":1962023,"id":"Q1962023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$6B581B85-4FBB-4CAB-9CB8-AEBB110900EC","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":"Q933784$34D94743-710F-4B87-A19F-F2636A025775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b857e864cb4ec66bc0ea066e72946c77b4089241","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$30E189D6-A7D5-4A26-8F22-DFC0C47F5275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa277dfc3675449e884bb3fecea48b3b748cc410","datavalue":{"value":{"entity-type":"item","numeric-id":4916231,"id":"Q4916231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q933784$A9E30053-BF1B-47D7-960B-77D119423B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef564b79863aa9a380932c2942f108897c09c929","datavalue":{"value":"10.1007/S10898-007-9166-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q933784$2A11D33B-AC06-4534-B5C0-924126611F7A","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":"e063c21433991f140c0fd197a8d85d5d9c45afb8","datavalue":{"value":{"amount":"+0.8842577934265137","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":"Q933784$C6C655FB-5D69-4C09-916B-124E98E8F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b033772d976c570192f271dbcf6f745381e6a4c","datavalue":{"value":{"amount":"+0.8773671388626099","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":"Q933784$126E162D-DB55-487C-B864-C680BCF0D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b9b008697bfcf9ccc4f6c8247f5ea52c7ea915","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f96302814bd19dffbf2543795740aaf9dcb8fd","datavalue":{"value":{"amount":"+0.8419572114944458","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":"Q933784$13FC4148-C1BF-4DA0-AE9B-349A87DDA78A","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":"0ba082ec558310514ab949d8db206a22496502b5","datavalue":{"value":{"amount":"+0.8349660038948059","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":"Q933784$9DDF0164-AE91-49F2-B4B9-E43DB55D66CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d71e44ceaaf0ccf1efa90cb490badd218f5bb9","datavalue":{"value":{"amount":"+0.8298454284667969","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":"Q933784$4AC33197-284E-452B-B486-664E55FB93F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:933784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:933784"}}}}}