{"entities":{"Q5206959":{"pageid":7236530,"ns":120,"title":"Item:Q5206959","lastrevid":53622590,"modified":"2026-01-25T10:54:45Z","type":"item","id":"Q5206959","labels":{"en":{"language":"en","value":"Direct formal verification of liveness properties in continuous and hybrid dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145923"}},"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":"Q5206959$5516EF8A-7906-4F30-9E17-7363D2C84E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07819c7e1208a932a41a0f8e8ee53720f3fb22a9","datavalue":{"value":{"text":"Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206959$42E52C3F-51AE-468E-8A36-D98FBCC3AB41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b44568a964f3dbf367b7d4c3c60c377cf7573809","datavalue":{"value":"1427.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$0B1D08E1-8780-448F-B83B-34335839F6B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be27445c1ce5f6b14da7a51b6a1c16bcd21f3dd","datavalue":{"value":"10.1007/978-3-319-19249-9_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$D7558B61-95CF-462B-AFA3-8BBE9C1CC749","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c266f039dc6060320eaa17f05328c86c3c95be0","datavalue":{"value":{"entity-type":"item","numeric-id":681338,"id":"Q681338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$0B9C2679-DB7E-496C-94B2-196C7DE4C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"849271e65f86db683897e2dc0e43d66cba64f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2331076,"id":"Q2331076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$3BC9F4BD-467A-4D99-ADED-059595069DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$1810128C-50E4-42C7-831F-77BF0838019A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206959$D170B950-CD6B-4D3E-84C5-5E5F8120E22C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98e9fffac7b114dba7d707de51883f0d09ec51aa","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/19596664/Sogokon_Jackson_2015_Direct_formal_verification_of_liveness_properties_in_continuous_and_hybrid_dynamical_systems.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206959$C82B275C-774F-44C8-A5F8-6BDC2F40F853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$ED9E648F-4161-448D-A8E7-E31F29C2C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d9b6913944578a9a87092cdae44c0d395b22c43","datavalue":{"value":"34A34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$56B682EC-6F22-4FC0-AABF-77EDB039C891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$643C3A41-1183-4BB8-AAF6-1E216BF631FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57493e0d0a9093a5718bf47496df5fc88a930b23","datavalue":{"value":"7145923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$F05C1AC0-DBFC-4A4C-8809-C10C8C63668F","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":"Q5206959$A9E7C4C1-5500-44D7-892E-960F06B9EDCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1cf0f6dfc87933a93f99810c3cf9a1767355ec3","datavalue":{"value":"W2168048876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206959$4874954C-3E68-4D65-A38C-1692E6C7529F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$1CD50C1A-99FC-485B-8846-F6C0E4E854EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003e01e100d3e82c7c812db8c206c315bff90a63","datavalue":{"value":{"entity-type":"item","numeric-id":1276129,"id":"Q1276129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$2F8858AE-BA94-40CA-AD3F-BCBDDE80766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a09ca9e1b470f235ee40bc8e1de2fe90aabe65","datavalue":{"value":{"entity-type":"item","numeric-id":5614853,"id":"Q5614853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$F268A356-68DE-4368-89C6-03A0D9FB4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb262e9ff4eb9da6e26d1e9466af4ca58bc589","datavalue":{"value":{"entity-type":"item","numeric-id":1805797,"id":"Q1805797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$61FC2C36-3BB5-4E54-8602-8485B38A9773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$BA51D724-1DC0-478A-B0C8-CEC7031ADA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$84A2EDC2-6CA6-4793-A3C1-50BD8A301835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$7ECF85A3-2935-4C0F-AA1A-9762FF5932CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6072404ddd3e5b5dd001d7be4d2da26d2233572","datavalue":{"value":{"entity-type":"item","numeric-id":5670472,"id":"Q5670472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$F4053F85-69F6-47D7-932A-4749371C3AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$42972694-D17F-4EEA-A15F-06B3D9FE97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe59a9edf4349272609c55b0006cebb675ab3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703200,"id":"Q5703200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$4CB333ED-22FB-4044-8004-7CDF57030D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41255a73d41e22cb33ab4daea68fbd2252ca83ff","datavalue":{"value":{"entity-type":"item","numeric-id":5394195,"id":"Q5394195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$3A06C534-B047-4081-90D1-1ABDE1CB3C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$3330F792-68DC-49BF-8687-580092A49C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$F766839D-F335-4CA8-B413-F0AAB5612CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49a2e92b945557d16dcd0c9aeea9ccdee9b10fb","datavalue":{"value":{"entity-type":"item","numeric-id":5839061,"id":"Q5839061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$D9D3BC32-6BD6-4B6C-BF8D-A570C714866B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d453f73c7a26b960325f44d309ccffb10d30c80","datavalue":{"value":{"entity-type":"item","numeric-id":4909026,"id":"Q4909026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$230CE53C-821A-405B-AE5D-66358E39AD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9c62e5a36aa1e16bced33f90c0bf15448a031d","datavalue":{"value":{"entity-type":"item","numeric-id":5449035,"id":"Q5449035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$C3E21798-ECBF-421D-806D-DE75BAD1F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$F01080AC-79BE-42E1-91F5-D025B9401E3C","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":"Q5206959$1C689B12-867E-47CF-B204-BBE01E2521A2","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":"Q5206959$69EEFA24-211F-4901-B5C7-1330960B9384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daec60642aab6d1ca47f7b469286c97e73cf0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3512492,"id":"Q3512492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$F0986A6D-7D28-4D3A-92FA-C3F29E7A8BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$CEAE27ED-F687-464A-8560-5228519ACBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683b0d1b9d23cf95e10d6f3555a884af1cc424e2","datavalue":{"value":{"entity-type":"item","numeric-id":5703951,"id":"Q5703951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$180CB5F3-C4D8-4FD6-8CF8-410751CE6D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a8be0980ebaa01d852c56c93e10a96852834a","datavalue":{"value":{"entity-type":"item","numeric-id":3083226,"id":"Q3083226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$B6481D9B-5C29-4AA1-8C41-3201ED5B35DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$739464F9-E7E4-4A87-86D5-EC20ACE018FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6ba8ba253820dfe891705c5c53fe00aca7762","datavalue":{"value":{"entity-type":"item","numeric-id":2716783,"id":"Q2716783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$9A567FBF-FCA8-4E94-A7C3-59C7B0DACD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40f6858455ad9c5e2f63d555f71a634eb2a8eed","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$C2B4C79D-DBD0-40C7-877A-A3C684EA9273","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":"Q5206959$ECA2AB50-71B8-4792-87A2-CEF9350D1DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d4f5aeba1a0f49c32f93234c20e405c75419bb","datavalue":{"value":{"entity-type":"item","numeric-id":5353361,"id":"Q5353361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206959$469BD500-4AFA-48CC-9632-6D42B7534844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c91107db671e873d357b5eb026a65ddb762267","datavalue":{"value":{"entity-type":"item","numeric-id":4649386,"id":"Q4649386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd88bf451bb79eb88d15041261719a23fd5822d","datavalue":{"value":{"amount":"+0.7635642290115356","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":"Q5206959$D9126CC6-BA64-449D-BB09-7B28EEA4DB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc57defc3fb0e6156beac21c529212c0cef44168","datavalue":{"value":{"entity-type":"item","numeric-id":2520682,"id":"Q2520682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e62b715e0ddb1fd06f1a8e9c5abd820de2a80de","datavalue":{"value":{"amount":"+0.7583997249603271","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":"Q5206959$EBA75E5F-2762-40F0-9EEA-ECC5D69EE04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b8b012aeb60c5a87d330347f8fb589a2658a98","datavalue":{"value":{"entity-type":"item","numeric-id":5047167,"id":"Q5047167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceffa779bd59772c4655873640bd11dde2b79a1","datavalue":{"value":{"amount":"+0.7528495192527771","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":"Q5206959$3A7E8A4C-3304-474C-9180-6E0EDC03DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a535710602401cd19bc9883d4baf6b1d433ca846","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f7f6580f78e4fafa8e13b49cc1045aee821165","datavalue":{"value":{"amount":"+0.7478474378585815","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":"Q5206959$85518198-F81A-47AB-BD5A-EDFAD74E5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e28b8dbd7157607660f03badd2af9aed7edf20","datavalue":{"value":{"entity-type":"item","numeric-id":1982634,"id":"Q1982634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6abffe724eddf8d5ed41db99c18f7ded96a74d","datavalue":{"value":{"amount":"+0.7467284202575684","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":"Q5206959$0D86E390-D5D1-4DE9-BA53-76A7E24C638A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206959"}}}}}