{"entities":{"Q2986758":{"pageid":2997482,"ns":120,"title":"Item:Q2986758","lastrevid":52804433,"modified":"2026-01-23T13:18:12Z","type":"item","id":"Q2986758","labels":{"en":{"language":"en","value":"Lyapunov abstractions for inevitability of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718031"}},"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":"Q2986758$C7610E6D-4731-4A69-B106-5DE7973B9D9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fd45459d8655918eee4f314724a9ef1cff97b8c","datavalue":{"value":{"text":"Lyapunov abstractions for inevitability of hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986758$FBA66756-C5BC-49F4-8FBE-938BFC1B752A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"345de97a6acd64ddb458c4a0fc0f4d98f553a539","datavalue":{"value":"1361.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$3C309C93-36F5-4DAE-A2B5-3B6050422D55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e15c1e7b80ff77b3d36e021341836e90245d9989","datavalue":{"value":"10.1145/2185632.2185652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$2803F366-A9C9-4240-B122-15856D6EBDC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a806a6c33af9a9908c0c103477b67d9307af8d9b","datavalue":{"value":{"entity-type":"item","numeric-id":832031,"id":"Q832031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$C17F31F9-7B7F-4D5A-B8F8-4857A41F21A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$FDB2457A-ED2C-4C14-ACF8-279AF390037B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$D8848539-987A-4B2A-A61E-21CDE986F2FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986758$68E1879F-8C09-4860-B5E0-7B1B72520A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$4164D8DF-DF44-40CC-A3E9-7FB2EE34ABEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$03F3F1E0-6786-466A-9CF3-ABB0C8553450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$9CB33027-C391-448C-A8A2-E555BAA45D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$0E40AF45-F97D-4BEF-A804-36D54A12A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$37F709C8-69F8-42C4-BD26-FFE41CA45E45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b66d56875cfe7b1ddf2fad20b620411e3164e8","datavalue":{"value":"6718031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$49D83239-B05A-4268-BE2D-FF2112714E3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$41B1D197-DE11-44AA-A87C-EAFCA6AD15E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$95775790-0374-42A9-BA12-D4D983DEC4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$8680BBD4-0FF3-47EE-94A4-E6C75D2EAAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$C581C98B-AE56-4422-A050-EDCE1DF0EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$E6E79AF5-36BA-43E5-AF93-618EA1E453BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a0b0f620d35bb63fc87c5b2248651fbff97215","datavalue":{"value":"switching systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986758$1FDB9646-62E3-4B29-B470-70ABC8FADD10","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$892BAEF1-37DE-4EB0-8F1E-36F5D216C60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5c588270f69b4b63b22c9a8b056b96e746e30a41","datavalue":{"value":{"entity-type":"item","numeric-id":31972,"id":"Q31972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$67F69E37-3D12-44C2-8980-D21CEC8D2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$DA167EA8-E821-4AD9-AC39-81F220DC92B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986758$BC8DD34C-0DA6-4386-84C5-514E6D37491D","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":"Q2986758$04B0B6E0-03BC-4D17-ACE6-CA2BC986BB9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba40d5bd6d71ea0adc99f2faadd1f2c177bb16b","datavalue":{"value":"https://doi.org/10.1145/2185632.2185652","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986758$76675C6B-12B8-43F1-862C-447C48360809","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7412a0a0e557a058e9b4a4fae1e94cd2832e560","datavalue":{"value":"W2066057891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986758$F345D05D-2EB0-4C6B-9A59-E5841AF6FAA4","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":"a73248ada840299add1800adc74df0d5f665ee8f","datavalue":{"value":{"amount":"+0.7965186834335327","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":"Q2986758$EFF777DC-2EEB-4742-8788-E43021A2424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb926ea66c79dfd4e0d0605e0e1f444005615ab","datavalue":{"value":{"entity-type":"item","numeric-id":5500563,"id":"Q5500563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8bde0f09b5f6f0fe79f0f8163e046a12fd6a95","datavalue":{"value":{"amount":"+0.736093282699585","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":"Q2986758$B0B0A31E-BA77-4F51-8797-26E1919FED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ca8b4d01aa49d7ac057ec34daef34a9c381e3a","datavalue":{"value":{"amount":"+0.7275531888008118","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":"Q2986758$7570FE81-93AF-4F0C-9325-585327BE3303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30218797bf705209bc83c78c87b6a46c93909111","datavalue":{"value":{"amount":"+0.7264899611473083","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":"Q2986758$8ACAD444-B983-4A88-B062-3531BFD95E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56de5e293ef04980880daff432d1b83a41287e2","datavalue":{"value":{"entity-type":"item","numeric-id":6116266,"id":"Q6116266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df26045e86c69cc1281d2dfbbeb72e3f589030c","datavalue":{"value":{"amount":"+0.7238855361938477","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":"Q2986758$F6BA9721-853C-4894-BACD-655B3A80E580","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986758","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986758"}}}}}