{"entities":{"Q2439524":{"pageid":2450267,"ns":120,"title":"Item:Q2439524","lastrevid":73407735,"modified":"2026-04-14T15:49:10Z","type":"item","id":"Q2439524","labels":{"en":{"language":"en","value":"Solving the weighted MAX-SAT problem using the dynamic convexized method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6270012"}},"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":"Q2439524$BEC281C4-B3D5-41FB-BAE4-1F88F4177D96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76030da7cd9cbf12041264bf1a50bebe5644d56c","datavalue":{"value":{"text":"Solving the weighted MAX-SAT problem using the dynamic convexized method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2439524$D3AF169D-8F45-45FC-97AF-793EC25C55F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55340d346c45f14eca8cf50e8f313022a8031c87","datavalue":{"value":"1288.90082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$77CA8892-EAAB-47D0-B646-B28541246346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50bb3911adf74341770e91a2bfda453b7b9b8ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2439523,"id":"Q2439523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$2E7E3F64-65F4-40A6-9CE0-61CFAA25D4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c256b7883a5a6f631a3a4a2045705215a1ae25","datavalue":{"value":{"entity-type":"item","numeric-id":415859,"id":"Q415859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$C6FAF97C-C208-4177-97D5-A0F7A89751E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34c0b92ce57892d31a862e7b55fbf1d57538b215","datavalue":{"value":{"entity-type":"item","numeric-id":156502,"id":"Q156502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$448412E0-62B2-43E5-A0F3-A2C28A93D394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b43a2c2b6eb630f564616ba070a6751b081d8977","datavalue":{"value":{"time":"+2014-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2439524$8D816362-EDAF-48C0-AFBD-952476E0F474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$1CC5140E-7A07-42B6-92F3-0E893593E988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$90B10B1C-1382-4243-80C7-A8B0AFA55C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2af7441e50758f8e9f5ec346c6e7b3760e27d8","datavalue":{"value":"6270012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$7763555F-468C-4B1F-8751-08CD712DCD43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ce66a77328e49abbd16f14976905c82cebab56","datavalue":{"value":"weighted maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2439524$B22CBA5E-57DF-4A0E-8003-CFA59CABC86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bead99822eb062df0b3ae25c93314f696f175f29","datavalue":{"value":"MAX-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2439524$D96C8C15-BF1F-48F8-93F1-14905FD2D283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e724ea0dccdb0e06324fa21566c10fcec67c28d7","datavalue":{"value":"dynamic convexized method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2439524$58E81582-B00B-43A6-A78A-C5B86FAADB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09d97c09bac5620253133ce12b11f1f858c4f0b","datavalue":{"value":"local minimizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2439524$6102626F-3FBC-4C31-9AAD-7BB82676A3CC","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":"Q2439524$A7030EC1-4A26-4434-80DE-A0CBEDF93234","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":"Q2439524$00B5585B-0366-4113-AC47-FBE0DBED0AD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8260d0bd031988f59546c840c6d087303a21aede","datavalue":{"value":"https://doi.org/10.1007/s11590-012-0583-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2439524$6AD435E6-421B-4BE9-BC44-CE718DEFE26E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5983cd08d7b4ead96ade629909a54df18a5ac59","datavalue":{"value":"W2034923275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$E0FF499E-ADBA-4926-98D4-FC9BD6FD5045","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":"Q2439524$BF8E24C7-73A3-43B0-9759-34597CE7112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafda450208859e00ab0afd9f4ecf849dc9ea3f5","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$1AE876DA-37DD-4C73-9EAA-B2507E45604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6fa9697595b4c5e11fc2912eec40dc72d613f7","datavalue":{"value":{"entity-type":"item","numeric-id":5898461,"id":"Q5898461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$F37C23D3-6F4E-485A-94B9-006714B7BA85","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":"Q2439524$8EBA678D-AEFD-48DA-8C62-75E64D4DDD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8452767e48792d351acf5067c416d60a7b2b74","datavalue":{"value":{"entity-type":"item","numeric-id":4388899,"id":"Q4388899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$361030BD-AB71-41E5-8243-BD0B779BFCE2","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":"Q2439524$FB9FF698-C5AB-4FF2-AAC4-539909690B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24db8eeabbfdfd6b7c30e568b4363783c977afe0","datavalue":{"value":{"entity-type":"item","numeric-id":5900295,"id":"Q5900295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$F437C2AD-8B9A-45B0-8AC4-665A2134B79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e10bcae5ed201ca5ea06d11b5e8069a61b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":547862,"id":"Q547862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$2D834B09-AEE9-4A32-AF4D-C60B0FFB1E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb6d51460fc83bf9a93c09e226aeead541333b6","datavalue":{"value":{"entity-type":"item","numeric-id":4319768,"id":"Q4319768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$D07C9815-5C2E-4059-951B-61D2BF02DA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2355e796fed6f652840dbb7079c4fd2120a0949","datavalue":{"value":{"entity-type":"item","numeric-id":3507771,"id":"Q3507771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$B5B3AFE6-29EF-4B1B-A88D-01E3B610FA4C","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":"Q2439524$CB3828AD-6483-4224-86A9-C3CDA8EEC9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$869E4656-BD5E-467B-BA81-6F7767A4B1FD","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":"Q2439524$4130FFDA-496D-4FC9-BEBF-7442F806087E","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":"Q2439524$3AE51E2C-06CA-4CEA-A6CB-D16E0DDD3F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd0772d391faca3a6ed23dc05aa159b0cc6aa0d","datavalue":{"value":{"entity-type":"item","numeric-id":1977758,"id":"Q1977758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$DC141010-5A00-46D9-AEC2-43594A0C09F2","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":"Q2439524$C61CE9F5-42D9-43E2-B942-5366A5833537","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":"Q2439524$2BE18EB4-C07C-4E2E-B25F-127D1A4A47B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6099899c6c5818b82ba26fb6c791f2b5484749","datavalue":{"value":{"entity-type":"item","numeric-id":1003491,"id":"Q1003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$B4AF9E52-C101-49F1-9296-BA5C5EEBE83A","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":"Q2439524$5C418758-17E4-441F-8511-79FAC1FFB9A2","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":"Q2439524$62D94DC4-CFF5-4264-87A7-6EC5359910CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca7ddb4ed620ff5d8785a81f3425f18f7a4494e","datavalue":{"value":{"entity-type":"item","numeric-id":5687272,"id":"Q5687272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$C7AEB04B-3EBB-424A-A62D-CDA94F03BD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd11ed12da601febab1aa7c0c4983d8600df537","datavalue":{"value":{"entity-type":"item","numeric-id":1017442,"id":"Q1017442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$3AF8EBED-11DE-4C43-BF9A-2A23E10B6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3c062a3e2edc4aa17c24fe307c3fb8e07925db","datavalue":{"value":{"entity-type":"item","numeric-id":953398,"id":"Q953398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$0FA51514-29EC-483E-B217-EB91C2C0FB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70dcb496c3ce4af79542a5ed3930db196df59a0","datavalue":{"value":{"entity-type":"item","numeric-id":2867400,"id":"Q2867400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2439524$4D8580B1-05A3-4383-89E4-7B2ACDF1CF90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65a8135c377ad701de44f709b3d3dbd801e378a","datavalue":{"value":"10.1007/S11590-012-0583-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2439524$F3CD6D80-CF1A-4883-85DB-B63EAAB0FB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05213a88b770ef354bc63135d4722b86636e36bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375767,"id":"Q4375767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d3158e3814a5fc93a38d1619fa297ab1a9264c","datavalue":{"value":{"amount":"+0.8301296234130859","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":"Q2439524$AE43084A-545B-443C-ADDF-078360D8FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ddef1e66d75fc24628c0b0d95b3f14850f027e","datavalue":{"value":{"entity-type":"item","numeric-id":1003491,"id":"Q1003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9614a5ed0ea64c365bcab1d0c38f21e8ed1eb7","datavalue":{"value":{"amount":"+0.7975694537162781","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":"Q2439524$6A527140-4B22-47D9-B75C-427EE9329146","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":"9e9240a3096bafb9a7f662fd56fdd93320fa6ca2","datavalue":{"value":{"amount":"+0.7968601584434509","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":"Q2439524$0086D7F2-D4C7-4CAD-BCBF-72EEEA8F43E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204f09b15b1834dfaf048179043182ea2194f536","datavalue":{"value":{"entity-type":"item","numeric-id":5687270,"id":"Q5687270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9536a4e1bf4347805664f78b6eec2111d529a335","datavalue":{"value":{"amount":"+0.7846192717552185","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":"Q2439524$C4AFEE87-BAED-4354-A142-F713421EEACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0cc5b500ddb9510bcf4a9a28e7fbd20ce513db","datavalue":{"value":{"entity-type":"item","numeric-id":5421831,"id":"Q5421831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b504950a6f89601f29a2adf5273498ffb0103cb2","datavalue":{"value":{"amount":"+0.7842418551445007","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":"Q2439524$D4E44034-6AE8-4A47-840C-2201861F4B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving the weighted MAX-SAT problem using the dynamic convexized method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_the_weighted_MAX-SAT_problem_using_the_dynamic_convexized_method"}}}}}