{"entities":{"Q6993486":{"pageid":21463908,"ns":120,"title":"Item:Q6993486","lastrevid":83965820,"modified":"2026-05-07T15:13:06Z","type":"item","id":"Q6993486","labels":{"en":{"language":"en","value":"LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030853"}},"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":"Q6993486$067453D2-CDBF-442E-AD74-E585983B0695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd7ccfe1fe4b25301f81b30df96a38fda78d24b6","datavalue":{"value":{"text":"LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993486$D02F4985-0F10-468D-B2B4-CA18B5F4750B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e83a662f8a09af5950ebb4e892870c6cc852178a","datavalue":{"value":"10.1145/3641513.3650134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993486$C6391E1F-FBE1-4BC3-9207-2506D086A46A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$B091A226-7AD1-4BBC-96E8-E1183CE2C1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9228550ce730e27d47512f3ed6450edb434d36b9","datavalue":{"value":{"entity-type":"item","numeric-id":2112104,"id":"Q2112104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$E483EB59-2E6F-415D-B323-E7DB8A384A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abf26735daf0be09b814558b3fa97deee12df89","datavalue":{"value":{"entity-type":"item","numeric-id":2151857,"id":"Q2151857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$813B34AA-A2AE-4057-A765-87047C6FA67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df4d73b0c1a013bf0afec7d9832cf50b29880c3","datavalue":{"value":{"entity-type":"item","numeric-id":6460743,"id":"Q6460743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$C3152658-0ABE-40A7-8EF2-164F90D13832","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993486$F32A431F-F7DE-4DE7-99AB-4BFD23B9AC46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993486$2209BC75-A453-438E-B5FB-3F45E60005FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993486$F7F73D30-4689-4C35-A512-734571BDE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993486$DCA1D56B-FA71-4F7D-B62E-1D86AE551067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aefd2eb5fe6b11c08350eaa7f48336d2d7137e18","datavalue":{"value":"8030853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993486$74DF89B9-D476-422E-96C2-49BFB39CB18E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$006A0162-32DD-4A7A-996A-A7923149DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$0E18FA80-9272-4CA8-B982-2D5DB478E1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$A8AD84D0-B642-4FDC-8837-6B3FDB61356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$046C3E94-0605-46EB-AFD7-A62AFD04631E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$062B1369-5438-4126-99D7-F82E1334DBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a02c7186c3e2e4a58ec75cb1fb3fc7d294e88c","datavalue":{"value":"stability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993486$3C353099-E5DE-4A71-99C4-3004EEA294FB","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":"Q6993486$0B9A31EF-7B86-407A-BE25-FC82BE2FDDBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa7cf1301348853b1d7dfbe9a4c7978c20eee6","datavalue":{"value":{"entity-type":"item","numeric-id":6120668,"id":"Q6120668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$55BB4446-74D5-4FDD-A717-EE85D50D6617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f108b53173d44822d20c0df5606ef0125c2735e","datavalue":{"value":{"entity-type":"item","numeric-id":5039505,"id":"Q5039505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$C169DE99-8221-4671-A277-3DF4509382B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a652b67e7d9f14d286588ef000132245ebf9b70","datavalue":{"value":{"entity-type":"item","numeric-id":6201594,"id":"Q6201594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$DC465F90-F097-40AE-8795-183822E99BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$BAC1AAD7-74F6-4785-9703-C2422BC41B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad1b0cbf61af84b38365e5fca518096b12f1099","datavalue":{"value":{"entity-type":"item","numeric-id":2641668,"id":"Q2641668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$397C1802-C317-4F2C-B8DB-8CCD5313F33A","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":"Q6993486$CEB71D57-CCA5-4D5F-9DE4-EA0FE3922CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2e3d3eec9db69db94fc74b1aa9faf22ad6e273","datavalue":{"value":{"entity-type":"item","numeric-id":2043422,"id":"Q2043422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$E9618182-7357-4BB3-BA87-72D4E3352C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2190584b47fd8e5ce7c9b972c59ca55a9d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5440982,"id":"Q5440982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$33026557-6324-4B23-ADC2-C244E15C7DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80fbc65095a610a83584387e5f42990b47f9ccb6","datavalue":{"value":{"entity-type":"item","numeric-id":6575853,"id":"Q6575853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$5669569F-F972-48F7-B488-D88859256B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcad4de67a0b259d2e18b6ea1f1cf2651bec37d","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$45BB99D7-856F-4330-8D1A-25B5A69D1877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c42b1ba13bda6d7f0e8ddf3fc4365aef0567664","datavalue":{"value":{"entity-type":"item","numeric-id":6993472,"id":"Q6993472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$A4A44E23-4B2D-4FE2-8654-0CD56FC3DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc84d7dabbd19066d4807bd2505625aa596c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":3138769,"id":"Q3138769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$198FE30B-2B1C-46E9-AA42-24DBBAACE9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211aaac364024b19c5fa7c04191c1784e444bccd","datavalue":{"value":{"entity-type":"item","numeric-id":2314336,"id":"Q2314336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$8B4D11CA-9875-40FB-B938-28B8CC036097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9faae787f139dba00c526eb3b5fc9184a3c00a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4974156,"id":"Q4974156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$5A1B88B9-6C91-460B-B72A-C7B84413D91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf18bc06c1f4fca2dfd2640c3ea67015d5acb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1004144,"id":"Q1004144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$BE41D446-E1BA-4FD0-8A2F-F0F8BA268855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ce13c123cc81cf1d5b693666bf7a6be5e9bc29","datavalue":{"value":{"entity-type":"item","numeric-id":2266156,"id":"Q2266156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$D05A9083-A0E7-4049-87AF-CA56B0BE5B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344809751309af9f82f8cddeba0b4f94803aae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5724099,"id":"Q5724099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993486$E7BE7799-DBA9-4B4C-8DE4-722F47CEE1B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LyZNet:_a_lightweight_Python_tool_for_learning_and_verifying_neural_Lyapunov_functions_and_regions_of_attraction"}}}}}