{"entities":{"Q5039509":{"pageid":7069086,"ns":120,"title":"Item:Q5039509","lastrevid":57513681,"modified":"2026-03-31T05:45:22Z","type":"item","id":"Q5039509","labels":{"en":{"language":"en","value":"Relational differential dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600820"}},"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":"Q5039509$64CA0538-82D1-4426-A6C3-A72331A34127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b25968a3bc17193b92e8d28fc44e25af8c3db49","datavalue":{"value":{"text":"Relational Differential Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039509$E9CC9913-75AD-4B2F-A2E0-30FE202DDD8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d3d2cf69fbe27996c243e1049bd2d758126ee4","datavalue":{"value":"10.1007/978-3-030-45190-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$A6861CF0-531D-48F6-8DE7-D7CEAAC07215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8b69fe78eeb4ab661df24d5c152416d4ace6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2130571,"id":"Q2130571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$FD0162FC-756F-4A4C-B5F6-EEFB7ACD1E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a19cb552569cfd62cee958ffc3ca43f0e139f52","datavalue":{"value":{"entity-type":"item","numeric-id":1701171,"id":"Q1701171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$95FED322-25A3-4FBA-B096-5968833F02F8","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":"Q5039509$DEC0C4B4-F7A5-42DB-9211-C1441A113431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$AF4CD2EC-4F47-421F-8495-040FAC779F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb598de9cf12a426377538ba6dcc4ce7ae83be18","datavalue":{"value":{"entity-type":"item","numeric-id":265827,"id":"Q265827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$E05F488B-6EAB-4973-8DF6-153BFA669921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$6BA8AA70-AD4D-46A0-B9F3-73911B99066E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$914A7B6E-16EE-4D22-BD78-6577F65BC480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039509$AEB0E6A1-DA21-4BA1-B4B8-AD019643D217","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f080f463fa29758163dcba69c5a8c53ae8a2b99","datavalue":{"value":"https://arxiv.org/abs/1903.00153","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039509$FA1E6107-C9D0-44E8-9385-ADBD0456C0FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$088CE144-8347-4E7E-AAA9-B80E720A8608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$36A29061-8561-4147-91DA-795074FB9EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$EEB054CF-A6D5-436E-8F7B-5AAA5195D5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$40212B21-2845-4781-B6FD-A94C3E9F93B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5fdb18ab44bc078d1163210a878cec578b8d661","datavalue":{"value":"7600820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$65515AC5-1834-4309-8B1A-BFAB0787629E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039509$553FB384-2E23-4B5A-B4C9-6141468CC93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a987f98961115b341c68dd3871d9d4bd78454","datavalue":{"value":"cyber-physical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039509$218CB1AF-4963-4842-95AB-0CC569F33DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039509$41A0EBA8-BBA6-44F5-A42A-A502AAA77687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039509$11E06C2A-221F-4AEA-B1C3-56F32DC146C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5039509$83826680-BA76-4F7D-B54E-E31ACBE94779","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$1A0BB9AD-BA2A-4BEA-B33F-0D7959F081B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$9AE25DBE-C8A7-41E2-9B27-9FF2C7B309F3","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":"Q5039509$96610F39-1646-42D1-A1E6-AB252DB83F8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c5f04bcdce7f31c0f3b24a1d21057febc870569","datavalue":{"value":"W3021147957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039509$C556FD34-6246-4838-B3E7-F71769103596","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$1D561392-F0A6-4A26-B03F-F804F67CF704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$CC20E65E-BFAA-49BB-B5C9-3D8DC4866B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f0976adfa4e2a5288ab46f8ff3a6e68efa13a7","datavalue":{"value":{"entity-type":"item","numeric-id":5472808,"id":"Q5472808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$5F7807DD-D814-4B25-AE6E-AC363880C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186ca5f169ce251769800dd796db3edde0ff3490","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$2CAD2B97-C9C8-48AB-AD2B-EEFAFB11C73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$A902C66C-B348-4327-89B0-0D7D468F876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ea185342b06e9bf2135c3b9967061e61dbdbd7","datavalue":{"value":{"entity-type":"item","numeric-id":4635909,"id":"Q4635909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$F0AF22EB-D352-4AE7-9570-C2606F338FA9","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":"Q5039509$6834A2EB-3853-496E-A167-3374172E5E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$5775E5D2-6C6D-4DDD-A4C0-26406B161638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$8AC63B5D-ACCF-4695-A24C-0B378C27B5B0","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":"Q5039509$619AF7FB-ED8E-4884-8B9A-6ED50688A40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$CCE616F1-64EE-4A3F-82D8-7445129BAF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$A2B5DC94-1DFA-4361-93F2-63AA9A02AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f41f3cb8e82d01dd35ea89d5730ebb716be5a","datavalue":{"value":{"entity-type":"item","numeric-id":3012935,"id":"Q3012935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$E88F2010-C6B2-4A12-B61D-EB9D23CCE7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d3d51e1767057ffb0ce67f713a771b423f2bd","datavalue":{"value":{"entity-type":"item","numeric-id":2931818,"id":"Q2931818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$E52B5F35-3B91-4AA9-9DC6-26813973C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e30748d67935a5a6ec418a87f503be44d816d585","datavalue":{"value":{"entity-type":"item","numeric-id":6109604,"id":"Q6109604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039509$1948FA6B-425C-4FFF-8ACD-D3C713440D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14df390f14837cd643a05b314b49b62d93d32381","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a7a0a242af370aec62e1bd6dd447ddf411f78d","datavalue":{"value":{"amount":"+0.7830182909965515","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":"Q5039509$2F140D75-A447-4CF3-B8EF-C25BD8B29BE1","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":"2b23a62130b6631826216087655ba990d82f348e","datavalue":{"value":{"amount":"+0.7780869603157043","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":"Q5039509$2EF61E8C-2D15-4122-BA2D-9E9979CCD69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ec6d937d521fc45490acf8aa503fd3f527780e","datavalue":{"value":{"entity-type":"item","numeric-id":4635909,"id":"Q4635909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8034bc01f90cd6d7f819e6726c28a8bd050da3a2","datavalue":{"value":{"amount":"+0.758339524269104","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":"Q5039509$4BFB770C-276A-4260-BC02-28C453E2D586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8527d0bf8d935b21c356a34bd0943ef01ced7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03a473e12c956ea93f9ef4965faec3b6b28c8ee","datavalue":{"value":{"amount":"+0.7369151711463928","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":"Q5039509$4B3141EF-FD79-483F-9067-780821E8818D","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":"f45cdf6f7f00a43f63573d2b0bc9c1127ddae928","datavalue":{"value":{"amount":"+0.7352364659309387","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":"Q5039509$6070DA39-97F1-4A15-B455-942600867EC0","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":"Q5039509$A77A6C97-350B-476A-BA1E-A99077AB1259","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5039509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5039509"}}}}}