{"entities":{"Q4953384":{"pageid":6982966,"ns":120,"title":"Item:Q4953384","lastrevid":108587291,"modified":"2026-11-07T02:16:13Z","type":"item","id":"Q4953384","labels":{"en":{"language":"en","value":"Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444343"}},"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":"Q4953384$D1910CD8-62A9-46A8-B841-75C7E7D7046C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63972f979be137f6d03182b9cfc4c12059aca249","datavalue":{"value":"1037.93510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953384$DA8274ED-0C4A-432C-82FB-894A24B44A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0499d82de960fbafb07001634b40748e3dd5ff51","datavalue":{"value":{"entity-type":"item","numeric-id":4953383,"id":"Q4953383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953384$9DFFBBC4-430A-45CE-A942-7F66F1806FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953384$6DDF9B4A-498B-4D13-975C-4A5F6B2081BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4953384$053A0F59-BF84-45D8-9103-AFABC19B57E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953384$92D1C6FA-47E5-4D15-B090-B916DF782EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e99730651cd97e98bab56a2fac2dc906721139c","datavalue":{"value":"1444343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953384$6D533C3F-EC94-4E56-B122-CFA79A99A872","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953384$913251A2-91BE-4A29-BA93-EDB0394B9C9D","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":"Q4953384$936FAB2C-BC8C-4DEB-A4A6-3ABCAF634494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6ca1b78cd312f7ab64a178334140b06ac34668d","datavalue":{"value":{"text":"Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953384$632A8F12-7891-4436-B915-39130B6962F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c07d7d69bfafaa406758aaa38acac75fb511659c","datavalue":{"value":"10.1007/3-540-46430-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953384$746A2340-0DAE-4633-BB47-B743635DF05C","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":"Q4953384$1BF67E41-C93E-4243-9ABD-9FDDCD14178E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_hybrid_systems_with_linear_differential_inclusions_using_ellipsoidal_approximations."}}}}}