{"entities":{"Q832206":{"pageid":834054,"ns":120,"title":"Item:Q832206","lastrevid":64674495,"modified":"2026-04-11T21:28:21Z","type":"item","id":"Q832206","labels":{"en":{"language":"en","value":"Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498158"}},"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":"Q832206$0B16B0BB-0396-4344-A435-C385076E1931","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a02020c6c938b2d0a68355a4d97eb9ddd288043","datavalue":{"value":{"text":"Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832206$1E5AFEFA-81AE-447F-A1ED-975F63854138","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6623ea661c7641820601f7e21e66dde12f38da75","datavalue":{"value":"1493.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$4FA954F8-A3F6-425A-A2CD-9FF01094B2B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b594ed74be88b39edbd1bd0aed2ebb8a1aa2c05c","datavalue":{"value":"10.1007/978-3-030-81685-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$6BBED4FB-6232-4071-B263-20994B368CAB","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":"Q832206$33DEDCBF-9BE0-4CA1-BA3E-3D4CA7AFF0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0315ffa9c876b186f5f882c2bb3d4d6effe9a7","datavalue":{"value":{"entity-type":"item","numeric-id":832205,"id":"Q832205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$1F3D128C-7746-453A-9BEA-A4F1FB0D6594","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":"Q832206$32482D6B-DCD0-4C5C-BA53-C2B0EB107D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a636ecb1722e94aef452211e5e6e6863903245d","datavalue":{"value":{"entity-type":"item","numeric-id":257810,"id":"Q257810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$B2AF3F6B-F3EE-477B-8BC2-AD04B58B70C5","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":"Q832206$6D333F00-60BB-48E5-82CD-C929CFE0B22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"390b120e86c54fffa779b3c28bf377d0f22ec82c","datavalue":{"value":{"entity-type":"item","numeric-id":506468,"id":"Q506468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$D79F266E-B8B8-40F8-B18F-54B1A0D4829A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832206$AABF53C0-EFCC-4FA6-A600-213B006A5B3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$EBACAC45-BCCE-4D29-B92A-985A59FAA745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$5EB35C23-5BD5-48F2-BE5A-143BB71C8551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30394c559881f4c2812f7f33afbd0c7df1544158","datavalue":{"value":"7498158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$2EB6D867-7759-4937-91DB-307EA5DF3334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$0C7CE676-ACC9-4ECB-9149-35E67B15E518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$95852113-FE38-4700-A124-E250DE1544B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a412741c23f87f033f580e8cd96ecc39366e1c51","datavalue":{"value":"scale problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$8CB5B599-8560-40C9-B592-DC2859B1D291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f5366dd5d7e4e6d07c6f22bcd97d6fdfdeb1e5","datavalue":{"value":"Monte Carlo tree search","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$457DA85C-35F7-46B4-88AE-A3E05ABEF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fb36dc04a12c0993c30ab52c9f3a33463d9cb54","datavalue":{"value":"robust semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$C233132C-61AA-4660-86FD-15BBDFA38DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e20429972ce98380ef5fcf9e64fe96cef6c0d7","datavalue":{"value":"QB-robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q832206$965CC1AD-DA6C-4D17-94D4-722D4D5818EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$CDCB562F-4B5F-45CD-8882-3CEC61BB3745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$1DDDE29B-2DED-4C7F-8969-E16B6EB1867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5b2d91735e3b1a7ee1372869cc0350c352704df","datavalue":{"value":{"entity-type":"item","numeric-id":53752,"id":"Q53752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$BF65E721-EC77-414D-AF99-CE140407A1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9096df4e4d4cedc86b8b298ec2b947ed56e255e","datavalue":{"value":{"entity-type":"item","numeric-id":55891,"id":"Q55891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$D4F0FBBD-7531-45B7-8B64-5B4AE11CCCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$6C513B79-A604-4E5D-B4CB-7F20865FB7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$88BDCCD0-58D9-4110-AF1D-48EE5394104A","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":"Q832206$DA660635-39BE-49FF-8BEA-273B75E819EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a19c6d2c62f989abf5a59bbb93d7bf8e2c836212","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q832206$9058B97F-3ACB-47A0-8339-B855E3AA0438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72f96210b376f6bd399ceea2557907924d9ada1b","datavalue":{"value":"W3184919107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832206$42EC08ED-AB8E-4C16-8A2A-B4A187685421","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$E82694F2-4E54-4EA8-B2CD-3FF75824F0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932dd9d764776ce7c243956a371eb4e0386a05ae","datavalue":{"value":{"entity-type":"item","numeric-id":4825350,"id":"Q4825350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$071673BA-16FE-48CB-B45D-8D5064928B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16c13edb03090e9dac8b50ea3feefa038939378","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$EE74A01E-195B-49C4-BC04-D53752AD6864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$FD47CF9C-3AF8-4F5C-960F-F9DE49172418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a2acc0bb507489a26fd8328bda4bbc0dd2fb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2988996,"id":"Q2988996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$0E7C39D0-2725-442E-991A-DCFC11A18D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$9EAA2C98-EDDC-4303-A473-AEDB0F14EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6188e1215c9025452598484160c8ea4ddbc6ebd3","datavalue":{"value":{"entity-type":"item","numeric-id":5239220,"id":"Q5239220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$65D82C26-2E5A-4F11-BFB0-C0C8D933C868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a8d3cbf8b30575281bc4e243acae569110ac19","datavalue":{"value":{"entity-type":"item","numeric-id":2986973,"id":"Q2986973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$3BB8B887-B294-4827-973A-50F5F81DA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ecf9c0df2b6eabde9db6e7c3e11ae4c9d764ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3384434,"id":"Q3384434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$BCA7B98B-DA41-49BE-A85F-B95CDA314618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d37d7fbb1b1a42c7ffe78e48324b87d4e69fee2","datavalue":{"value":{"entity-type":"item","numeric-id":5500561,"id":"Q5500561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$4BBA6C0C-737B-4221-BA64-4A24C0A7D02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$8603FBEE-659E-4FAE-92A4-2AD79B4391EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e214cb9710f8289951d89d284070fb43a10f61","datavalue":{"value":{"entity-type":"item","numeric-id":6194588,"id":"Q6194588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832206$51D7A91E-239C-41AD-8E3A-016C7930F91B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5686408ae12e7a38e69fb76847253c29033cd50a","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33109a10992f63546f8b15020a43effa6edc12f8","datavalue":{"value":{"amount":"+0.7691769599914551","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":"Q832206$C2E3FF1B-0D84-429C-BF1B-B4AC492672DA","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":"44aac5d722eca77c1e8f35bfea8b2c0f517d1c60","datavalue":{"value":{"amount":"+0.7397021055221558","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":"Q832206$DF04CEFB-16E9-4178-9BDC-7A9DDE664D7F","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":"ccd1e38b9156ff8833755f7931d860025b847ed9","datavalue":{"value":{"amount":"+0.726940929889679","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":"Q832206$4A083502-CBDB-456B-8E60-461B385B3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6303ae62c20e2c1cd56dbc8affc68eb299212","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce58214358ac7a9319042f9b19cf0af1772a9f9e","datavalue":{"value":{"amount":"+0.7201955318450928","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":"Q832206$A56932CE-60CD-41F7-B0D9-CE53EC5812D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b171ad9df78b84e6caf2197d6b2d4e66efc86824","datavalue":{"value":{"entity-type":"item","numeric-id":1702902,"id":"Q1702902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e3b53dd1531667d419f41a1bb9b9a6cc72331c","datavalue":{"value":{"amount":"+0.72011798620224","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":"Q832206$C7589F97-58F4-4D5C-8529-00EEE4FBF5A3","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":"Q832206$CC3D5F52-B245-4009-B831-DAE8E4B061A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_hybrid_system_falsification_using_Monte_Carlo_tree_search_guided_by_QB-robustness"}}}}}