{"entities":{"Q2389619":{"pageid":2400362,"ns":120,"title":"Item:Q2389619","lastrevid":72681342,"modified":"2026-04-14T06:28:20Z","type":"item","id":"Q2389619","labels":{"en":{"language":"en","value":"A logical approach to efficient Max-SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580248"}},"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":"Q2389619$13D5A9BC-D56F-448F-B2E2-AB8B91DA324B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfe9486373e088e85107a0fb7a237e9af4bf8380","datavalue":{"value":{"text":"A logical approach to efficient Max-SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389619$7898F1DF-CDE2-4ABB-8070-89C6BB029751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bdbf8bca2952da96924c376c4b85d389bf6624d","datavalue":{"value":"1182.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$E0F763A3-CE4E-4B1D-94E9-EBA941544941","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0fa9e77ae9ac54f182e764320d4341fa38a63ee","datavalue":{"value":{"entity-type":"item","numeric-id":814625,"id":"Q814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$F6704665-AD73-498F-9B21-45D60D0109A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d5029a19407694c0d46deb444f7fc5d33718a4","datavalue":{"value":{"entity-type":"item","numeric-id":2348539,"id":"Q2348539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$B0716B86-5CCC-4A8D-97AA-DB43BD1F6F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a8050d570f04095c439fd26cb9fe6bec468813","datavalue":{"value":{"entity-type":"item","numeric-id":309928,"id":"Q309928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$EB63AFF7-A0A9-492C-92A1-5FFD77C99982","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$5C87A9AA-6C15-48A0-9F21-22061C5B7977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"895fde569e76df2f055cb42fcee60c0329a59331","datavalue":{"value":{"time":"+2009-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389619$D3576A1B-BE7F-4150-9348-6B456370CFB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$8D1F341E-73D5-4BEE-B977-B9C7CC4F3C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$ED0B244B-C57C-4A14-95CB-CCCB6130FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$2F4D48E9-A89E-4599-B63E-50956BE1C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$4E8F4D15-E039-4F96-BAD9-20104BD6D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$E2A9C802-475C-4876-9A6A-F71496AD684B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0365150cabe07446249b0807ab79b3e6ce812d","datavalue":{"value":"5580248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$148CA40F-3047-4FD0-A263-908FA835B823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a333935da086cb77becd7a5a0c09ca5ece4acc85","datavalue":{"value":"Max-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389619$66E34EF2-FC94-42BE-80B0-7A3F9B9B2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389619$0D457EFB-7460-435D-A557-644FBF804460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389619$632FAB3A-926D-4B10-9022-3F2CC99FF2AB","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":"Q2389619$4DCA797E-6F1A-47B7-BED2-1655A71C2004","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":"Q2389619$9E1866FE-5037-4F9B-8212-DB696124916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"327d4a53b9450aa43441b555bcbd82aa43b41de7","datavalue":{"value":{"entity-type":"item","numeric-id":13494,"id":"Q13494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$2A4BDA64-EE7C-43FE-B86B-040CB3E91BCE","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":"Q2389619$5D2DEF90-A459-4D9E-9C53-E2C8A25A3281","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":"Q2389619$F3B7FD7D-C1EB-4B37-8673-43B2F6FDF6B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ee27bb27d0182d06fc6688491ac6a249dc220f5","datavalue":{"value":"https://doi.org/10.1016/j.artint.2007.05.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389619$BB17FDC5-9D69-40BF-9B69-81A0527B54D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d8088d6c1eab212793e3907972e749252f652f0","datavalue":{"value":"W2121957284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$9FC274D9-32E2-4082-9EE5-7799E3C40945","rank":"normal"}],"P223":[{"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":"Q2389619$FFF2C208-A743-481F-95B1-74A074991A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee9603877ee270ab2f53b2de882181d8007df72","datavalue":{"value":{"entity-type":"item","numeric-id":2506238,"id":"Q2506238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$C773012D-3217-4DAB-AEC3-A724935DF719","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":"Q2389619$B54AF7E7-0A9A-4039-BFFD-4D16C31F704E","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":"Q2389619$B0618EFB-97BE-43FF-A46D-49B1CD8DD243","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":"Q2389619$F62FB1F3-A2C5-4809-9F59-E994DAA02F2C","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":"Q2389619$8C2B29DA-9F33-4475-8951-B872951B24FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba633c23134498c77376841b9cf1b660a80f256b","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$813B8B6E-A7F3-4038-9F10-B5BFE7CA2842","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":"Q2389619$8B4E324D-14ED-413C-BC02-C707E34509FA","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":"Q2389619$38BE49C4-51E2-4E69-B9BD-66B21E4D89DC","rank":"normal"},{"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":"Q2389619$6ECD713C-9F1A-4DB6-82B9-5A4F79D56D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$024F4E68-99EE-48C2-A639-6EE82396FA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc25cbb648141cd33a4375961d870b7b0931a00","datavalue":{"value":{"entity-type":"item","numeric-id":2536444,"id":"Q2536444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$D317D531-0B7C-44B5-816D-426C39FE030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b072a827eea1e8c611d3a9f2da6877a619604","datavalue":{"value":{"entity-type":"item","numeric-id":1977760,"id":"Q1977760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$297D3B1B-EF39-41E0-9D81-EFBAD132E411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924e802243b4f51c1822e67211b88d08172a8079","datavalue":{"value":{"entity-type":"item","numeric-id":1062758,"id":"Q1062758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$C66D3F29-FB32-4671-8F8F-4B37BC203F8E","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":"Q2389619$0C350CD0-F9C3-4A72-8A3A-FEFD564455E8","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":"Q2389619$A8CAE4DE-D9D1-401B-BC5F-5EB0DA6F44B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$CB5209D4-6CE5-4A98-AAAD-CFA3395F12C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfe07f1c5c63e672d1b78d7011164fbce5d1f5d","datavalue":{"value":{"entity-type":"item","numeric-id":4473041,"id":"Q4473041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$31814ACF-6DCD-4650-9B9C-97C244E05236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0486d6e559bc9c2b47df730ec87f1cbc69b5e2b","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$F7025970-534B-4F60-B46E-C8C6045CE46E","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":"Q2389619$1753177A-B1FB-4D21-95D7-86EB69BAA7CC","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":"Q2389619$D6581BED-62ED-420D-AF86-A27DF4E0C8B0","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":"Q2389619$2116B682-1A18-47E3-B0A1-B374857B8C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aed648419a2f33952d6c4fdad5bb320b7e1833f","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$4F77D3AB-A50F-406F-B530-FDF83CDD313F","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":"Q2389619$57E297C1-EDCB-4289-8F46-127BC3233245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ceae3734afea155e9dc7561cf1011ac5f6ddfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5897220,"id":"Q5897220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$6F08FE5F-243D-4F06-8249-E0CC7D5AECAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da15692b7b129bbd5aa6f3835231c364ea3e207","datavalue":{"value":{"entity-type":"item","numeric-id":1267190,"id":"Q1267190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$A51A83AB-CF9A-4279-99E8-AF22CD64D6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5965b20793d5f0fe6b84b5c821604df73f5653f5","datavalue":{"value":{"entity-type":"item","numeric-id":1613374,"id":"Q1613374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$DA370006-2FED-4F01-9EAF-BC37B460B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028663f78e40d74265033cbd67a68980f9fa4411","datavalue":{"value":{"entity-type":"item","numeric-id":4411385,"id":"Q4411385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$ED394E6D-8C29-46B2-9D63-AFCD3D736EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$66CE3F01-11A0-4D32-B159-F28E50935A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3d7c1abc412ecf1785400f7144300e07765fe7","datavalue":{"value":{"entity-type":"item","numeric-id":814626,"id":"Q814626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$4F6552D2-A4FB-4E6C-8DF1-FFAEBC743485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67fcddb24060125029173cfd968ce530b38d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1978379,"id":"Q1978379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$50DE8168-0E10-40C4-A23F-299A4348CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65109c64936b8d0126351ec0ec01a7833aaadc1b","datavalue":{"value":{"entity-type":"item","numeric-id":1424768,"id":"Q1424768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$3D380444-CA09-49AA-8A0F-BBA92110C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b842a5dfeaa3df237d0d3491a453bdcad7a5e0cf","datavalue":{"value":{"entity-type":"item","numeric-id":5715700,"id":"Q5715700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$A657E032-8D3D-4F76-9F34-A33945F1D361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad94e7a7ee99dc5b7b5cba0a982eb83b1dcec7","datavalue":{"value":{"entity-type":"item","numeric-id":816687,"id":"Q816687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389619$2F6CC105-3ACD-4CF1-9E7C-93430C67619F","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":"Q2389619$7850075C-4BEC-4F74-9605-9E5AFA5B423E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20467d39e0939d286d81e14b0a3ef7a08f2b3aaa","datavalue":{"value":"10.1016/J.ARTINT.2007.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389619$5E4D90B5-86B3-4B3C-BA99-A0144D39DAC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"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":"Q2389619$BEF391B6-5D82-4976-9DC6-C58E3F3F65FE","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":"c3811e4e4167f8e1a36f42be366c196f7c894651","datavalue":{"value":{"amount":"+0.8706395030021667","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":"Q2389619$5F471C19-A7C3-4067-BCAD-F8644706838C","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":"5cd1bb92816aa47eb067b50f17ba9dee04ff743d","datavalue":{"value":{"amount":"+0.84986811876297","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":"Q2389619$418C621B-EA73-4D89-AD7E-2204600B60D7","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":"8e0793f644659b64d3022e81182a516ec79b75e2","datavalue":{"value":{"amount":"+0.8457120656967163","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":"Q2389619$A0C4FBF3-25F9-443A-B887-94CDCAC1665A","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":"7a8a08702ad517213893e81cb1ba79f9f534f2eb","datavalue":{"value":{"amount":"+0.8336887359619141","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":"Q2389619$1C381942-BEF8-481B-A048-9D1A1F0C5431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical approach to efficient Max-SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_approach_to_efficient_Max-SAT_solving"}}}}}