{"entities":{"Q6546466":{"pageid":14157620,"ns":120,"title":"Item:Q6546466","lastrevid":55670206,"modified":"2026-02-17T20:44:55Z","type":"item","id":"Q6546466","labels":{"en":{"language":"en","value":"Probabilistic counterexample guidance for safer reinforcement learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855873"}},"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":"Q6546466$13807119-46C7-4F88-9B4D-D553D44ACAA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"146edb359066d4fd58c3194c0ad1c5a59de0ef93","datavalue":{"value":{"text":"Probabilistic counterexample guidance for safer reinforcement learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546466$1BD739EE-3FBE-4BFD-8E4E-AD2D0F0112FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d7f13691f413f10221ee61db783171f8be61a13","datavalue":{"value":"10.1007/978-3-031-43835-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546466$9A1D69F4-3B75-4B21-99B7-D1A352347C7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a0aab176beaa052d3912eef79a8bf46798e1eda","datavalue":{"value":{"entity-type":"item","numeric-id":6546465,"id":"Q6546465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$19C29F57-4CB6-4149-9902-88FEDE4EE75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f32ac6ce9d24192a0aec3f89a09a2c914321608","datavalue":{"value":{"entity-type":"item","numeric-id":832081,"id":"Q832081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$1D78FF25-6D70-434D-9A77-9581CE2C378D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546466$2027F4DD-7ACF-4EF1-94B2-00B15D84E78C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546466$D586E0EA-1A76-4D73-A2E6-91C71C8531B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546466$516D56F4-0C91-4B1A-923A-1EB77B5F6CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546466$60A3B911-7003-4B00-BCF3-21CC17396567","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc8fd78726e376b3d7a2bc57f8407b2ef10538f","datavalue":{"value":"7855873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546466$60632AF9-BF52-4DFD-961E-204340815525","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d330f4c05fc37c1c6a286943dd760733e6414e6b","datavalue":{"value":"safe reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546466$09CB4C70-93CB-4782-8354-442F7F34CE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546466$D4FDA23D-A231-4A49-A30B-6B4069C4BE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5b161e50e22638257a83e82c505f2ffe4ac2","datavalue":{"value":"counterexample guidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546466$F54AA66B-CA83-4CE4-8EC8-3B9262638B50","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":"Q6546466$0D636884-30F5-416A-AA0D-9838DDAAC748","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$CE0882B8-D9F1-41FC-9D1A-1339450924E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f3095b1a7f87b0daf3be22031f56580836160a","datavalue":{"value":{"entity-type":"item","numeric-id":3245701,"id":"Q3245701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$9B06B00C-AF8A-48E2-B2C0-5E4AEF9FD915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ccc99b88796ba9f3780f848e20ca6e213898a5","datavalue":{"value":{"entity-type":"item","numeric-id":3158523,"id":"Q3158523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$EBD6EE6D-FB76-428F-8337-9B198FEA4F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf9f81735448ee59f61d2cb70c2517ce6ec9024","datavalue":{"value":{"entity-type":"item","numeric-id":6535945,"id":"Q6535945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$88E072AD-F4CD-47CE-BD43-BC91501C00F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935be7d1924182b055f6abd4bc0dd5f8f26b953c","datavalue":{"value":{"entity-type":"item","numeric-id":4899127,"id":"Q4899127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$886E26C4-AA79-4E47-A599-5921D3A58929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb88dc9dc35f61e61e60466bd4c440ff01861524","datavalue":{"value":{"entity-type":"item","numeric-id":5744808,"id":"Q5744808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$E63DD218-41FE-43D3-8BFA-048EB0CA1D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$294FD50A-B1AE-487A-BFE0-DBE57A27A799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562105a4f45c197209cf879e1e742184d2572324","datavalue":{"value":{"entity-type":"item","numeric-id":1996007,"id":"Q1996007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$6EF5DB69-AE4F-42D6-976D-984416FC8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789740c3feb1961c99ca2e55375868f663d319f1","datavalue":{"value":{"entity-type":"item","numeric-id":6136089,"id":"Q6136089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$3C6C5F5F-07E2-40D6-8716-9167577416EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27650fb33280eb15aa99fe7b839da09c174ca0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5519733,"id":"Q5519733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$8E7D67C4-6FF1-467B-B51A-111DE2869580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05f84c1eae7d58b1794ec71b77ea8963935fe7a","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$503DF99A-4FF0-4407-9D2D-F971F04591B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ff99291fc23db333da452abed8dce9cbb5fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1812931,"id":"Q1812931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$109653A1-C473-483E-BE2C-C7C4F2E9FE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c144fe0ea4f130eba7b82d3ce7d7278a6cdfe6","datavalue":{"value":{"entity-type":"item","numeric-id":6041137,"id":"Q6041137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546466$B2C66443-E197-44E0-A5F9-952AB375B5DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badc83692a404414c0439bb2404adeae4df47403","datavalue":{"value":{"entity-type":"item","numeric-id":4899127,"id":"Q4899127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03626d8e54298e548440ab4ff998a3c42bd39933","datavalue":{"value":{"amount":"+0.7873075604438782","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":"Q6546466$F422BC03-591C-4CF6-80F3-ACFA8D02E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b94b0f98c75f53c1d8d8d7c4b0f514bf958c1fc","datavalue":{"value":{"entity-type":"item","numeric-id":5744808,"id":"Q5744808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4119568ad5a45140500b7c44375ce2567a66893","datavalue":{"value":{"amount":"+0.7606742978096008","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":"Q6546466$68482BDE-F3EE-4155-8115-6A8C7E1FD09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af6e484c2cf80d00304a4542b102889f6458826","datavalue":{"value":{"entity-type":"item","numeric-id":2103658,"id":"Q2103658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317aba572d4372a216946e2474a48cc57abdbb0a","datavalue":{"value":{"amount":"+0.7594298124313354","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":"Q6546466$9B1D21A3-2112-498E-BB2D-1B47991D5ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44045c736d6bf7b9e674f9a10471b82ff490dc6e","datavalue":{"value":{"entity-type":"item","numeric-id":6106432,"id":"Q6106432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1298f29adc280dfa9b1f9fb5a943a9d54149d93","datavalue":{"value":{"amount":"+0.7343788146972656","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":"Q6546466$3CB4C1F6-3AC7-43C0-9AE1-6BA0CEA2E7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2828a7712e8a0f0670afee50c78780ca9e24008","datavalue":{"value":{"entity-type":"item","numeric-id":6106435,"id":"Q6106435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a93053017ca5a77278fa907aa561b1535505b5d","datavalue":{"value":{"amount":"+0.7322887182235718","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":"Q6546466$32A27014-5BDD-4906-ABA7-8CF1C663177B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546466","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546466"}}}}}