{"entities":{"Q7361890":{"pageid":31521209,"ns":120,"title":"Item:Q7361890","lastrevid":105370055,"modified":"2026-10-07T13:38:45Z","type":"item","id":"Q7361890","labels":{"en":{"language":"en","value":"Ordinary Differential Equations"}},"descriptions":{"en":{"language":"en","value":"AFP entry Ordinary_Differential_Equations"}},"aliases":{},"claims":{"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":"Q7361890$5DB7CF03-BE9B-4D81-881E-6B6CF50F1F13","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":"Q7361890$45DA2675-2B44-4344-8391-1E632A3930EC","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361890$572DAE2B-3FD9-48A5-B5B8-35AAE4485AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"01b202f25e5390ba0104cc409e25272c5fbddba4","datavalue":{"value":"Johannes H\u00f6lzl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361890$FA1F945E-90D6-428B-93BF-38B953C08499","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":"Q7361890$C1DD67E3-63F5-4D68-AB39-648DC86DF4A7","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":"Q7361890$B2C0870D-1AA0-43E6-90E7-3519AE4DDFDD","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":"Q7361890$06711179-82F0-4852-BFE2-0184A7D174B0","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":"Q7361890$A493369D-7E10-4E2B-8FBF-7FE39BADCDE8","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":"Q7361890$CE954FCD-140A-4BF6-98DC-CABE5CC9DE68","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":"Q7361890$A3A9C028-4177-46FF-8899-5396F71D157A","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":"Q7361890$2E322626-F9DC-4367-9AA7-0A9A0C42E1FA","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":"Q7361890$E8EA8CAB-E9B0-4090-80FF-2E88F83E31D7","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":"Q7361890$E7E6586D-D4C9-49F9-A48C-ED75AF36A58A","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":"Q7361890$4AA87082-CC2E-4BB6-BFDF-BCFC1149E8E2","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":"Q7361890$406B2552-311F-4B94-8FC5-A55E73292667","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":"Q7361890$5E347D11-F1ED-4043-8CD8-B9222CDAB7E4","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":"Q7361890$D1342A6D-D4A9-468D-A855-ACC7B9721A29","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":"Q7361890$92FA3063-A4EC-42E0-9060-7B3BE148F5B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordinary Differential Equations (AFP entry Ordinary Differential Equations)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordinary_Differential_Equations_(AFP_entry_Ordinary_Differential_Equations)"}}}}}