{"entities":{"Q5200042":{"pageid":7229613,"ns":120,"title":"Item:Q5200042","lastrevid":51306878,"modified":"2026-01-17T16:53:12Z","type":"item","id":"Q5200042","labels":{"en":{"language":"en","value":"Stochastic differential dynamic logic for stochastic hybrid programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934369"}},"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":"Q5200042$A9EC9063-E2A8-46B1-ADCB-D6634B27EB11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7df4379fd4d2d94058007371a400364c566597e","datavalue":{"value":{"text":"Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200042$741FF98C-C849-487B-8DEF-63CAF5B17335","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e613b45c0c196b2ad78fa9fbe49119811f6199f","datavalue":{"value":"1341.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$FED9865A-DB50-4ED3-ABC4-E2D6254EA980","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3d691a6102970d8849780891d7337a6c31e68f7","datavalue":{"value":"10.1007/978-3-642-22438-6_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$1E78A2F7-ED8F-4D32-B4CD-E0EB5470C859","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$C015286C-521B-43C2-9A73-9C4E16CB218D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$7AE33473-B372-49FA-ADF5-F3B814E8093F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-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":"Q5200042$D7157A16-1F12-4FED-B042-0B234FBAF668","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$7CD365D7-E128-4BE6-A24B-67A7B24744CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$7E1FF75A-AF4D-4AFD-975F-F90DC74A1C31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"087c5d48345327e9a7a3781b5d700685333c0678","datavalue":{"value":"5934369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$57CA3149-F9D7-4433-ACC1-B4369BC9903A","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":"Q5200042$21444449-13D7-430C-8A69-4487D63DD150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"935f46dc95181286cf05b583154d4e8c2f9c3a9a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200042$4CEAF9AF-DC6F-4121-B63E-19FD1F33FCE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea20a242d20e7854d95194bc6cc200a06b55d7aa","datavalue":{"value":"W1489868140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200042$56F203B8-3302-42F3-A740-EE3D17EB16E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$FDCD61A4-BFB3-4749-8904-D9D2524E020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339fb96a8e75b9b57ee808656ca5d76960d8db85","datavalue":{"value":{"entity-type":"item","numeric-id":3434956,"id":"Q3434956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$9BAC3E1D-0B71-4548-9CF1-87506A4BA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75882a9a2b6b3a8cba4f283e497ce540bc19b01b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$0474F559-52AE-4029-9524-BA0AB63F90FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19505e9371c89a5b5b217f86e0ad1e5e2006136","datavalue":{"value":{"entity-type":"item","numeric-id":710668,"id":"Q710668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$40B78510-2834-4191-8F73-9A5FFDA29C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05f0cc8162463f2188d6748c9596b0616f21adb","datavalue":{"value":{"entity-type":"item","numeric-id":4377429,"id":"Q4377429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$1125394B-84F5-4359-9A4E-0ABFA3FFDAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$619A06E8-AD39-4B3A-972A-E6A1DE3C5CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c698a06fc317a9736df1665fc1ebc605865cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4002114,"id":"Q4002114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$DA0BA6FC-17BF-4511-86A7-158DEBC3463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2eb2f1344fe9648fcb558219fb2ab613efea2c","datavalue":{"value":{"entity-type":"item","numeric-id":3010640,"id":"Q3010640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$EF07904F-914E-4C51-98B6-4AF9C612BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$AC210F6B-4E3C-4510-8DE0-897DDB9EF047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$4F9C6084-E227-46D6-8499-D58CDDEC49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f50035fa0aa862d7cdcca82b6f68e0a318f4277","datavalue":{"value":{"entity-type":"item","numeric-id":2555027,"id":"Q2555027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$0972599F-2F4C-4123-BD95-2C73B1123DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df46e30d71a6986dc9bb4b5f3c63347f51fde3d","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$A7D54005-1495-474C-9717-AE0D61880438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$0889ABE1-15B6-46CE-BAC8-72BE46F297C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c16282999c889c22613578aecfbcd66c63aad82","datavalue":{"value":{"entity-type":"item","numeric-id":5898997,"id":"Q5898997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$7999DA08-24FD-4175-A660-AEDF9ED472CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce50c10228f6ffa66d2cb4f71243d769905a9029","datavalue":{"value":{"entity-type":"item","numeric-id":5967093,"id":"Q5967093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$0C6B870A-1DE0-46E8-BAB9-71BC987C92DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$F2801B54-EB2F-4AF8-A4CA-AAD0BA574EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde6eb5b0e84675ef4620bb83bbe0e6ca273f1f3","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$4CAEC84B-10E9-45B4-A2B0-25AE327E05C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e32aa66af71d4885cd35e7ceb0c677ff94ee893","datavalue":{"value":{"entity-type":"item","numeric-id":5200042,"id":"Q5200042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$F41F785F-8C41-4CB0-9574-0EA70D014210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$A79EA653-6BF6-426C-A1C9-85FF07206F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$B0E7F0FA-F0E3-4DAC-9372-2E0BAEE649D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$5AF8541E-6515-4E0A-A4BC-F7712137916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0773f68d76e03445d0ebfcff953ef2cdca72ae2e","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200042$4B489D77-E423-4C64-BB26-33D919A8D9B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6688f8d2471a0aa5b657f3765ef1af23dc0be2","datavalue":{"value":{"amount":"+0.7877017259597778","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":"Q5200042$04C03E2B-47C8-4409-BF90-8229ED03630D","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":"6f53208ea3f8bb286365baa0cbf65ac4849d178e","datavalue":{"value":{"amount":"+0.7818498611450195","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":"Q5200042$D601D2F6-99F2-4E79-B4F2-52D68AD7B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794f2d1560af73aed56f5569f6efa53bde83026c","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdad93c708eb12e202d949d4116a9acd8ed02e31","datavalue":{"value":{"amount":"+0.7807702422142029","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":"Q5200042$F1315BD1-E9A5-4AC4-9DF0-5EFF7AC9AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd89bd7a1c6f8d83b4a9469b59082131d032e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82e87202fc9b569ea79e9f536933d4699efec345","datavalue":{"value":{"amount":"+0.771807074546814","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":"Q5200042$29E5CED8-BA5A-43D4-96D9-177767D8331F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0ec086a0248bad95f82b766c51408ac666456b","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f554868ebf64d2e5bfda448ec901a590e58210","datavalue":{"value":{"amount":"+0.7681182026863098","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":"Q5200042$A3C0087F-5DAD-42C7-8138-0C8B0B679509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200042"}}}}}