{"entities":{"Q1708599":{"pageid":1719340,"ns":120,"title":"Item:Q1708599","lastrevid":68989155,"modified":"2026-04-13T03:34:10Z","type":"item","id":"Q1708599","labels":{"en":{"language":"en","value":"An improved branching algorithm for \\((n,3)\\)-MaxSAT based on refined observations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852638"}},"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":"Q1708599$97921CBC-E1C9-4BDC-9AC2-43A0A5B4A023","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c86daa6b3a3d2e54ea292cd785142a1a7b6de605","datavalue":{"value":{"text":"An improved branching algorithm for \\((n,3)\\)-MaxSAT based on refined observations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708599$959AE3F5-C331-44F4-9D2A-B0C26E579C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"075b7d6763cfc8202c2eda0c4f55480f041423a5","datavalue":{"value":"1474.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$D40C12EB-DF29-49EB-A152-2DDE94A07D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e428b01861976d325c608251751dd8a7dfb083a5","datavalue":{"value":"10.1007/978-3-319-71147-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$0BD64A7B-6246-4BE4-A687-55DBEB36E1C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddad2be531f56be4f0f7ee50d5e20b7331cfaf94","datavalue":{"value":{"entity-type":"item","numeric-id":410730,"id":"Q410730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708599$A0EB0930-72D9-4AB0-A23F-6DC2E9E54C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9143ec573d3f36ac5c9e76c1458b562264255b11","datavalue":{"value":{"entity-type":"item","numeric-id":279093,"id":"Q279093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708599$BBAB6506-0526-474D-8804-3B78E7EB2961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8a65950537ecd49151985eb84e20845944c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":328685,"id":"Q328685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708599$CD7610DE-2AAF-4356-82B6-9D6E40972D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6f011b29c6c144a273028db6ab667ff5f6972c","datavalue":{"value":{"entity-type":"item","numeric-id":249097,"id":"Q249097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708599$C68E49F9-48FE-41DB-8DEB-835A571D94D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708599$57E353D9-8C26-4632-AAE0-25E70705256A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$07E7F282-3850-4814-82C9-37745BF02845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$C68C9E7D-225E-4585-AAE5-6A1D91B302FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$6F5A7914-A941-4C33-A082-30CC8540CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$F4DD337D-1A9A-4FEB-8E70-DD35B87D26F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6479d34d1b572a4875ecbfecaa53622e077fdaa6","datavalue":{"value":"6852638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$60CDE87B-500A-4B12-B717-FB2250A13363","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":"Q1708599$D7CFACE4-7B7C-4E81-BA59-B3E1C424F694","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75830162f1c4519687b0959f7baff77d42db0296","datavalue":{"value":"https://doi.org/10.1007/978-3-319-71147-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708599$4CBB4DA0-1E3A-4994-9297-F4D8DEB20EE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92fff163cdd39709085c51524d7981f8cf639e5b","datavalue":{"value":"W2768604257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708599$781F0D73-455E-42A8-9AAD-165AF87C9E45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7dc36f96bef172011617a641db5a0d357381cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2051907,"id":"Q2051907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989a0c25d1251363ccf64f4a96bef2014db4d3cb","datavalue":{"value":{"amount":"+0.9645286798477172","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":"Q1708599$44EC4486-5543-4BC3-A298-D301A85C2E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66486b965ac69bed492925a66fac51a89ff79f0","datavalue":{"value":{"entity-type":"item","numeric-id":2424882,"id":"Q2424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0586c104131001ea5a622e243cd813442fb4279","datavalue":{"value":{"amount":"+0.8534271121025085","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":"Q1708599$1424C77A-CAD9-4AAF-BC22-016144263A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe5dd179830bb6e9aef3970522f0529f51f6f12","datavalue":{"value":{"entity-type":"item","numeric-id":2283027,"id":"Q2283027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce07fbdb24929f9892b70e867c4de67deb9f3b41","datavalue":{"value":{"amount":"+0.8308306932449341","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":"Q1708599$0DF8D711-A34B-4B70-AA3D-CD44789E84B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57f3043faf0a1b1e487429e1713f75ee09f2dd","datavalue":{"value":{"entity-type":"item","numeric-id":4899239,"id":"Q4899239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403a76c67d3f420275b6b69afad2e25701cefa3c","datavalue":{"value":{"amount":"+0.8270840644836426","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":"Q1708599$2C72F3F9-1DCA-45BD-B2D9-BB080DB0CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfd952c4dbff9b05b5d1bf0775fbbbcf8fb8946","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a878d543b0838b0980d2dd7ef3597492ebc9585","datavalue":{"value":{"amount":"+0.8255711197853088","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":"Q1708599$45CDC8BB-1771-462A-BBA6-9A31D41F0936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An improved branching algorithm for \\((n,3)\\)-MaxSAT based on refined observations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_improved_branching_algorithm_for_%5C((n,3)%5C)-MaxSAT_based_on_refined_observations"}}}}}