{"entities":{"Q2118336":{"pageid":2129079,"ns":120,"title":"Item:Q2118336","lastrevid":43521120,"modified":"2025-07-30T13:45:50Z","type":"item","id":"Q2118336","labels":{"en":{"language":"en","value":"MedleySolver: online SMT algorithm selection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495591"}},"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":"Q2118336$5D751365-2CE8-4900-ADC8-C731E0842884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9266fc68d418d3f6f8d93ed118ccce73291ad059","datavalue":{"value":{"text":"MedleySolver: online SMT algorithm selection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118336$162F774F-FDCB-4BBA-9D5C-4C95C257EFA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ed3503bf6cc76f201665401c1e2368e7fda4c07","datavalue":{"value":"10.1007/978-3-030-80223-3_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$23F5A594-49F1-4654-BF9B-744B58C96727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c99fe86b24494e1a60ec2db18f432f2eba69f19","datavalue":{"value":{"entity-type":"item","numeric-id":2118335,"id":"Q2118335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$005C6F52-9AF2-491A-B060-515FE5AB48AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b82342bc4479b4e43e73fcdb146e9de5fae6ddf","datavalue":{"value":{"entity-type":"item","numeric-id":832269,"id":"Q832269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$208322BA-ECFF-427C-8800-C67987E33851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13de3494ce2f2698a5acf6c7dbff7bb0aaeeb31","datavalue":{"value":{"entity-type":"item","numeric-id":1693114,"id":"Q1693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$7832F5D5-1E20-4C0B-A30E-2DB9B5D29DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$F348DFCF-901F-4DFE-A3E9-F0D7F0E62BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118336$623DC8D5-7905-49CB-9FBF-6E74B51BD553","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8acfd21457f4f7f682e150091d0b874a5204cba","datavalue":{"value":"http://hdl.handle.net/20.500.11820/b2ea7a05-d9f4-4ac4-a70e-108c8f323522","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118336$7EAE31CC-C3FA-4D29-8552-36C0DB77E4EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$0F39F222-90C8-4A5B-A186-A285F2DBB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$8C951A6B-53E4-4E8B-8AF6-0A72913DF974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$638796E1-383D-4823-9790-5B4D1CFEF1C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c4f40a8507661d069fad0bc476fdf152655301","datavalue":{"value":"7495591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$C65AE855-3C7D-4505-A547-8F3778B2B157","rank":"normal"}],"P1463":[{"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":"Q2118336$F05973DD-1812-45EF-9A83-2D8E9E68C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$8F5C241E-5A5C-45C2-9595-757142307A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ffb7d804988b3c86a5855f78d1e0f2e36c4cad8","datavalue":{"value":{"entity-type":"item","numeric-id":12843,"id":"Q12843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$7A0CF9E8-BA2C-49A6-8757-DBB3B3E5D738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$1CF9E8D9-E395-4820-924C-24863C92F386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$D8F8B250-F435-4F54-83D8-EAEC00CC4ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"232bf059ab7a3fff15476243f7dc25612dc23d05","datavalue":{"value":{"entity-type":"item","numeric-id":56272,"id":"Q56272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$89ED94CF-5ACA-475A-ACC5-87BC32156D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$C10554C3-F06E-4CE6-A9EC-6A150ED7F841","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":"Q2118336$0BEAB5E5-FB8A-4D38-8E50-AB3F180F9ED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af708891a6d5346af56a2c391888ba57bf26026d","datavalue":{"value":"W3185149219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118336$76B6BFBD-FC78-4F79-ABC2-A636ED3B0A05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ab497481664a4a07920e158c21460796b4eabb","datavalue":{"value":{"entity-type":"item","numeric-id":4785631,"id":"Q4785631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$515425B5-418D-4BE8-B1CE-7D65218E9910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$CB69108F-813F-4297-A049-5D6646A8A144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$D1C8D55D-6C9E-4A60-B627-C1843689129A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6b5c9ba07756f2a0bad8491547e891ad5d83de","datavalue":{"value":{"entity-type":"item","numeric-id":677527,"id":"Q677527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$FBFE3119-69C7-442C-B81F-97710A70BE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b193a85e64b8aa45a6a5205ad8fe538de425427b","datavalue":{"value":{"entity-type":"item","numeric-id":5470194,"id":"Q5470194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$4D402335-4B51-46BE-BB47-19672D245FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$3D846EF8-B472-49D9-9995-CFAB3C528BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f94ecc0a77f40cc24a1db27854603b882b5e79b","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$9CFEE61F-9642-40F7-8BFE-670996727137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07ab1b34cf5cbc8b0d382033f0fddc7c499217a","datavalue":{"value":{"entity-type":"item","numeric-id":5370860,"id":"Q5370860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$0DB29684-8970-4B87-96EB-B79D0EB13062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702865848cb15e407debca29db0e1f097f9b86e4","datavalue":{"value":{"entity-type":"item","numeric-id":518892,"id":"Q518892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$3174BD76-D0BC-427C-97F4-42BA05152373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6a0432872df1daa745744b39fb0ed7210ef53d","datavalue":{"value":{"entity-type":"item","numeric-id":1398364,"id":"Q1398364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$B832C33B-CFBA-4A54-8325-93D16A1ED002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118336$A66C9AAF-36CC-49CF-9DE6-876D3F7D466E","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":"Q2118336$E287ADB9-AFDB-4822-81F0-71A945E919AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ee7ea66ac29b47348816295977d5126325e550","datavalue":{"value":{"entity-type":"item","numeric-id":3970696,"id":"Q3970696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d66a51a77bd8316b5ee12170ec04e40cc2c2d236","datavalue":{"value":{"amount":"+0.81636846","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":"Q2118336$EF74645C-9481-46EB-AF85-08556ABBE8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b83b6375b3dde9a8eb941809b36746980a8d087","datavalue":{"value":{"entity-type":"item","numeric-id":2118329,"id":"Q2118329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6309ae4b687e0d33bb71b4387585e39edcf183e3","datavalue":{"value":{"amount":"+0.81615204","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":"Q2118336$2605E504-2693-4B96-9947-E664085C2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cc34c2dbc54676ac28cdb799ec3e7a2227b032","datavalue":{"value":{"entity-type":"item","numeric-id":3140447,"id":"Q3140447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8b43bd960f87535327c4856305bf08c32fc016","datavalue":{"value":{"amount":"+0.81521004","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":"Q2118336$C679021F-FD64-45DE-93D6-1192E11713EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cb3897716cc65c7beb773fdcdc6f13d6cb3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f0fef8bde8eb82376beb712954a4743e4ed137","datavalue":{"value":{"amount":"+0.8025604","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":"Q2118336$BABFBA01-2A47-4427-B800-B279BF8D6E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeee2143e39dba621179e917f7880a2b80efdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2849301,"id":"Q2849301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac1b86262e2edc304644db25ea91ec6c6e9a13c","datavalue":{"value":{"amount":"+0.8006359","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":"Q2118336$038A2DD4-BDA9-45C9-8991-0AE7EF478FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d1c44ff8840f0413227e21b15a52804f7b9c49","datavalue":{"value":{"entity-type":"item","numeric-id":673379,"id":"Q673379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f888efb147c8ecd5babe629d440c1970a6e8e83","datavalue":{"value":{"amount":"+0.7972894","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":"Q2118336$094336B5-16EB-45FA-892F-940210074E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00395f4c495855e04bc85f101df2ce76ed44038","datavalue":{"value":{"entity-type":"item","numeric-id":6184384,"id":"Q6184384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dd50a845cf9d0408185b85ac44a3e3961fabac","datavalue":{"value":{"amount":"+0.7972893","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":"Q2118336$C11E4039-DBE8-45F4-8C45-06C9DE6CFC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02e916a4295d108c2e735da9044d9bb806b47dd","datavalue":{"value":{"entity-type":"item","numeric-id":4621226,"id":"Q4621226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463fe4dd8e3d68edd591ef9a25f08d6b9822b3e4","datavalue":{"value":{"amount":"+0.796741","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":"Q2118336$9F990A7D-2F5B-4106-AEE0-E170D82B58FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e1f93bc5380114688fad937a7091a9355c0bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3502701,"id":"Q3502701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9e54c795696da505257ca6f6a098dc8f8262bd","datavalue":{"value":{"amount":"+0.7939968","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":"Q2118336$501EFCBB-DC8C-429A-9BAD-99B3FD95D560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118336"}}}}}