{"entities":{"Q515790":{"pageid":517557,"ns":120,"title":"Item:Q515790","lastrevid":62450103,"modified":"2026-04-11T06:09:57Z","type":"item","id":"Q515790","labels":{"en":{"language":"en","value":"On the construction of Lyapunov functions with computer assistance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695741"}},"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":"Q515790$740F5C02-DE24-4B38-A8EE-DB0C73DE06FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cf70556b48eae7e7a676064b5a95290845d0818","datavalue":{"value":{"text":"On the construction of Lyapunov functions with computer assistance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515790$5A11014F-A9D5-43C6-9C64-6E81E01A7A5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc88eb0b5ed0c16efca89f4fa51416e21d294590","datavalue":{"value":"1366.34078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515790$29B87373-1C4D-4498-9ED7-A5065E2FE3B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b736207ab3a939248a50d95214c61e6dd30b6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":267850,"id":"Q267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$BEDDAED3-6067-43B1-BFBB-DBCD9C648795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1fb7c3ae5d8a339dd8cf73209e558f46807a444","datavalue":{"value":{"entity-type":"item","numeric-id":515789,"id":"Q515789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$9FA16619-52A5-4BA5-A3A2-0F8933697BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d92cc15d0637fd8d20d04857d45e76086c5e377","datavalue":{"value":{"entity-type":"item","numeric-id":188687,"id":"Q188687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$95A01233-7859-4722-923A-99F69D4BFF7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9291c21615d62497aa2bb6404791ba4d7844695d","datavalue":{"value":{"entity-type":"item","numeric-id":61355,"id":"Q61355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$55DEB59F-5D80-4DB6-9D81-BE0DEC7653D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-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":"Q515790$07DF7BDE-284B-43F7-803B-E3E4A43AF7F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a9bc9e72ce2e4e4d05e3e312136abec828b30b4","datavalue":{"value":"https://arxiv.org/abs/1604.05953","type":"string"},"datatype":"url"},"type":"statement","id":"Q515790$1DEED192-315C-499E-8FAD-C11062743FAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2088a5b4a0428753c4b98614bab2a8cb17760e0","datavalue":{"value":"The authors establish systematic procedures for constructing Lyapunov functions around fixed points for both continuous and discrete dynamical systems in given domains with computer assistance. To demonstrate the applicability of the procedures they present several examples of Lyapunov functions constructed with computer assistance. Numerical examples were given for Poincar\u00e9 maps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q515790$F694B5D6-7BA1-4132-B744-209533240822","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"56d4e2d53e6f218c3fb8d017fc3dc15caedbc078","datavalue":{"value":{"entity-type":"item","numeric-id":590843,"id":"Q590843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$5B389CBF-76D7-49C5-8DFC-0F91F4A8FBC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"081a4b535274c822e812aa844182821199bda85b","datavalue":{"value":"34D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515790$94C5753B-4E55-4190-B285-4EBC45634FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd42feaca6d74140d098355601b0c4d6be03051e","datavalue":{"value":"6695741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515790$D8E5D60E-AFA2-452F-8B64-9A16F8B31E41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67b2f3cea0284732f172d4f8e51d8a3ae449ab","datavalue":{"value":"Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q515790$B19DDF75-F7C2-4ED6-A1F0-04D67191A0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b1456a151b8ed76328b6916379a507f1f3d2581","datavalue":{"value":"computer assisted proof and construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q515790$2320E4DB-151E-468D-9C33-7C04C40D8BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3fcbecc1a3e94eabb70bb8dc349ecdeea3c19d","datavalue":{"value":"Poincar\u00e9 maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q515790$573BEC8D-C80D-4B78-9E10-E0974D8BBE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05883275b1cfaae8a604591e1a31e29d710d55ba","datavalue":{"value":"and stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q515790$EAB8CED6-BFE5-4A48-80B0-A5256FA6DE16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$1E052EBB-2E08-4F30-A876-0021E31077D8","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":"Q515790$D6FDCFF8-5532-4EDF-B821-A1F915C53F78","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":"Q515790$01999EE1-752F-4D7C-9E2D-A77773D0A201","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d11815ea2f94435fb9502bf89ffc04bfde18908","datavalue":{"value":"W2964071213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515790$4A54B917-A84B-4A5C-9253-1A0A22529619","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e722dc73e5a14bc58854598c3bc0f4c107e951","datavalue":{"value":{"entity-type":"item","numeric-id":4226356,"id":"Q4226356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$CAC40925-B534-47AE-BB67-7BEC5A540E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7227b3602c0ed8561bea6df6bc10f54025b940","datavalue":{"value":{"entity-type":"item","numeric-id":4180600,"id":"Q4180600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$38DC3C25-0B32-45F6-85F0-A8A87EB49121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a352b5bbb6b856efe2f5f33a1d58228e5bbca92","datavalue":{"value":{"entity-type":"item","numeric-id":4904559,"id":"Q4904559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$1590ADB3-14A6-4186-8D15-AFF6AE563240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3842721aa912abd2868568dc97c794d72a6c277","datavalue":{"value":{"entity-type":"item","numeric-id":5421400,"id":"Q5421400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$BBA65724-9D03-4F4F-AE91-803B2E2F1F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4961afc3dad1a2b76a44d24167c4e3f7004f11","datavalue":{"value":{"entity-type":"item","numeric-id":684070,"id":"Q684070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$8520AA2B-9A81-44DB-80FD-1F7AC029A574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec65b0a72badbdadb90a77f6d8ce40c048406f58","datavalue":{"value":{"entity-type":"item","numeric-id":1007257,"id":"Q1007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$8DD8C482-474B-4EBB-86B0-8A2E185A25D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97645e500a3f387d1611cb658fad33e76797917","datavalue":{"value":{"entity-type":"item","numeric-id":869955,"id":"Q869955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$0EBD2CEA-1228-422F-BEF7-E1223E1AB6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c989f2410aa193493587f644ee54e06c1bab76b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372664,"id":"Q2372664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$6922929D-482F-421E-A69E-C43CA7A09696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d254f10b61d2ab84d2bf8a4abd76233abba026","datavalue":{"value":{"entity-type":"item","numeric-id":345956,"id":"Q345956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$D01AA0A3-7CC8-4849-8F95-097F356A443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6e11e6af2b9bbcde46e1817c46ea93c2004ba1","datavalue":{"value":{"entity-type":"item","numeric-id":5431011,"id":"Q5431011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$8037C2F7-15B1-42C7-B690-613958357145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b540739bade53f50fc3fc82332db5d74ecebfa6b","datavalue":{"value":{"entity-type":"item","numeric-id":258388,"id":"Q258388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$C9A6BD1C-AF97-46E4-8C8E-E161AD22826E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9462d646dd99d4790e7e6985eced9d2f6c9d06bb","datavalue":{"value":{"entity-type":"item","numeric-id":3449033,"id":"Q3449033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$BE19C3F7-4A0E-47B6-A2D1-F718928AD2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0e8590cbf97f05a44f10d51f9bb9c4b086b91d","datavalue":{"value":{"entity-type":"item","numeric-id":1865828,"id":"Q1865828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$3C26695D-8725-4B68-99CE-5833C221485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1475f52c2d52da145dcd0f4980e7ca07bdc82380","datavalue":{"value":{"entity-type":"item","numeric-id":4314474,"id":"Q4314474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$11D4C063-2951-4AD8-BD27-DA4C289A810A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849ada3497a90c12b4f6f6e4231ea4fa03964b4e","datavalue":{"value":{"entity-type":"item","numeric-id":1838059,"id":"Q1838059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$F71FEC9C-24BE-4032-A8B3-28D4BD0F5FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4739b1d79d4ac039a6b653c85eed4bb46452f2c9","datavalue":{"value":{"entity-type":"item","numeric-id":994995,"id":"Q994995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515790$5F958DD3-5379-4EA5-A353-B19B4E21CFD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60b2e1c87daa549b4b64a7ca2b4005c0bbc5caf9","datavalue":{"value":"10.1016/J.CAM.2017.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515790$4E463952-BDC5-4AD8-8878-08AC3019F25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9d129b1531365f8d66f48c3bbfd28f5245296a","datavalue":{"value":{"entity-type":"item","numeric-id":1914333,"id":"Q1914333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7323ea0b4ba5d63cc4ff37e83225a392426ec8","datavalue":{"value":{"amount":"+0.8235852718353271","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":"Q515790$6C77CDFE-F729-4C3F-AF9A-E1262BBD0CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3a0a0961e9707d06b7b9df34a721cdc32143f1","datavalue":{"value":{"entity-type":"item","numeric-id":3449033,"id":"Q3449033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239de8d25088a84c9e84a4e3aaa58e6e399e4373","datavalue":{"value":{"amount":"+0.819817304611206","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":"Q515790$2E39D52F-4259-47A8-BD89-527063314201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da568a7cf05ae0261cc80e69568f37b7665b1da6","datavalue":{"value":{"entity-type":"item","numeric-id":5121400,"id":"Q5121400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733ec49683343604acc5392cb9337c7643a3f76c","datavalue":{"value":{"amount":"+0.8169964551925659","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":"Q515790$F0CE8D61-2B65-4504-BA4C-4F635805CF16","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":"00c060cf5bbdb9d91ce3b33180c7df51888b824f","datavalue":{"value":{"amount":"+0.814643144607544","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":"Q515790$4DC24642-F0CB-44FF-8B24-0F8AD2F7A531","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":"741a801fde2d556e47bc0d01264cfe9c149ce827","datavalue":{"value":{"amount":"+0.8125307559967041","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":"Q515790$D43AABC9-F625-401A-BDC7-1CB5CCD9C09F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the construction of Lyapunov functions with computer assistance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_construction_of_Lyapunov_functions_with_computer_assistance"}}}}}