{"entities":{"Q535012":{"pageid":536779,"ns":120,"title":"Item:Q535012","lastrevid":62560668,"modified":"2026-04-11T06:55:20Z","type":"item","id":"Q535012","labels":{"en":{"language":"en","value":"Efficient branch-and-bound algorithms for weighted MAX-2-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886687"}},"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":"Q535012$482C6507-8D7B-4543-A802-69048517C485","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"467a81caa12f78838ad392605f4f91a1aee7f491","datavalue":{"value":{"text":"Efficient branch-and-bound algorithms for weighted MAX-2-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535012$98BC0796-F4D5-41C4-A3CB-20A14DCF392B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2aad16d72d6f70e82b16f7a998f7b53a573c10f","datavalue":{"value":"1216.90073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$221C4DB5-7C16-4A0F-AAB4-2FE744E9F7F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$88FFD224-43DB-48F5-973F-CC2768C3AFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27abf75f078e858b242887b4b40e45a0da2487d9","datavalue":{"value":{"entity-type":"item","numeric-id":339634,"id":"Q339634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$E4C6863E-4899-41F9-AB9C-EC79B6DA16AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e021520b86ca343fefe6f86249d5d3cef7870a","datavalue":{"value":{"entity-type":"item","numeric-id":535009,"id":"Q535009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$2374FC8A-017E-4670-AA57-B4297D4F6743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60eb2392c3cbb67419a7505eb4d7770437782b61","datavalue":{"value":{"entity-type":"item","numeric-id":187130,"id":"Q187130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$5BF702A1-82B2-4F0D-A1E2-DF24C5B22BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18517bd733182d7e5ee649ca64cfd6f6d04579d0","datavalue":{"value":{"entity-type":"item","numeric-id":535010,"id":"Q535010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$D927F22C-82C9-4087-93AC-9BF5E95236B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694f8e5b23289ba4bcc1a45a25bce07de03f3270","datavalue":{"value":{"entity-type":"item","numeric-id":535011,"id":"Q535011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$F392B583-9C8B-448C-9190-4F7F85CDB1C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99da72655942e9c2c9c01874c026b7cceeb02de6","datavalue":{"value":{"entity-type":"item","numeric-id":163006,"id":"Q163006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$DD1B490F-DF21-4BEF-A704-DC3032053CF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535012$5C72C2B2-6A2E-4F33-BF91-5B6392BAABC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$7DBBC86F-0C67-47B0-B81D-2BBE68B82F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$8194684A-B0D7-4083-BADF-9A96A31803D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0864bfd546d26defc21695ba3095f3f52c99a341","datavalue":{"value":"5886687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$5F76EA54-0848-4EC1-A78A-C2B85ECF782D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e898a78c355268fe2b17cbf144df82d81b94778d","datavalue":{"value":"MAX-2-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q535012$662FAC12-706C-4953-B581-CB57079BC685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q535012$40A95522-BD1B-4194-9EE5-EEFC7A10C2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b70193b15cfa9820eaa83513ddb2267d9b694a","datavalue":{"value":"branch-and-bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q535012$FED974C6-404B-4EE0-A661-EF9B2943B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q535012$E9D7359B-D7DA-4F9C-BA7D-70EB37A94FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf023653318cc5b8c727563611596d2cf1a818a","datavalue":{"value":"directed graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q535012$9E1FC776-E031-4A89-B9DA-403A1D5B85EE","rank":"normal"}],"P1463":[{"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":"Q535012$EBF5410B-69C0-4FAC-B14E-ED38DB4E37A0","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":"Q535012$7BD65E49-1224-42C4-93C8-FC883F5BB630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10ed1370106ab58118612ce8fef1abc06fcb61d2","datavalue":{"value":{"entity-type":"item","numeric-id":13776,"id":"Q13776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$16B8BD10-C631-4AD8-B15C-5035AFB7A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"054bdc753160250e7a128ccbc7a9e886c58a34e4","datavalue":{"value":{"entity-type":"item","numeric-id":14538,"id":"Q14538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$EF9B4480-5C66-46CF-858D-46E5F5705766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$4CCE2F1E-93AE-48C3-9B87-86208E84B780","rank":"normal"},{"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":"Q535012$D89B821E-EF78-42A7-833B-7B613B01C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$5B1E09A1-A959-4AE1-9653-815BF58256F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$807E0227-A692-4567-9A31-8A9EC4071F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$09ED93B4-72C3-4DC4-B3ED-01A417C37FAA","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":"Q535012$819C290C-1C81-41EC-B454-DF7DA6322974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66b861e67a3441bfe1208b83e1aaa112928af706","datavalue":{"value":"https://doi.org/10.1007/s10107-009-0285-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q535012$3D46F6F3-AC19-43D6-A90C-F3BD51A141A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e654c1c41084c58d35ce4737b7e910ea7134e1e","datavalue":{"value":"W2049935674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$3EB4624D-BBCD-4151-B2E8-2FE88E5A209A","rank":"normal"}],"P223":[{"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":"Q535012$281223EA-C6D1-44B8-ACF5-2818DEF313CE","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":"Q535012$DDCE937F-D510-4C93-9639-D69093189A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199892ad5417608898ae9fda71fdfb34a83179bb","datavalue":{"value":{"entity-type":"item","numeric-id":2466587,"id":"Q2466587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$9EF31298-5C3C-445C-84AD-B3BD85299DE6","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":"Q535012$CBB97492-C127-4EE2-B3A1-4B296DE7D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ff8f1c19496727f99d8fe271f1509db3d0697c","datavalue":{"value":{"entity-type":"item","numeric-id":697569,"id":"Q697569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$4ABDE3EC-3B2D-4598-BB34-0F3233AAE4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8063806bac33a1d45272a59767a00a2ef88e7538","datavalue":{"value":{"entity-type":"item","numeric-id":913658,"id":"Q913658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$2B194503-4ABB-4C9E-A276-E3D611DCDFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7484b4e0ba1d806ca932ad3fcb8062d346d9b467","datavalue":{"value":{"entity-type":"item","numeric-id":4012442,"id":"Q4012442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$2F610ED1-E382-493F-B625-C9200FAC5AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f0558c4f4748e768a18153d115cbf2c6f08a48","datavalue":{"value":{"entity-type":"item","numeric-id":951124,"id":"Q951124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$32100827-4E3B-41B6-875E-5E9242B5E9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5036e4b1ac3c0bcc766679cf51fa757d2c361848","datavalue":{"value":{"entity-type":"item","numeric-id":1386767,"id":"Q1386767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$256793A9-7E6B-43F5-8F33-853456223E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$5743D047-AC93-4BFC-A19E-69ED75F1907F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$800F47D4-7911-4FAD-8882-7E9B081F8CB3","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":"Q535012$3CA5D209-213C-47BB-85D0-A8DF623D0641","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":"Q535012$946C4185-395F-4565-B1CB-70E1F469D511","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":"Q535012$E5F78802-D4D4-43FA-A42F-BF843F43AB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$FF037FB6-87D0-451F-84D6-C0C548CC77CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$268C730C-E502-4EC2-BD20-3DA223B7C34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$E5A6929B-15E1-4F29-8F50-87AE184B8D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a215457c438695bb7fc4ab73c68b207d61ff499","datavalue":{"value":{"entity-type":"item","numeric-id":3275357,"id":"Q3275357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$5F0D8A3D-6D1C-4E7D-A7D1-94884A452F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c66f619d3b26b12530bbe611d4ddd8299d7b85","datavalue":{"value":{"entity-type":"item","numeric-id":2783926,"id":"Q2783926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$C0CEB63C-04DA-4B01-B83E-28041F262BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ab20bb8f22d436c05f5f3c0f12bf70c0529d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4495174,"id":"Q4495174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$D1CE4C8A-2B03-4D7D-8D71-3A2FF4195DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582a43d9b94ca6bea7cea36479091b3781a30278","datavalue":{"value":{"entity-type":"item","numeric-id":1600836,"id":"Q1600836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$C1B2C498-83AE-441A-A5C0-AE5D641E7DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c925fe735c46759427f41d717bbf94e5f6fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3812009,"id":"Q3812009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$919AF101-611C-44BF-B4E2-39260A6A706E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$7731C6A4-9E84-458D-891C-27C1CE872220","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":"Q535012$F98E3925-E8F5-4A22-A416-A07D10510FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e239dce14973bc963cb9871e26501ddc153e9","datavalue":{"value":{"entity-type":"item","numeric-id":3693267,"id":"Q3693267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$0E4E7E12-02CE-458C-9561-FAB098D2A662","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":"Q535012$0FC2D611-7FA7-40FA-A6AC-8167FF824A4F","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":"Q535012$D5AA9FE6-AF3E-499C-A9D5-B28286D52DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4158ce462278aec1541425dcdfabfa74e651d788","datavalue":{"value":{"entity-type":"item","numeric-id":4038710,"id":"Q4038710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$00FF9C53-5301-4602-9652-876D3D52F295","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":"Q535012$9642D8C1-96BC-4E50-BFB7-F2267DEDC68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$442F36F9-71CD-4E71-BD0C-D399DC9759E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09db4c65df251a0511b86dedde59ccff0edcc490","datavalue":{"value":{"entity-type":"item","numeric-id":2505314,"id":"Q2505314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$34F2A3EE-4C13-40D6-8890-1C955C9AAF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$9DE38A64-29A9-4F7D-A2C2-7AC0C012B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca80b49996baba02f3a9654576cb23685d63b0bd","datavalue":{"value":{"entity-type":"item","numeric-id":4452900,"id":"Q4452900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$DD0AA6E8-E0E1-4D21-A8B0-8724B029CF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f121554dbce1e13157d5758e4a40343b28bfb0","datavalue":{"value":{"entity-type":"item","numeric-id":1823692,"id":"Q1823692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$CFC93031-A24D-412A-A25A-BFB34912BDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5f56faf1eb5778a67934d86dec7defa0e4c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5714769,"id":"Q5714769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$EEC4058B-BCC7-4BBE-B58D-968A544E7F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48aaf70772e09e85b7312cb8f2179915ef5b90e","datavalue":{"value":{"entity-type":"item","numeric-id":3981972,"id":"Q3981972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$ACDF05B5-A096-4598-87D3-E1609665F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbe98a81650da149d5ace26e318443ada708c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1850977,"id":"Q1850977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$A5DD6E54-9026-41F7-9B5F-0679D4AA5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36aa7d2d91786e2fde5cac3795bdc54abdc0bcf6","datavalue":{"value":{"entity-type":"item","numeric-id":1779696,"id":"Q1779696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$33C81128-3B7A-470A-9680-AF9A6B4958EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bff7146c4e88a23d48a2ab0f803f1877245e0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2583777,"id":"Q2583777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$E86D70B4-FDCD-4D89-9086-DE6B49DFA06F","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":"Q535012$F2C02628-1F64-49BF-AFD8-B5C046A66CB5","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":"Q535012$DA649F8B-3D02-4336-8054-6389DD6DFA5C","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":"Q535012$51DFA402-6B70-483B-9E3F-D6934543CC20","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":"Q535012$BADC1B36-6B03-44E1-BD9E-9972E5566231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a152795d2fd3377e6c65408923a932788463d065","datavalue":{"value":{"entity-type":"item","numeric-id":3865840,"id":"Q3865840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$FF9DF6F4-EDF4-4617-A114-EF471D4BCBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd0320d9bdceb5dec8ac5adab43168acb12d4e","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$2581A547-C5B0-4960-AD1D-076B6D15127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97bafcb1ad6f55d37cdaa4ecdb51f7094ff98c89","datavalue":{"value":{"entity-type":"item","numeric-id":2779815,"id":"Q2779815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$1E2C012D-14BA-4808-BEB7-7DDC419F427E","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":"Q535012$BF9B5E06-0FC1-4060-8B9E-B19A6F287135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96b4c5384a2aa0d3275972f212ec4ca1824440f","datavalue":{"value":{"entity-type":"item","numeric-id":2457672,"id":"Q2457672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$67DC7EBD-5BA7-4753-B3EB-547F09C3DE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7ccb54bd3438917cba0033ed31913eccc445d9","datavalue":{"value":{"entity-type":"item","numeric-id":1304388,"id":"Q1304388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$1D3A04A1-6B40-4068-9595-932541CC6F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55737ff588bd17c0b047d6152d27c5ed2c604041","datavalue":{"value":{"entity-type":"item","numeric-id":1850970,"id":"Q1850970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$2204CED4-1024-4623-8974-F615C3F4567D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efabf5eacf4d67f1a521b551df0250faae68f89","datavalue":{"value":{"entity-type":"item","numeric-id":4314502,"id":"Q4314502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535012$3346E98E-3270-48AE-B5AB-03D70E2BA877","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":"Q535012$EECBA1CF-2012-41CC-8B5C-F3BD33E9F3B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fb6463ff96759cb5886b9e3e1fc2f0d6e54bdf4","datavalue":{"value":"10.1007/S10107-009-0285-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535012$5EE7565C-23CD-4242-B15C-FB63F1BB887B","rank":"normal"}],"P1643":[{"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":"5ca218562d612789b8772e52e0e031af499d448d","datavalue":{"value":{"amount":"+0.85929274559021","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":"Q535012$99610555-5AB8-4D1B-BB64-77177B979354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118268bcb2efb9dcfffebdca687687ef3d23e906","datavalue":{"value":{"entity-type":"item","numeric-id":4500858,"id":"Q4500858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741aa3ee1adc7028f303080222510837e5265450","datavalue":{"value":{"amount":"+0.8365631103515625","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":"Q535012$9ACA002B-BDB7-4771-8A7A-21DA90BC4683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c13df1b86c9f4e84b3fa5f66e0c22881bb8e89","datavalue":{"value":{"entity-type":"item","numeric-id":1288467,"id":"Q1288467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3792a9a4c5fbbc09111dd2d09d4dd649a18cf1","datavalue":{"value":{"amount":"+0.8359560370445251","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":"Q535012$F370B2B1-2F6C-4669-95B5-CE44BE6C062C","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":"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":"Q535012$ACF16A1A-AD3E-4385-BFD4-FF444916903A","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":"16f9c34b1fc87b23dfc1c4defd99413866723e3b","datavalue":{"value":{"amount":"+0.8311075568199158","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":"Q535012$99A75A7E-42E1-4994-9DB4-114120B9C248","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient branch-and-bound algorithms for weighted MAX-2-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_branch-and-bound_algorithms_for_weighted_MAX-2-SAT"}}}}}