{"entities":{"Q2434567":{"pageid":2445310,"ns":120,"title":"Item:Q2434567","lastrevid":74342907,"modified":"2026-04-14T19:38:19Z","type":"item","id":"Q2434567","labels":{"en":{"language":"en","value":"A taxonomy of exact methods for partial Max-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255900"}},"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":"Q2434567$BFE8D046-05C9-44A5-B5D2-8D12473BD622","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e0f0eb9eaf8e15c6f0ebd769bb6ccca71261c08","datavalue":{"value":{"text":"A taxonomy of exact methods for partial Max-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434567$AD95A6DE-0E5B-4A7D-ACA7-AB64CB676443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524f26455881a4feaf818495db6671341a1b119e","datavalue":{"value":"1280.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$1A91BD2A-5B62-413E-8C12-E5C90C423166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a78bf024fdf14a9544a706ffa294a9a343172dd","datavalue":{"value":{"entity-type":"item","numeric-id":553928,"id":"Q553928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$F1DF769C-2E66-46A9-A084-C0097DCB4BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0449ee4880d213b2a255e729f94dbd345179acaa","datavalue":{"value":{"entity-type":"item","numeric-id":2434566,"id":"Q2434566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$5E3774A2-431A-4F54-A1AC-9490DB8AF9EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$4DC103A0-61F0-4835-B500-69319FB1CFF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434567$BC734EA1-DB1F-4616-8851-E1C0E86248F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$3BD82A1B-D6A0-46CB-9F4F-838F72282608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$A9B90C3C-6147-4C75-AD10-547A914503AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0a2bb51374b51f4f47e2423888eb3e54d563da2","datavalue":{"value":"6255900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$3A73BB9A-991E-4CE0-9F3C-4D8BFF0D9E9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf798ea44ebca84ad057fcaea82c8b74308c0bd","datavalue":{"value":"partial Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434567$A314E29B-521A-4F2E-AEE7-DF81532FF771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b8dd9b8f0576fbcd1498776f9854f30e93b1ce","datavalue":{"value":"Davis-Putnam-Logenmann-Loveland","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434567$AE2E8DCD-E48A-4171-AF47-6496711D2BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc6164cf25ab131dbb818bbd16bab28b6f9d095","datavalue":{"value":"branch and bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434567$4C243B14-F443-4CE5-A131-B6FAA2AD5798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434567$01881600-468C-412D-8E9A-EE5CEA7CDDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c009e1da85687f7d248bf3d529bee2d7b4b712","datavalue":{"value":"pseudo-Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434567$889FF61A-741A-4CB3-97AD-2F1356FF3BE4","rank":"normal"}],"P1463":[{"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":"Q2434567$00D56D28-17B9-4748-BD9A-3F6650459FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$AA8DEABB-51E1-437E-BA77-96B1A293CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9618f1966f868e8e3a428464ad18cf2f054ba57","datavalue":{"value":{"entity-type":"item","numeric-id":21463,"id":"Q21463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$6244DE84-7FE4-4B95-9B86-87B389AA2F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2484a16108c34d406a4f0f66bbc252ff9cd65a57","datavalue":{"value":{"entity-type":"item","numeric-id":21464,"id":"Q21464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$00F86D48-34D9-42AF-ADE2-231098B51AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$7544D2FA-28DE-4164-9A47-23B9F3EE61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$3376674B-4AE2-4822-BA25-E359BD4EBDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$1F5FEDEB-CEAF-490D-9D28-686B1716CE4A","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":"Q2434567$7C3D285B-8684-4A18-B93C-8D2A4C122E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$34A10645-385B-4E87-956E-483E58E275CA","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":"Q2434567$FF539D71-8C6C-443F-B0FF-A8031141922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b03ea1b50cfcc83c65dc6f11e6a28ace876d748c","datavalue":{"value":{"entity-type":"item","numeric-id":16628,"id":"Q16628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$A89B837F-9078-416A-8448-3C9F2904A332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$900AC194-60F7-4942-BEE9-01DA1F07E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$E2BB7F42-19D7-4258-A56A-66CD210F6F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61ba9bfa7c7cf0469ef4cbcbee9f6035816eb228","datavalue":{"value":{"entity-type":"item","numeric-id":40094,"id":"Q40094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$56018882-7604-445B-BFFD-D595B1AF6A22","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":"Q2434567$781302E6-646B-4819-9FB1-20F7A975ED36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38979f33b036dbb0e3682ad5427334943a2de506","datavalue":{"value":"https://doi.org/10.1007/s11390-013-1325-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434567$4B4521AE-07F9-4F1A-A5B4-DC7219B328E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2821e9b7ae654aec0cb6ef11ce4fa1d2def8edfd","datavalue":{"value":"W2080871662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$786E906D-36B0-4284-96ED-F8AC45EA6BD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"140707a542a9d45a6f78619413d8c06c89d7576f","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$BFF3E089-AFBE-4FC6-BA7B-0E8E72D66E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$DCF8D958-E9DD-4403-B523-60041AB50E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$8DA9F8AF-2846-4721-929A-6DD6E5C35675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$4F9BF0F8-8C73-404D-BD8A-8DE644402D9D","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":"Q2434567$DB12E097-2E44-4FEE-9D8B-4512C8203A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfae0911b26fda5932de912397968ba4b5ddb232","datavalue":{"value":{"entity-type":"item","numeric-id":4386971,"id":"Q4386971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$B8F081C1-1375-4F7D-A3A6-2685A65D5F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$6527FBAB-0E7C-4D82-B6C4-E31C24B211C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fb9b8519bc41f62e2af02173987e2f047897d7","datavalue":{"value":{"entity-type":"item","numeric-id":5325850,"id":"Q5325850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$E638A22C-8E9C-48A3-AF69-173A1ACC400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$68AB7963-AD87-412B-9FC5-00B997ECD9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc877b42f4324f220c66a0727f2695f21979a84","datavalue":{"value":{"entity-type":"item","numeric-id":1777395,"id":"Q1777395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$B8EE1DA0-E16F-4A0E-95F3-EAF93753A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$97AE88A1-AC4C-4960-84AF-ACA089FEBBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$D5932A5A-5DB6-44C5-AD0F-344B17DFE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ac8d426171683a9b9fcf8335f59ba6a1bf5fed","datavalue":{"value":{"entity-type":"item","numeric-id":5715661,"id":"Q5715661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$EFCADACC-5FBC-47FF-8146-3D0CC10C7F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da99f5799b341fab88406b85499c58a386c3dc25","datavalue":{"value":{"entity-type":"item","numeric-id":2643296,"id":"Q2643296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$D5864397-7D89-4A1E-9E47-13D3CDD21381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$07936422-A01F-4037-BE13-4995444DD078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$15C38C39-4865-4B91-B57E-2E905EE43F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$7AEBF215-7440-4CD2-8712-E2C62D6E6B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$600203BE-2E17-4FA9-A34E-59B83DB8BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$779DF199-343E-469D-A170-3053BF2F0B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$673FFC57-56CC-4796-8853-893DEBF80BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$4EF503C6-9F09-4CFF-B1AB-17071326C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$AE7DFE8F-2554-46FA-96DE-7CF60E2FD663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$5D43991F-E4F6-4968-9F10-9A87A2E14D5F","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":"Q2434567$4EC36209-F169-4676-8451-31D39F1ACA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38aa065fcb645375906b0784737eaeaa5507ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2457605,"id":"Q2457605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$FDCAB4E6-ADA2-4BFA-B389-48E18ADA5C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc5ffd4852cdf76fd6c1c7c5515538d57cd9c49","datavalue":{"value":{"entity-type":"item","numeric-id":5947147,"id":"Q5947147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$81298348-1120-4382-AADD-9EFF8235B6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dd51419d60e2ab76ec45a1a87fd0fb000dc03d","datavalue":{"value":{"entity-type":"item","numeric-id":5322098,"id":"Q5322098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$2D5DE80D-860F-4260-8B19-ED686230CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55c2a7fc9d45605e2caf1c271f4538d19e2f30","datavalue":{"value":{"entity-type":"item","numeric-id":5958538,"id":"Q5958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$11E6CE44-6183-499A-8878-238445057CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527a074c26c82b5ea94b55c5f07d19f6d3bfcd17","datavalue":{"value":{"entity-type":"item","numeric-id":4375773,"id":"Q4375773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$43BA2BD6-16E2-4FFD-8B30-FF384F9E3DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accd31cb8784a80ed74e5051660cba01a2249f00","datavalue":{"value":{"entity-type":"item","numeric-id":3631249,"id":"Q3631249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$6972D5BE-B946-4F73-8F52-9360AA356FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$9957DB16-9BB0-4672-89EA-5A55086A884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$1EF046A2-DDAB-4C31-B84C-7127D0E199A3","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":"Q2434567$BA0A27F0-3514-4273-A508-593040195833","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":"Q2434567$3CFBBB61-39A6-449E-BD71-D78E60B6D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$62E52912-1F3E-4032-B392-CF252E9A9B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c9398475f7fa9379872481d74552458b55195f","datavalue":{"value":{"entity-type":"item","numeric-id":2723442,"id":"Q2723442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$F39E7F1B-C241-453C-905C-523B8AE031CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab40a8239685dbf77c7e24c55373bc52bb4d07ab","datavalue":{"value":{"entity-type":"item","numeric-id":3284268,"id":"Q3284268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$74FD0F84-67F4-486E-87C9-7D9BCC2DC8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8f681b71e44bfc41bcf0ab91971f6838b9315c","datavalue":{"value":{"entity-type":"item","numeric-id":3604006,"id":"Q3604006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$304CD13A-1A3A-42BA-A08A-60AACB2C0CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca3a432c939c1be42016652ba4f0a805ab2d26c","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$2D9AD66D-8ED4-42A1-92EC-9AE62C94ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$5F1C092C-DD3A-4FA7-958A-9B91D6C4E623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf53a05ca5e221f32a08c5782b9190de6ccdc31","datavalue":{"value":{"entity-type":"item","numeric-id":3637180,"id":"Q3637180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$8A425BFC-609F-4B08-B581-9C3662B50BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdff66a949bf878c168f94d05d31187fd6209bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3523061,"id":"Q3523061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$162EAA2A-C0D9-4D1A-8393-90AEA9D37E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443cd473ebce78c7ad31f34ee6d5d983cef28bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3524192,"id":"Q3524192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$BC6BB882-0942-4E56-BCE4-92022AAB9D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$9263FAD3-1524-4464-AFCE-4046D094F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc77cfa9c1b3e7984bfb9903c5906469bb7f0445","datavalue":{"value":{"entity-type":"item","numeric-id":3524230,"id":"Q3524230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$248EFF34-5DFE-4A60-8494-E821170D0CC8","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":"Q2434567$0E7AD602-BDE5-410C-B9D8-A25B5A841756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$FA897AFE-251F-41E4-95F2-F006D6B15C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a89606ff47e4c6b9d8d3811a5203f7347f11c","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$8DBC436C-20A6-402A-8071-C9347A3893D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd4afa29e020ea6bb9de6f599ede133d0d89b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3637182,"id":"Q3637182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$0B461A43-90B8-41B7-9244-FFAE0D78CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$E98C6183-9523-487C-8072-BFE5CAE323AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434567$271FDC09-1BB2-46D6-928C-966F16BB292F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b07b6b8cf974bf77ddfa9dc535f162fddae20bbb","datavalue":{"value":"10.1007/S11390-013-1325-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434567$75DF3668-2B9C-4852-A392-A8FD5C6DB443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6730a2205fde772bc35658a940e19dca196459","datavalue":{"value":{"entity-type":"item","numeric-id":329035,"id":"Q329035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46361039c575877a61e12f62581943fc840852f6","datavalue":{"value":{"amount":"+0.8276021480560303","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":"Q2434567$860DA700-AFEF-4DA1-B846-C7FA86E5ECF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd7fa545b72419781ceb4cb8ad39d7522fde786","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8924af3d7a07e571110bc7ea8df0a52218322a6b","datavalue":{"value":{"amount":"+0.8171308636665344","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":"Q2434567$DCBECDFA-F8E3-45A0-A677-4CA6392A0AF1","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":"3881cb65acf27180988137eb7d2449221e68f4f5","datavalue":{"value":{"amount":"+0.795306921005249","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":"Q2434567$EDE69C4D-EF07-4F7F-95BC-2B6CEA123768","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":"b5e2bb453d9b23c25432e3869ac020dfe356716a","datavalue":{"value":{"amount":"+0.7949687242507935","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":"Q2434567$DB9C73B2-8DFA-4ABD-B067-935C8651519D","rank":"normal"},{"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":"96048d86bad7d68afdb9022c0b982e737227b1bd","datavalue":{"value":{"amount":"+0.7776729464530945","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":"Q2434567$A3E0A99E-2AC5-43D9-9F6D-4CB2F5CF1A36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A taxonomy of exact methods for partial Max-SAT","badges":[]}}}}}