{"entities":{"Q5089265":{"pageid":7118841,"ns":120,"title":"Item:Q5089265","lastrevid":39528274,"modified":"2024-12-30T14:53:14Z","type":"item","id":"Q5089265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559459"}},"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":"Q5089265$F0EF8A2C-DF2E-49C0-A6D6-4F3F9EFA6677","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$E9607F7A-50C7-4112-97A5-0D61221F3CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a70c2d8b9d5b9c711dc03e5b86156b3ca6509","datavalue":{"value":{"entity-type":"item","numeric-id":1648837,"id":"Q1648837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$A3A4AFFC-A8BE-4F7D-B0B7-F5DC0C34F000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$369E8093-38E3-4D30-97AB-BAEFDAB2DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1b498367e7d526f5a361b2ae788e7e703f59f19","datavalue":{"value":{"entity-type":"item","numeric-id":5089264,"id":"Q5089264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$B13BF709-8F27-4E78-8E2A-D1C762B3C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$17D7E9F4-E568-4C16-89CD-D890B2946BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089265$4FC88384-2AE6-4974-8CFE-50DD7FA98CFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afa2a1da72e0ed9185fd909c19acf5bfe4e11920","datavalue":{"value":"https://arxiv.org/abs/1807.06096","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089265$04E2342A-EC57-40A1-8A81-AE84630313C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089265$7511EA6F-606B-40FC-9451-28788F496F47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f01536b88041b5e362191a80122ff370e1aadcac","datavalue":{"value":"7559459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089265$9F80B78C-033E-41EA-B1C3-0C9929177BA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d330f4c05fc37c1c6a286943dd760733e6414e6b","datavalue":{"value":"safe reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089265$49232DE0-A0F2-4338-AC6C-92848C4EF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089265$1F7C30E7-6496-4BD0-BB99-83278D3FD619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed1f7f68cac9f1ffa09032a5ab53d6450e7e89e","datavalue":{"value":"safe exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089265$E9F8FC67-4056-4966-8F9C-8E36582AC46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089265$9FBAC9B1-9430-43AD-9C06-912BEF724536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089265$0FCC0D46-EE92-461A-8832-89047CF61F23","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":"Q5089265$0F323437-B852-4BDF-9526-6C5F2F76197E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9dcadd3ebca98f814e8d6071272879865f72b9","datavalue":{"value":{"entity-type":"item","numeric-id":5146399,"id":"Q5146399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$9E88285D-BF5A-4947-933D-0ED819A976B6","rank":"normal"},{"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":"Q5089265$5917AC15-072A-4F3D-BE02-6F69FAE0FC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$68F5D769-1B2C-4827-BACE-1D48A3E8E6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c2a3b7071817be950c9a131f415e6110474d48","datavalue":{"value":{"entity-type":"item","numeric-id":5194961,"id":"Q5194961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$8459C7CB-5DF7-4111-86AB-D86882E6F63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$02F6A941-D827-476D-8346-3C743F2E87F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$3D3BA2C2-C44C-42E4-ADF9-4C20D1424DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a36fc525c7e1a89c3022cd9b63219d3043069d3","datavalue":{"value":{"entity-type":"item","numeric-id":4527272,"id":"Q4527272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$11DE1D84-23D1-4678-863D-500DFE26434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1564a0f1d506308bce13f6afc12b64aba5f8f","datavalue":{"value":{"entity-type":"item","numeric-id":2941765,"id":"Q2941765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$CC96F3FD-2978-4A20-9A72-5401960EB2C9","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":"Q5089265$B15EDB74-E780-4D3C-83B0-30F48853D4E8","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":"Q5089265$9A060589-EEBE-4221-AAB9-682381850BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401797d3a891c9289ac45deca7ae4b1a58b9129","datavalue":{"value":{"entity-type":"item","numeric-id":4635859,"id":"Q4635859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$DE7675E3-3E22-4E73-9EF0-40FCB0572B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dad5d3c559b8e36965e396f928a0f7431b334a","datavalue":{"value":{"entity-type":"item","numeric-id":1696587,"id":"Q1696587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$E8A5A703-A105-4F3E-BD49-958FF6B38272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ec6528d68622e53fe0c41f4538ff81bf910e33","datavalue":{"value":{"entity-type":"item","numeric-id":5009420,"id":"Q5009420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$E5E58B27-A842-449A-8D6B-29AE3A6CFED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff8906ef53cf8da358a0d31e96d4427e7ad8c06","datavalue":{"value":{"entity-type":"item","numeric-id":2856473,"id":"Q2856473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$591D0B44-3993-466A-AE57-834151DF4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$720DB651-FFBE-4A2B-B57C-3C4A6075DE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682316f70d4c5bea5e583cadc996ac804bae1a93","datavalue":{"value":{"entity-type":"item","numeric-id":3455610,"id":"Q3455610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$116CBD65-4B2F-4D41-A37A-34752F92B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81940c333d74b51076a1f2baa0f7c82a48db2c9","datavalue":{"value":{"entity-type":"item","numeric-id":2988946,"id":"Q2988946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089265$15072361-2433-4910-BBE4-7725B0244C66","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":"Q5089265$1BB1865B-24DB-4CE8-A223-59EBF0F78924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8c2d6cb9d52a8bff973ee9e6366428e9fcd8fd","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089265$B4691546-DAC4-4387-AA93-FE7FE37AEB5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089265"}}}}}