{"entities":{"Q1761303":{"pageid":1772045,"ns":120,"title":"Item:Q1761303","lastrevid":74351079,"modified":"2026-04-14T19:41:08Z","type":"item","id":"Q1761303","labels":{"en":{"language":"en","value":"Optimizing with minimum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6106696"}},"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":"Q1761303$E4ED1375-8A15-49DB-8F58-1AD4C0A0FB64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04104e1602834e7fc150d8bdf85524459b557b44","datavalue":{"value":{"text":"Optimizing with minimum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1761303$9BA574EE-D333-4C18-9F09-4622A3E29AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d69cb61f9a9788a8f20740c2aa5004eeb2cc666b","datavalue":{"value":"1251.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$A2CF5CF1-BCE3-430D-A9E9-DBF12B8C9862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7986c1376ee4e29177d07fbf4a702c20a602731c","datavalue":{"value":{"entity-type":"item","numeric-id":337151,"id":"Q337151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$3A16D704-18D5-41BC-A8A0-FDCEF3A9EFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66d8e392baae4fea92fea8f1bc5c2b1b83eb74d9","datavalue":{"value":{"entity-type":"item","numeric-id":777089,"id":"Q777089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$AEB2230B-FE03-4DB2-A37F-F0CEACDB32FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$1364744F-7A14-4672-A284-FEC212C0BCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$A16B83BF-64F3-40AF-84B7-AAC809F24425","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":"Q1761303$E40BF0FF-765C-4DD4-854C-977F563D44BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acc91f928e2b1e0c530416c02d7de319da4a675d","datavalue":{"value":{"time":"+2012-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1761303$87967AEE-D8C5-4A3C-B255-D94B18DF5D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$5E468EA8-8685-483C-9A26-0AFBBAD30084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$EF7EA80E-3C36-437D-8986-3634E94E6091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$3EFF5D5F-D100-40D9-8052-8EDED70D4F3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"922322bbbafb5cf87169a608c310d80119f237e5","datavalue":{"value":"6106696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$CBD52D5A-C7F7-4C14-BA72-D5B734944475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761303$139FCEE6-A559-4593-9C14-64D7EE84B2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a90132f49533a1fd91aff0434e3f590cab07d7","datavalue":{"value":"MinSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761303$8804FCE2-B883-44E3-82E6-F2BB60711E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761303$07358A00-5F88-4FE2-AAF6-20CB7905A665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761303$154AE115-4CDC-4904-9469-09298221C7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b70193b15cfa9820eaa83513ddb2267d9b694a","datavalue":{"value":"branch-and-bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1761303$4C272AD8-74A5-4465-9D1A-B64415B2D4C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65328434bd3f9c040d81adad357d4debfc687897","datavalue":{"value":{"entity-type":"item","numeric-id":20516,"id":"Q20516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$F4FB3213-326B-493E-AD99-7420D8919663","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":"Q1761303$D100A8A7-EE64-49EF-A970-A1A74AA1DB3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d99d9969ece89cb6c59c7fbc962f41930d77fc","datavalue":{"value":"https://doi.org/10.1016/j.artint.2012.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1761303$EE4F96AF-FE40-4B44-A980-17DFAED0C5C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be981a5c172ddd72bc468b047b3e328fe8fc3c53","datavalue":{"value":"W2045794350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$FC1FE91B-3BDA-4EF7-AFAA-E4B55F426DD3","rank":"normal"}],"P223":[{"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":"Q1761303$3F48C0BD-63E2-4A94-9AFD-3ABF32FB1575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc8041862aa532bbba369a057626a7082bb0fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1780843,"id":"Q1780843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$E67B7C24-9B38-46B0-8CD8-F5A806F77B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f537da6b8a593b2b18ab381f8c399af916098b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3604009,"id":"Q3604009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$6AFE299A-E47C-4AD4-9AA9-B9991DD1DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8af2df779085adeca485e2691445d9b764369","datavalue":{"value":{"entity-type":"item","numeric-id":4296521,"id":"Q4296521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$6E1FF83C-41D7-43B4-9AB4-DB8FC55714EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267448a1e2d743de00148118f05ecc54ddbd8b58","datavalue":{"value":{"entity-type":"item","numeric-id":2837833,"id":"Q2837833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$F4666224-3822-45CB-8D74-AF51EFCF5EBB","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":"Q1761303$BD548BD8-53D8-4165-8869-8106DECDB1B8","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":"Q1761303$1683F00E-4863-4F3F-B9CC-D42ECFAED94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b632f229012bfc16f9534dc248d24dd34eafb8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$9A53F2A2-688C-4AA2-AC3B-CB2382E4C7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42782059a3b47fa69a90548c2ab13ee21f20d75","datavalue":{"value":{"entity-type":"item","numeric-id":4930605,"id":"Q4930605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$9A98F88F-A282-43C8-80AA-B6FCD4F5AB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30ec572585cf4b40178401f51be4fda2291a102","datavalue":{"value":{"entity-type":"item","numeric-id":1351157,"id":"Q1351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$3A7023B0-DA4A-448F-83A3-DEB412C3CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a6695b7e2036bc0bff39440bd5f6f823773e81","datavalue":{"value":{"entity-type":"item","numeric-id":4452109,"id":"Q4452109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1761303$44E6173B-6148-4695-BA19-BFE53BEFF92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8f10bfd6719c1a0b60fada47caac9a10c8d1bd","datavalue":{"value":"10.1016/J.ARTINT.2012.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1761303$44325652-D38B-4211-9355-9F0E54A3B731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9e099f9a74aa278cafd9ce911ff09664252c4c","datavalue":{"value":{"amount":"+0.9171356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$ED7A2F3A-535B-4D4F-A8AF-2017123D9B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81d480ca6059f8ba9018187ecd208b5b80f08d9","datavalue":{"value":{"entity-type":"item","numeric-id":4296521,"id":"Q4296521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f8e42cfc7d2c492a4fc97ce1ab2335ae45dd48","datavalue":{"value":{"amount":"+0.9004171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$ADEE0964-688B-49B6-8A75-A0D23BC099ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9eb3060490046a168a66b4ee1d58b60894e6171","datavalue":{"value":{"entity-type":"item","numeric-id":779212,"id":"Q779212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddaa15f972f84e72e21f6bff14573f6039bd94f","datavalue":{"value":{"amount":"+0.8975832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$BFA8BE5F-FA0F-4F47-AE58-071736A8756B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5ae6243e6aa47481ebe76a21d9558d7cccf278","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8f776e32d0bff408bbe716f99de422273ba513","datavalue":{"value":{"amount":"+0.88913536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$2BC937DC-642E-4CF2-9008-7EA084BC8371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bdcdca4d8d41325bbd8e35be08b8ac85e833da","datavalue":{"value":{"entity-type":"item","numeric-id":1430296,"id":"Q1430296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce249ac9a619520ca0432cc7ef6d6d43cfd58294","datavalue":{"value":{"amount":"+0.88620114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$FBE42B68-BE9D-4412-BE64-5F0D6EAF5F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb13cc492623077969c467c8b5baad17f6203901","datavalue":{"value":{"entity-type":"item","numeric-id":4536400,"id":"Q4536400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62b6e56ecffd9c1613a35215fbf9d2bb81bf633","datavalue":{"value":{"amount":"+0.8854658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$4116CC20-91B5-4062-8FE5-AE82F7AED83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f9200e1a43cd7afef68a034c74667e054b7e46","datavalue":{"value":{"entity-type":"item","numeric-id":1351157,"id":"Q1351157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8c5a143ddba2fcdefd04b520e8c7cb35e5d7ca","datavalue":{"value":{"amount":"+0.88271725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$FE1F165E-74B2-4008-A47F-99765AFF1E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f927f7daaf8829a65ba75d03228b6344e258ca2e","datavalue":{"value":{"amount":"+0.88233936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$6A83C3E2-5B8F-45DA-9B90-7B9EA7DC404B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fda2a6f8fe8b744fa34dcb1c77a9ba67ecd8067","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f927f7daaf8829a65ba75d03228b6344e258ca2e","datavalue":{"value":{"amount":"+0.88233936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1761303$FB43425F-568B-41E6-B778-4CFFCB20ED31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing with minimum satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimizing_with_minimum_satisfiability"}}}}}