{"entities":{"Q4927530":{"pageid":6957112,"ns":120,"title":"Item:Q4927530","lastrevid":91642388,"modified":"2026-06-04T23:41:47Z","type":"item","id":"Q4927530","labels":{"en":{"language":"en","value":"Computation of verified Lyapunov functions of hybrid systems by a symbolic-numeric method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6177751"}},"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":"Q4927530$89FFBC8F-3BAF-4F29-A8CB-F3C0FD42EFA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ee64413acc820cb40dce3a7e07741eb379d83f3","datavalue":{"value":"1274.65181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$D910247D-FDFA-4120-A8B1-4B8C47138337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c42f984d06608ffecaa9a55907765aabe7f17f1","datavalue":{"value":{"time":"+2013-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4927530$788A68B4-ED86-4BE2-8448-406C708E2480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$FCF9B6BD-69A0-480D-9288-BC5E06E8764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$CF4ECD76-5CA8-41B9-BBC8-48F60675F1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$0E96E5E2-09D0-469C-BB9A-04A83BE21AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4c39d960485a30c03d0629c92318a40487035c0","datavalue":{"value":"93D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$4FCE7ECD-14B6-40B6-A802-001A65436916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"081a4b535274c822e812aa844182821199bda85b","datavalue":{"value":"34D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$7059BBA8-91BC-4818-89CD-8C463955AD8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe6569abc1a67f047a6e992c1e56d8d670f523c","datavalue":{"value":"6177751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4927530$DE930C22-3550-4EA7-A6EF-8E55994E679D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1637059600dda27f3a7d7eb32818e6afe98a8","datavalue":{"value":"hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927530$0A73956D-8CFA-4822-9AC2-38771C31AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ceb3175a370558e55f38632d56fc7a42999866","datavalue":{"value":"Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927530$491DA513-3E09-4B54-83C4-56E14F32B7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa0ebc3457641a8698b5e1a5028c9c258ad0b80","datavalue":{"value":"sum-of-squares relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927530$844D252E-2EF1-4A7C-9A47-4F06AA7CF8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4927530$B6E052E5-9D32-45C1-863E-0A6C034BCA3A","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":"Q4927530$840FFCF9-6F72-4C8A-A7B6-3743C66EB1EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6881910b014a8c87958cbfb4ad74b20af58849","datavalue":{"value":{"entity-type":"item","numeric-id":3454562,"id":"Q3454562"},"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":"Q4927530$DB09F717-3765-42CB-876A-58A5D81678AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72686ad1385f5f3888aca81fceae2396006ad732","datavalue":{"value":{"entity-type":"item","numeric-id":3624578,"id":"Q3624578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8bcb7119574a47ca8da487899133e970889448","datavalue":{"value":{"amount":"+0.7867450714111328","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":"Q4927530$011FAACD-462E-4952-95CC-F1B115C236FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33de6e5986aae759b46dfb8ef28d8befcdf8d39","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a2dabcacc68193d908d3a6399d9dbfe32ef8c9","datavalue":{"value":{"amount":"+0.7637009024620056","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":"Q4927530$52A44FFE-3EA7-430F-A7A4-E5709E455893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebe1004557338f2f4b1f04b5d9ca9210ae28d37","datavalue":{"value":{"entity-type":"item","numeric-id":515790,"id":"Q515790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3e72cf703e1d1e2d685565788033dafb6bd5d4","datavalue":{"value":{"amount":"+0.7621839642524719","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":"Q4927530$F064B44E-B2D9-4192-B651-C159C6BCF7A6","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":"e99614e35da8b6eea624beabba34adff3ad5c212","datavalue":{"value":{"amount":"+0.7542397975921631","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":"Q4927530$7DDD4565-0F5D-4290-9F34-02A7E7109322","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of verified Lyapunov functions of hybrid systems by a symbolic-numeric method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_of_verified_Lyapunov_functions_of_hybrid_systems_by_a_symbolic-numeric_method"}}}}}