{"entities":{"Q40512":{"pageid":40568,"ns":120,"title":"Item:Q40512","lastrevid":105428135,"modified":"2026-10-09T10:09:08Z","type":"item","id":"Q40512","labels":{"en":{"language":"en","value":"Ordinary Differential Equations"}},"descriptions":{"en":{"language":"en","value":"AFP entry Ordinary_Differential_Equations"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a441559f79a0bab065fd1acbe760d4f996b5b927","datavalue":{"value":"28798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$C602110F-BA51-4147-BD7E-73A230AD526B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$E47BCC43-50AD-40C2-B0D6-763B176B1EFE","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"7429e33a9c343536df1eaa77e9473861a6a2d049","datavalue":{"value":"https://www.isa-afp.org/entries/Ordinary_Differential_Equations.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40512$43F03F62-D7DF-4886-BE21-47A1558E67C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$3A22A019-2763-4304-A649-A5236278CBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$90617DE2-1407-4866-8558-15C01CEDEE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$2983FD41-1750-447B-9B2D-A3B551C1064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$B43E32A1-4CF5-4361-85B2-3ACD771BA3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$1F3D54F7-94C3-4B13-AF2D-AFA65AE45B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$8C9F3BC9-8D7A-46F3-8B34-1E1509C8BA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"237fdb40fba6ca47071c72c98b6815ef548d522f","datavalue":{"value":"34.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$412FC5F7-55CB-4BB2-9166-9A67A380AB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87a555a1b2e01f4326be258f32691549082cf63e","datavalue":{"value":"37.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$7FFDFA9A-993A-403B-AC82-E588F032AF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$75DAA7F7-52F7-4CF7-BFC2-72ACD64D9EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40512$719A8FEB-B8FC-459A-97BB-DB55438E6EA5","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$348E65F3-65A8-4687-B850-4E9C31B1F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$0DCF641D-A362-43AE-8E70-47848DC3AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$760314F2-7321-4634-8A6B-A71DECFE2468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$961EC3E9-75FF-4B1D-959D-8BAE561D8BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf16ca8b4217a77a4217a7973bcd79e35c3e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5974121,"id":"Q5974121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$902BC40B-7F8A-49AE-BF62-D562571DC4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$57F62218-2A50-4C0E-BA2F-B8C70D73C814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deb8ff1d94ce91499b3c889ad52e2af0d30c31a1","datavalue":{"value":{"entity-type":"item","numeric-id":43956,"id":"Q43956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$9AB574D3-A4D5-4F43-BF5E-99E3DEE60B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c59d46165b4eb2bb811e83cf8d5f0edfc7f164a8","datavalue":{"value":{"entity-type":"item","numeric-id":43928,"id":"Q43928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$C49FA969-0C72-4AD4-9EAD-7E61E07EA463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"255d1eab6148b0a0149f5ba251f819f772375a4c","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$A1872F10-3592-4F97-8317-1A8058B9E250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$CF9A84FD-587D-46B6-B79E-9A8C0580DEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$B03D8A6A-D53E-4CB8-8159-96BF2FA9DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$AACA9FA4-D0B1-49CF-BA1D-26E2F0984A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a936602860246203ac9d0343c5125a4feac54c76","datavalue":{"value":{"entity-type":"item","numeric-id":41908,"id":"Q41908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$D6820A32-33B7-4A11-B2AB-7193C9B3F67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$06B89712-175A-4553-AB22-6887AFD41505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$E319F0B1-05BE-4589-8142-DB963A775F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$9E170954-F0E0-4F7F-ABFA-F7D6355681F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$DB86A681-620A-4058-8388-0AEFC65E334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37aaa72463d35f8933622cc257886a0465bc696","datavalue":{"value":{"entity-type":"item","numeric-id":5972481,"id":"Q5972481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$51BFBED7-DEB9-4755-820D-DD5293193852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1718a76c81b10dcc81cbdbe69fc8fe178db7b09","datavalue":{"value":{"entity-type":"item","numeric-id":16299,"id":"Q16299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$C58ADDEA-A3E5-4C38-95CD-9ACB7BC95BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09e2993cb5d494a347b340b5a9f971135cd04442","datavalue":{"value":{"entity-type":"item","numeric-id":43942,"id":"Q43942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$0EB1D788-4B2F-43B5-BFBF-CB3A905368D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f226584c1d1213e371203a0f0d6b20b93acc57be","datavalue":{"value":"https://isa-afp.org/entries/Ordinary_Differential_Equations.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40512$674BF96D-B81A-40E0-8757-32E8F4EDDB3B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q40512$69865952-3E15-4F19-9AFF-B4B0D004088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"01b202f25e5390ba0104cc409e25272c5fbddba4","datavalue":{"value":"Johannes H\u00f6lzl","type":"string"},"datatype":"string"},"type":"statement","id":"Q40512$61A97B0C-E7EF-48E0-86E4-7E6B2BE1988D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0ed2944c05c8cfa731af9e53e0b78c1c0747cd4","datavalue":{"value":"Session Ordinary-Differential-Equations formalizes ordinary differential equations (ODEs) and initial value problems. This work comprises proofs for local and global existence of unique solutions (Picard-Lindel\u00f6f theorem). Moreover, it contains a formalization of the (continuous or even differentiable) dependency of the flow on initial conditions as the flow of ODEs. Not in the generated document are the following sessions: HOL-ODE-Numerics: Rigorous numerical algorithms for computing enclosures of solutions based on Runge-Kutta methods and affine arithmetic. Reachability analysis with splitting and reduction at hyperplanes. HOL-ODE-Examples: Applications of the numerical algorithms to concrete systems of ODEs. Lorenz_C0, Lorenz_C1: Verified algorithms for checking C1-information according to Tucker's proof, computation of C0-information.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40512$80FE93E6-FF7C-4B84-98AB-8F78786DEE46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a33ace715758bbd5e12a175666c687dc29f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":6041129,"id":"Q6041129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$78EA0978-62FC-4A67-BCF0-C90D61C0349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b6f4b63bc26052368e7b5944153c26fe1fa531","datavalue":{"value":{"entity-type":"item","numeric-id":2914756,"id":"Q2914756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$A5022BED-2036-4740-995B-DD949FAB97DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$E7FCB883-8B69-47B5-B4EC-BEDA5D888C89","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"f7b6d7efa1112c1111f910b2af695ef45154f6c9","datavalue":{"value":{"entity-type":"item","numeric-id":7361150,"id":"Q7361150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$D443EA6E-DE68-4870-B3F5-37932BF54AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"f0d6ccc9a00d2d1e3be7ec2239689671c14dec25","datavalue":{"value":{"entity-type":"item","numeric-id":7361918,"id":"Q7361918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$3AC87EC3-8362-4E75-8E21-61F054A3465A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"edaae9fe0e5779978f85e3c7bb7897012bfd4b62","datavalue":{"value":{"entity-type":"item","numeric-id":7361610,"id":"Q7361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$A5C0AAAF-4034-4F77-949D-9759F425F94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e0b5465b6a0d9e05645cdb7168eee1aaf7eb2845","datavalue":{"value":{"entity-type":"item","numeric-id":7361518,"id":"Q7361518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$06228603-74B3-4329-9ECA-36B97F2ED50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$107D8AB5-0277-47DF-B8B6-05DA41542531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"09067df4faf75e842a679588cbee3d07dcfb1d16","datavalue":{"value":{"entity-type":"item","numeric-id":7361714,"id":"Q7361714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$9D367411-18D8-4F21-ABDE-5506BF90AFD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52b04daa1d703ea977748e4d42defef3819c2dd9","datavalue":{"value":{"time":"+2012-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40512$C55141CC-C8DD-498E-A753-C5C3992FC040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acc02f6051f6f802cabe7eba8e1c2d4537a88d19","datavalue":{"value":{"text":"Ordinary Differential Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40512$817679FF-E69D-49AE-89B0-D63BF1B9DA83","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$1DA72498-747A-40B1-86CA-A734C6DFC886","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40512$C0120924-2959-4287-A1E4-88A756A5DFF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinary Differential Equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinary_Differential_Equations"}}}}}