{"entities":{"Q2299084":{"pageid":2309827,"ns":120,"title":"Item:Q2299084","lastrevid":57552960,"modified":"2026-03-31T09:16:20Z","type":"item","id":"Q2299084","labels":{"en":{"language":"en","value":"Solving SAT in a distributed cloud: a portfolio approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171623"}},"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":"Q2299084$81BFDE12-E188-40C8-9460-D498C311B604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbba718f6d1fdfa3d57b2108574edf5fa889080c","datavalue":{"value":{"text":"Solving SAT in a distributed cloud: a portfolio approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2299084$ED3FEC80-4668-4540-9317-4427725DB522","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c8e3d77f2787072610c18d78cfde3dba0fb14cf","datavalue":{"value":"1430.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$2B5FA542-AA5B-4B92-BD83-72F5A870E5A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a334045626bae3478fb1cfc528f5e65b98688f39","datavalue":{"value":{"entity-type":"item","numeric-id":2299082,"id":"Q2299082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$7B89DC9D-9335-45BD-A324-27CB7E9C2EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db7904b93fd85b486eebd6c4966af53fb9c0e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2299083,"id":"Q2299083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$B1E0556E-887E-4004-973A-39DBA569B931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ce488ee757eb535f52d47887a3162acb29308b8","datavalue":{"value":{"entity-type":"item","numeric-id":310334,"id":"Q310334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$A8919896-A814-4009-9657-88F6B83F29A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$9CBCFC97-543F-4E57-A477-8F12CD00E940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2299084$442D39AC-5C59-4E97-AD27-263D5C8DC9C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$EC498AB9-7AB8-4D61-B9CA-C6820C57D90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$01AD0F5E-B31E-4E80-9111-29082ACF9275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$C0F13816-180B-455A-B490-F196F0986E05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46116834f0db7abc181473926072e3156e83357f","datavalue":{"value":"7171623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$22AC4400-8CF1-40BC-AC3E-C12AC8519CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4150cdc7b3b918c085bb43e20106e73a72b27c","datavalue":{"value":"resource provisioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299084$D5C6B468-E819-4F4A-9862-D9FB4A375D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299084$B5FC68E6-1813-470F-94E8-D10ECE8CDFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c69e38a0f430ae44c9cd5d06d8b82e980ca50e","datavalue":{"value":"parallel distributed SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299084$78EC6B29-F54D-4248-87F4-EC63B9623F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e0fb8187adc6053f75500f87b1cb3710e0f9a","datavalue":{"value":"algorithm portfolio","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299084$F3EBD4B6-E644-4C73-A572-3D258E324455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c84918e3e546f7373f41ef1579e5ffb43bc6dd","datavalue":{"value":"maximum coverage problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2299084$BFBBADFF-0A84-46BE-A7E7-9C492A9CC6AA","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":"Q2299084$2B828195-6FCA-4116-B128-EA6EFC21FDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$22C3D2CF-AFF0-491B-BB33-74ECEACF7CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$FE5EEFB9-216D-48F5-AE3D-821DD0051FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13535746bd7cbeebdac40964f20e4617b2399076","datavalue":{"value":{"entity-type":"item","numeric-id":23403,"id":"Q23403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$7F897070-ECD3-4837-8B17-E44609DADCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e8c3789e3185f2513b118bd5b0118afe83106c8","datavalue":{"value":{"entity-type":"item","numeric-id":14509,"id":"Q14509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$1F9202F0-A52C-47AD-8CF3-50177C497574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$BF92D4CF-3466-4D6C-B2F6-63A861B69E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$0B33C990-95F8-4594-BAD2-C072D1309D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$E83F4591-CC1B-4482-8169-7B766F495E20","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":"Q2299084$63A3964F-1A07-4059-BDA7-2646C0AC7937","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bbe111ba9d456c2240e65227bae4e6e2db7658a","datavalue":{"value":"https://doi.org/10.2478/amcs-2019-0019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2299084$FB042C55-0876-426D-988E-4A4F8547591F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"607e79335589662c3610eddd82700046b084c69c","datavalue":{"value":"W2958957089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$42E8D9BE-5F65-4145-92F6-E728109338E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98db5ddd2b4c2cd88872349bd2d27de5bc6a65b4","datavalue":{"value":{"entity-type":"item","numeric-id":4255028,"id":"Q4255028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$81A7A3A0-C688-43A3-B994-DCCA0C8DEF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bd083f882fa5d53bc98b7c35683c4bb957fd05","datavalue":{"value":{"entity-type":"item","numeric-id":5714750,"id":"Q5714750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$4B8DAD2B-15C1-4E81-95F0-C885DBA43A2B","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":"Q2299084$C8FB1866-DFA3-4F51-B253-F589D63A7976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe37b1a68865896a0e59530dd9364370d3c6ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":487635,"id":"Q487635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$462FB574-540F-4127-8962-7292197C85BE","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":"Q2299084$DD07DD0F-8746-4E36-8A00-9E2E3F11BECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aeafb9ac2f2609d33e0e02fb8c95752a23334d9","datavalue":{"value":{"entity-type":"item","numeric-id":2365127,"id":"Q2365127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$96288CBB-167F-47BE-8898-AA7459771251","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb7d78d9c673af878ae25b139dbc745adac6342a","datavalue":{"value":"Q127547527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$79D877C0-90AA-4490-BB6B-F0E01B79D0F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d45b0ba5b88cfbbc51edfe44f5becc7837eb5f5","datavalue":{"value":"10.2478/AMCS-2019-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2299084$2BDD7B1E-FFF3-4B8B-A0A6-156F1F95B4A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9698ac82dcca003c1032c93e8352de77778017f6","datavalue":{"value":{"entity-type":"item","numeric-id":2997925,"id":"Q2997925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6f929b3476367b30974430c47edd44e54fe1bd","datavalue":{"value":{"amount":"+0.795184314250946","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":"Q2299084$269B3F4E-D1AF-45AB-9329-BCE4A0237635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dcc6080d3a33cc9d9c8cf79731108b4121dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2643151,"id":"Q2643151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de37000b9463f40b90dd9f0f8cc29d0baf76331f","datavalue":{"value":{"amount":"+0.7881078124046326","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":"Q2299084$CABDFA10-0C24-4907-B8D8-82655C65B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d642d1628beb70c1c47281e659389c406d7957","datavalue":{"value":{"amount":"+0.7867936491966248","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":"Q2299084$CC13479F-A654-47F1-A911-62450DFF4A90","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":"a6372f67db9d77a5153c5d35507cfeee3b1c9505","datavalue":{"value":{"amount":"+0.7688592672348022","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":"Q2299084$E12506FF-1B23-49E7-90F8-10B3AE1486BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868bcea41148dc0c6038180ea196d9d0fe2e437f","datavalue":{"value":{"entity-type":"item","numeric-id":3453220,"id":"Q3453220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa8711479c5676797901e7536ed790f04923c72","datavalue":{"value":{"amount":"+0.764620304107666","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":"Q2299084$580A3204-EECC-478B-976D-05EFF1F32849","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2299084$F1241712-E2F6-4A6E-A736-5232754883B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2299084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2299084"}}}}}