{"entities":{"Q3454562":{"pageid":5233962,"ns":120,"title":"Item:Q3454562","lastrevid":52402553,"modified":"2026-01-22T13:54:07Z","type":"item","id":"Q3454562","labels":{"en":{"language":"en","value":"Safety verification of hybrid systems using certified multiple Lyapunov-like functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6513568"}},"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":"Q3454562$CB35B3FA-542E-41F9-AA77-9629ADD5E79E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9305ee404633b812cb8a276571cb8426bc185ef","datavalue":{"value":{"text":"Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454562$51AF4F25-30C8-4DE7-A7EE-972728761725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c6201fbd4336e4340cdd159a31a70a87c2002cb","datavalue":{"value":"1400.93282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$47E332D4-DEA6-4801-9A9E-43406E85D949","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"849a2f282b06c52a58f757916e28270b562ac3a2","datavalue":{"value":"10.1007/978-3-319-24021-3_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$47612F80-C693-4F9B-86FB-8EE160F29DA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde4e3ec6ac72e6414a4a270d573ac1c4cd236e","datavalue":{"value":{"entity-type":"item","numeric-id":305004,"id":"Q305004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454562$E8A95C3A-E081-49CF-8F02-6C42D37FA400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f42568a97a7bf8df6a720039a3c55bfed24d67d9","datavalue":{"value":{"entity-type":"item","numeric-id":1741162,"id":"Q1741162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454562$DD3D8107-3DFE-427B-A198-8362D37EB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59c1728bf0113fff13fe63306a75c2acd2d45f2","datavalue":{"value":{"entity-type":"item","numeric-id":1631236,"id":"Q1631236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454562$C47628ED-8A50-4564-8F91-7A35DC8A98E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454562$C1388C32-F8FF-4815-8098-89EFE93E5CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fb3656d1d5424f05bf402bce04ea94941dd2ff3","datavalue":{"value":{"time":"+2015-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454562$BFD1F719-FF7A-41A4-A677-21DEB24B9FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$A753B72C-2BE1-45DD-97C3-74CCC6CF5EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$96DA5CAF-5786-4FF6-B7BD-B186D95C6083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$C99BDEE5-5E75-4358-B757-BEFDBCC4F1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13298f7d8d78e7dc7af11d2cfbb85479877aecad","datavalue":{"value":"6513568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$ED018BFC-2080-4D7A-B875-678EE4FE1379","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":"Q3454562$CF06E9D1-2A20-41FF-9E12-71ED5AEF2C38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c5ca72600f11350b42c9f2e036d6d3cf5ff59a4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24021-3_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454562$70543A3D-94AC-4CC5-AE0A-529399474A5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9c12e0d0cb9ab5a23dd25ad985b1b60c59c474c","datavalue":{"value":"W2264941559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454562$3C6C6AB6-940F-48DF-BFBC-29CEBE182A79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceae7d05e0479af466c4b3e2003fb3a5fd392423","datavalue":{"value":{"amount":"+0.8288155794143677","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":"Q3454562$0CBCA85A-A9FD-4766-83A6-E39847B8BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408ab0b6fa24f3b6b8aa231460acb1cff3d8ef74","datavalue":{"value":{"entity-type":"item","numeric-id":4927530,"id":"Q4927530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225565d0b8a1b26213ab30a7fbc825567871272f","datavalue":{"value":{"amount":"+0.8279879689216614","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":"Q3454562$D25F579E-E696-487F-B119-9A2366002116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced599a5ef556f3bc8bd16da3ea41af8836b03d4","datavalue":{"value":{"entity-type":"item","numeric-id":893625,"id":"Q893625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d27a0aeb878a2eb5382730dd5d506d0c57f846","datavalue":{"value":{"amount":"+0.7753148674964905","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":"Q3454562$88A4456E-4809-41A9-94EC-79159F222593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e511f963338a800aa7481bbd1c5ce3b4fa1b24","datavalue":{"value":{"entity-type":"item","numeric-id":1793125,"id":"Q1793125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1977a0ae6dfcfa3f53c86728c2392ba4ce0b8a92","datavalue":{"value":{"amount":"+0.7750492095947266","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":"Q3454562$F4906181-2F9F-437F-ABF9-709A673D44A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5997dd277e7456ab0da99b9f71f79bbff77c0831","datavalue":{"value":{"amount":"+0.7530094385147095","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":"Q3454562$E1896D8A-A552-4192-87EB-78C8D56A4B24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454562"}}}}}