{"entities":{"Q6194588":{"pageid":13329476,"ns":120,"title":"Item:Q6194588","lastrevid":58753473,"modified":"2026-04-06T14:35:35Z","type":"item","id":"Q6194588","labels":{"en":{"language":"en","value":"Multi-armed bandits for Boolean connectives in hybrid system falsification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805545"}},"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":"Q6194588$C770A147-46ED-4955-9B8A-C2D949306DDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48ddc842f8fcf03f43d4798037d857d546d057a","datavalue":{"value":{"text":"Multi-armed bandits for Boolean connectives in hybrid system falsification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6194588$41BDF252-5F32-42D4-8A14-64952D1635D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40a52bcd05682be93489c4f862dfe10b7bad0e7b","datavalue":{"value":"10.1007/978-3-030-25540-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194588$77DC1129-B847-4D4B-90C9-34573DB64026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a03fe31d8180dfc09d0a3209f180006f99a60bc8","datavalue":{"value":{"entity-type":"item","numeric-id":832204,"id":"Q832204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194588$7B0CEA83-7473-4AA5-9670-541D815217FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194588$1850E495-119A-4AA7-8F05-10820787BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e130ce79c52e19d6176c3a5846e9d5bd43734","datavalue":{"value":{"entity-type":"item","numeric-id":315280,"id":"Q315280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194588$AF3D1808-1871-4B3B-B8AE-5B69AF77428A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194588$91F4DEEF-8ABA-47AD-9BD8-7D5EEF784CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6194588$7759B2B0-150A-4B82-AA7A-9F5F1D43F627","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9730dd066aee878243e6e29ee69297eaa35ac70","datavalue":{"value":"https://arxiv.org/abs/1905.07549","type":"string"},"datatype":"url"},"type":"statement","id":"Q6194588$11B682CC-F9C4-4566-B5A6-0288E8183544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194588$A745D118-000C-4E78-AE38-60E0F45581FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d7effa193a76ec914f4212a3323846609743b56","datavalue":{"value":"91A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194588$B910672E-E0D7-47DA-81A0-645AE2DE86CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b0ac435ee1f2607672eaab00bb7c710433c3ce8","datavalue":{"value":"7805545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194588$D18007FA-4C63-4555-9C69-743E690388BC","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":"Q6194588$2CDFE71B-B107-4601-92A6-01346C82D904","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95fba28c5db4f182104f76d32d62c6d68c565535","datavalue":{"value":"W2956449613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194588$7936A151-E2AF-4DF0-B715-BDA8A5A05C28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31984a3b7cab027282720c38ff387d42b1f4fad3","datavalue":{"value":{"entity-type":"item","numeric-id":832206,"id":"Q832206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b29772ac299f7c0ec1d726e0ccf1267ae4154b","datavalue":{"value":{"amount":"+0.8131099343299866","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":"Q6194588$C4201E32-165C-4A78-95BC-50137B65B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8be01fca1e94018cbbdaaf4f253d75a8b27998","datavalue":{"value":{"entity-type":"item","numeric-id":6584559,"id":"Q6584559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e0334f0e603f8aa604841136a91756388e9f57","datavalue":{"value":{"amount":"+0.7555742263793945","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":"Q6194588$AADBD9C5-C7C9-4F37-BF51-2BF9FF27B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ab08b62b0a6e9049b3c85e3b67773a96cf16be","datavalue":{"value":{"entity-type":"item","numeric-id":3172941,"id":"Q3172941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f924d99543fc8d3996e7b7bf219a3247209d930","datavalue":{"value":{"amount":"+0.7293626666069031","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":"Q6194588$9CF34BEB-C11D-4271-8256-A14A80EB0F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8884fb36489de9e7defd750a61d9a1b9718f6f3e","datavalue":{"value":{"amount":"+0.7284519672393799","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":"Q6194588$F64EFCE0-9468-45CA-AEC4-4A218DBF1DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4730f64746eb192f6a2cfc5a386a149f1b81293","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04b9731e6b07efe89ecbda3dde4fbd2dba97e1dd","datavalue":{"value":{"amount":"+0.7281649708747864","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":"Q6194588$54FAFE58-5A9F-4964-A3FF-FFF210C3195F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194588$4A0EF783-0209-48C3-8C04-60F92366A103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6194588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6194588"}}}}}