{"entities":{"Q6103163":{"pageid":13237470,"ns":120,"title":"Item:Q6103163","lastrevid":47856832,"modified":"2026-01-02T21:46:17Z","type":"item","id":"Q6103163","labels":{"en":{"language":"en","value":"Reusable contracts for safe integration of reinforcement learning in hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691494"}},"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":"Q6103163$B647FA78-F82E-475C-A52A-39B6FB75B7AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09952d26f1af371c4d62a6d8847cc616c363f6c8","datavalue":{"value":{"text":"Reusable contracts for safe integration of reinforcement learning in hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103163$19B4B465-EF06-4741-8081-A86F910EB0FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e40a048bc7c084e09a90972168dc22c9643763f1","datavalue":{"value":"1522.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$73C6AF86-003A-4075-8E5D-29FC2666E763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81d55a5fcc91d1277af35948f2df9eac7e78a6ca","datavalue":{"value":"10.1007/978-3-031-19992-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$AC5BF6EF-BDBA-47FB-A7EF-5FF574116617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6906b36cfbf43f36dbb65fadc3c5661d603a01d","datavalue":{"value":{"entity-type":"item","numeric-id":6103160,"id":"Q6103160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$4A8CC288-209A-4EB3-B3B6-C3F36D4523C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a3332d5acfba1f309cba9911f28da9d4f675d00","datavalue":{"value":{"entity-type":"item","numeric-id":6103161,"id":"Q6103161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$0646EC4D-A9BD-4312-B621-2FE553AEBDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1ca0d8a0911d7b965a819d5dc0489a94d665b8b","datavalue":{"value":{"entity-type":"item","numeric-id":6103162,"id":"Q6103162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$92BAFA19-8425-454D-A800-8649CBB1AAF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$2AE912F0-86A2-48B0-95A6-89426BB7AEB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103163$42D7364D-05C7-482B-8427-EDFB7256B232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$48C1BCBC-936A-42B0-B357-A84117575A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$FBF3512A-C03E-47EA-956A-34BE8A321F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$20DB4F8B-5CF2-4E16-AE51-309C546FF812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9220cc5330dc50c3139f04633f639de3b8af0235","datavalue":{"value":"7691494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$183F1DAD-F19E-4D35-A1CF-992402B8A5D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103163$DC1D285A-0C57-4566-8214-07F1012CDDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103163$B5FDC739-9AE2-4E7B-A3FB-948BD5E99FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103163$1687E488-963D-425F-B234-E3F894C9B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103163$87403228-C1B5-4A90-8C22-571E6332D742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d12c1a9c30640b5f1c030a35941a155ab24d3c0","datavalue":{"value":"reusability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103163$1B4853F9-F597-401E-A671-8AEB59F42326","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":"Q6103163$241BF1D9-1E41-4572-A6A8-BE87C3C4D9C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43518ee5719767176c9f8c782ae7b703b3b4060e","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19992-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6103163$E6A0979A-055E-4CEE-8255-7896C87A65F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da77703a7e671bced465728b1fd555dad34e79f","datavalue":{"value":"W4312411203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103163$739C65B5-1E7F-4A12-98D5-30730283568A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$BD4068F4-F3BF-4E46-B457-BB47851D6D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d69628edd05f84dce6d2485296a67b18006ca92","datavalue":{"value":{"entity-type":"item","numeric-id":2075776,"id":"Q2075776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$64FC3486-A09A-4C75-AD50-13269582E582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbb87d6277e3e0d172f5a2cbebd02ed4bc9f4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4928448,"id":"Q4928448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$FE8C9BC9-D833-4B1C-B5D0-CF756011710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$E0492153-D18E-4C06-B15E-98664A6462E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$E0872840-1D32-4911-B1D6-9D48A21AC2E5","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":"Q6103163$2450A16F-E3F2-4F69-93DF-4F4D8BFEE579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103163$8393B52E-7F47-4479-B717-45C42445777F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36d4ffaea81afbba1040e30b03bf77b623831dc","datavalue":{"value":{"entity-type":"item","numeric-id":2520674,"id":"Q2520674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639066651e1c52c39a7a4468a29bcc842a099ae5","datavalue":{"value":{"amount":"+0.65364009141922","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":"Q6103163$A77F3AF3-59E7-4151-B4CF-CD11FE0606DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a2157687307637fb3447a5cb46bf3b3e679b6f","datavalue":{"value":{"entity-type":"item","numeric-id":5215905,"id":"Q5215905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d478f6567146b5bee673a52b863949e2c585e0","datavalue":{"value":{"amount":"+0.6438040137290955","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":"Q6103163$666247C4-55F9-49A5-A705-B3059487B8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f486b89ce293316ad7ea148e51e2ab97768e7d","datavalue":{"value":{"amount":"+0.6319412589073181","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":"Q6103163$7C1376BF-5CEC-4D6E-AAD6-4E774E3FB0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6f6a188d64189e44f99063779c59a8daab63f5","datavalue":{"value":{"entity-type":"item","numeric-id":1996007,"id":"Q1996007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45551a81a735c8cca0f0476ae5866be0c481da1","datavalue":{"value":{"amount":"+0.6272411942481995","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":"Q6103163$EA93C212-942F-4B24-98F4-558129EEF4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a0db5250e1ba29b0d018836f3a89fc1f55842","datavalue":{"value":{"entity-type":"item","numeric-id":832198,"id":"Q832198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f319abdfaa2bd87821894881e38ac2fb588b752c","datavalue":{"value":{"amount":"+0.625429630279541","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":"Q6103163$16E7A6E8-12F5-4EFB-91D8-192EDAE3063A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103163"}}}}}