{"entities":{"Q3015159":{"pageid":3025883,"ns":120,"title":"Item:Q3015159","lastrevid":86035244,"modified":"2026-06-03T13:25:21Z","type":"item","id":"Q3015159","labels":{"en":{"language":"en","value":"Logical composition of Lyapunov functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918945"}},"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":"Q3015159$B90C66B1-8E71-4E6C-8642-306EC1DE6D9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d0a590fc589d5fbb9fb2dc05156466ebd413c5c","datavalue":{"value":{"text":"Logical composition of Lyapunov functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3015159$C50A8288-BFB7-42A9-B0AF-CCFE83E4E12C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f55b49fc6ead0a184573d29a23d40c0ed702576e","datavalue":{"value":"1222.93195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3015159$F6B3ED87-B49A-405E-A7B0-6132320D66F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65a2a0dae2e899b59f39f72c163f60156a6ee398","datavalue":{"value":"10.1080/00207179.2011.562549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3015159$1F22379C-2EAF-4CEE-8E2F-739C06409F81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecaf6c7fb678552960443ce25b1e52a4a77bc213","datavalue":{"value":{"entity-type":"item","numeric-id":694847,"id":"Q694847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$CFBCF8AC-9908-47FF-AB51-7F86676C4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad74bfcff958f6dede16cb85f952710052e7ce54","datavalue":{"value":{"entity-type":"item","numeric-id":694848,"id":"Q694848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$E4A57B00-5741-4654-88AA-4231D86F99FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e3b1de0f671bdfb35b3a95893e310d4cff48ee","datavalue":{"value":{"entity-type":"item","numeric-id":397465,"id":"Q397465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$D785D219-587A-4120-8D58-97E56917F2BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$919B0C17-8CBB-4F3F-A37F-D622C616CFF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3015159$13D19E09-0BAE-41E0-ACA0-775789AD286C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae0a986d607d9b0c7df46eb597d9aa7ca19fc1f","datavalue":{"value":"93D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3015159$5B15B19C-FC53-452C-A514-067F9C9D1EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda85505d55a93f83e88dcc4d77745bd50164a38","datavalue":{"value":"5918945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3015159$0DDB60CA-901B-4AEE-962B-111172155BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54f85f1a3d1a305493baf5915d24f5c7caeb150","datavalue":{"value":"R-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3015159$98C7AC51-085C-4D83-95B9-E3934652D892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ceb3175a370558e55f38632d56fc7a42999866","datavalue":{"value":"Lyapunov function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3015159$5E1DF954-8B6F-4055-8470-4F77BDBEBF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d9d79c45b78c6ec9e0b5129f4f75af8b0d9d1b","datavalue":{"value":"RAS estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3015159$A19C3A63-F09B-4938-AA2D-412D0A7A6D3B","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":"Q3015159$5F8EEEB5-8118-48BB-9D4A-E3897B65E3B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a51958af6d88ad220e2b1228eb05d7c4b892a196","datavalue":{"value":"https://doi.org/10.1080/00207179.2011.562549","type":"string"},"datatype":"url"},"type":"statement","id":"Q3015159$EE41AD63-9DAE-4C0D-8F84-6B40E7838A10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3317ee350bc26ff8527984d82c50f0ed7844d09c","datavalue":{"value":"W2008227730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3015159$CA504C9B-F6AA-4CC1-93E7-94DC708DF94A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2edd5e07d0953faaa5e53b2b0565fc90323b42e","datavalue":{"value":{"entity-type":"item","numeric-id":5916183,"id":"Q5916183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$6EC1C0CB-7D7F-4718-9708-CD808A6C9B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b292324bd9ebd84b9c69ebc3ce6857eba7890074","datavalue":{"value":{"entity-type":"item","numeric-id":845409,"id":"Q845409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$5CF775EB-CD90-4188-A74D-0248266F7268","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":"Q3015159$A449D5CE-0172-4D5A-8CA5-D7076AC78623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f903d3b7f392c0876e5d6f02f471c8d73eb2fbdf","datavalue":{"value":{"entity-type":"item","numeric-id":4506699,"id":"Q4506699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$173C210B-CFC7-40F6-897F-FF19E3C064B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313dc402ff443df3a6d2721c413ce0d76e1b1ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5273909,"id":"Q5273909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$9B3515EF-17B8-4207-BAFB-1D7FB9845BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a2971b7fcb012cd94f93bd6877900d08441671","datavalue":{"value":{"entity-type":"item","numeric-id":1765187,"id":"Q1765187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$CA8573E5-0D47-498F-A8E0-7A4520F0627D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17fcf59bf0bc5887a4fbc144f97cb61dbef031","datavalue":{"value":{"entity-type":"item","numeric-id":875134,"id":"Q875134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$B0CD2C45-412E-4335-BB09-8AA66376FF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c868cc6d04ba65336694b0f97adef768261c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4651606,"id":"Q4651606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$9446077D-AAED-40A4-84CE-40A4EAF8B288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4567d582d8fe844c73ab34252bdc138d14292a","datavalue":{"value":{"entity-type":"item","numeric-id":5266931,"id":"Q5266931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$69B57E8B-E8FA-4459-8E62-005930237558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f89bdb6ed130b74f84e184bb34308224d34b47","datavalue":{"value":{"entity-type":"item","numeric-id":3686592,"id":"Q3686592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$C831B659-7288-46B2-8294-9B6F80C474ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4babf01cfd567c7dd66585f654de1695aeec00a8","datavalue":{"value":{"entity-type":"item","numeric-id":5273723,"id":"Q5273723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$339F356A-5709-4C2F-ACB4-974136FC2CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7672acdb71a4556716a90d3c05d6ce054a934ce0","datavalue":{"value":{"entity-type":"item","numeric-id":5266913,"id":"Q5266913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$4D4F27FA-2E9C-4437-83FF-8B1B757B0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3366ba9fce3c2d3d61b08f2889a9477094446fdf","datavalue":{"value":{"entity-type":"item","numeric-id":1575301,"id":"Q1575301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$05AD540E-5238-4691-B1C6-51255035BA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5f356e281604d371abb85b8c02fbae2665f686","datavalue":{"value":{"entity-type":"item","numeric-id":5273819,"id":"Q5273819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$68B6CB7A-F5CF-41E1-BD5B-175C4D895BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce171d1917e68a9d479f67de9a230c5be7f539","datavalue":{"value":{"entity-type":"item","numeric-id":5941350,"id":"Q5941350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$A40EFE8D-06E3-4CE2-8CC8-B4DC4370150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb6742e20db5b7bee4e01f949b97f2637dc14f1","datavalue":{"value":{"entity-type":"item","numeric-id":4166645,"id":"Q4166645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$4AD52196-583F-4070-8251-EB420858EAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8cef996c30aac515963b65dfb2bc37fdcba123f","datavalue":{"value":{"entity-type":"item","numeric-id":1858359,"id":"Q1858359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$5DA7A8F6-F523-4494-8E5E-38D1CBFBE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4076664eb3445eef2ab0a44a41eb5bf4eeb0610","datavalue":{"value":{"entity-type":"item","numeric-id":5309085,"id":"Q5309085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$9C52A989-3B23-4D68-A0AE-FAAC30A575A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9917fbf98cca68cbd83b5e5d301573eeed648694","datavalue":{"value":{"entity-type":"item","numeric-id":4978712,"id":"Q4978712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$FB09D0B2-AC47-4E3C-82F7-0787E9B2E8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d3ea2dbb56563fe35342d0b48def51cb9ac46a","datavalue":{"value":{"entity-type":"item","numeric-id":1000820,"id":"Q1000820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3015159$B1A49FF7-D970-4E57-8BF2-48C7247284E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4815e916ad3c5933fe9fa24fc6a206eeab79afa3","datavalue":{"value":{"entity-type":"item","numeric-id":2445175,"id":"Q2445175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233934263aac31d92c46fd0866994375b311e3ff","datavalue":{"value":{"amount":"+0.7235755324363708","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":"Q3015159$D97B7D68-57DD-4084-9305-97F6C7ED966F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c20b64aa1cc94fa28658729f284859b99b51ab9","datavalue":{"value":{"entity-type":"item","numeric-id":258430,"id":"Q258430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd265b97ea6454d12129994e9b01cb6c659c86a9","datavalue":{"value":{"amount":"+0.7172946929931641","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":"Q3015159$29422DD1-6719-4651-992A-5ACD017091EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca66d7bc1bc0cc0478d8fee3e56c11aea2223c4","datavalue":{"value":{"entity-type":"item","numeric-id":4204464,"id":"Q4204464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da783ab03bde58d3c8e02d325da5fced5548e2fc","datavalue":{"value":{"amount":"+0.7120779752731323","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":"Q3015159$611304DD-62D3-4B9B-B7A7-58FB03922221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e76fe0a01b77d38ded5c9a2ae3d5f73078dd1ee","datavalue":{"value":{"entity-type":"item","numeric-id":4276646,"id":"Q4276646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebe782aae89ee29fa1a96a270f779cca7da8565","datavalue":{"value":{"amount":"+0.7119265794754028","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":"Q3015159$F9DD7925-8484-4D37-B141-B597234BDAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173dfd2d4b2ed04bcd40aa051909c4e2c7a9feaf","datavalue":{"value":{"entity-type":"item","numeric-id":5265927,"id":"Q5265927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7f2ae56ec1bc9d522eab3df3953ac08eab68bd","datavalue":{"value":{"amount":"+0.7104290127754211","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":"Q3015159$4B7C9C16-56B2-498A-B104-2059C219AFCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical composition of Lyapunov functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_composition_of_Lyapunov_functions"}}}}}