{"entities":{"Q2914756":{"pageid":2925476,"ns":120,"title":"Item:Q2914756","lastrevid":44728722,"modified":"2025-11-25T13:08:23Z","type":"item","id":"Q2914756","labels":{"en":{"language":"en","value":"Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084502"}},"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":"Q2914756$276DCDED-556B-45C7-A0BB-8EEEADAD216C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21b19f386b2c58670e417b5fb49152934413101d","datavalue":{"value":{"text":"Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914756$125C4228-D8C4-456A-8E20-27AF24464D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe5d46ad7b78cd659abdf457052ff26779536970","datavalue":{"value":"1360.68753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$5823704D-A889-4A7C-BA80-FFBCD6CBE59C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69ee2390d39999fa90a7849f13e42203b3341985","datavalue":{"value":"10.1007/978-3-642-32347-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$5016B3BC-5190-47C4-918F-40E56DCFF34E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d65eeff0d2590123536a72ddfe1192cfd3f1df","datavalue":{"value":{"entity-type":"item","numeric-id":1663217,"id":"Q1663217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$FBEDC630-1281-44BD-9F42-3A94787DAD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$14E9D383-991F-4980-ABD1-6F4AE163427E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$3FB57438-6557-4C4F-A7B6-CFA631443F76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914756$6F8C5189-8703-4DD5-B089-DD06B7656CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$FA90220A-FCB7-4367-9AE4-914ACA80A5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7b1732fdd59737d4e26519c7f319134a110e70","datavalue":{"value":"34-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$D36A6AAB-4854-4D69-AF8F-D2AF15F93F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec625052005f5da314d6058307c2f650ba8b2aa3","datavalue":{"value":"34A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$D53C09B6-8F5B-4E34-A8F5-115C6E53724C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5279f21f2af80d7639e7b3c95e9f01ac8fcb9695","datavalue":{"value":"6084502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$320561AC-935A-41E4-8D72-77A8C5349768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$AEC67A3C-312D-4410-B871-762CA9A6D535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef838135a71046e021dab2bdb277ad2a30c2ed30","datavalue":{"value":"ordinary differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$EEB91DC7-5166-46CE-BB05-6F0FD183E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$D4078C2A-18B9-43B1-BB0D-374B0C3F35A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e5e1c0643e4b123670f780d31a4b521f6b0cd2","datavalue":{"value":"one-step method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$24EEE247-F445-4EA7-9737-D23A5CA6008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c597f3d79bac2b4337e3f9bae97e17f3684c90f4","datavalue":{"value":"Euler method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$0BE4D4AE-C4F6-42DF-9597-BA3CF99CB562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914756$DA0D4C3F-6FEA-4687-BACF-A3535A7719A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$B6D6FBE2-9A99-4E67-85F8-953971789B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$01A02A24-99D3-45DF-B4A4-055C55080E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$42594C27-AB74-43BC-AF05-4E5089AC363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$46178DC2-6865-40C2-88D9-3250549E079A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21d8e418735efe724052d5393ed9df3f76f76c3d","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914756$EDDED5FF-E40D-4D34-B59D-3DB1DEB456F2","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":"Q2914756$EB41DC1A-376F-49F4-A2FC-85A76A83E89E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb2fde0fd0741dab746efcab13ff95c868d2ffd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914756$FF595025-49B0-458D-87E7-7466C78CB04C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"082c696da1eaf77ca27211e12ccd0583b21cf6f8","datavalue":{"value":"W56092462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914756$1892C911-297C-45AC-A04C-0C1167AB67E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293cb893c1cda7276cce82eba1b47e3986821738","datavalue":{"value":{"entity-type":"item","numeric-id":4717947,"id":"Q4717947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655bef2913680fba0054b1b24bd267dee36f1b7f","datavalue":{"value":{"amount":"+0.8732494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$96E50496-7802-4EB0-9C4F-DE872535A9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86f755724aa3b575abaa41326ad93acf5d4554e0","datavalue":{"value":{"entity-type":"item","numeric-id":4203812,"id":"Q4203812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd1063596a42d56a3d6e72fd59a723b50ac447f","datavalue":{"value":{"amount":"+0.87078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$F8E0B569-3F73-4618-9191-9DC12B5E13CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c0c832abab717e0bc20d21af190ee789a6c174","datavalue":{"value":{"entity-type":"item","numeric-id":2080988,"id":"Q2080988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c07c4951949f034a917eaf2b61a1189f1a7456","datavalue":{"value":{"amount":"+0.86413854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$1BC533D3-8C7D-4C3A-814B-1E87D7D55A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7a7b17863814356abc2f1e3fafbbe33e114eb3","datavalue":{"value":{"entity-type":"item","numeric-id":4858592,"id":"Q4858592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071cc250e2b7a387a66621f0b521ab83b1e502e1","datavalue":{"value":{"amount":"+0.8612264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$E72AADEF-8CC3-4EC1-A4A6-16483364D97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69f0f4e1f29945bee8a6b1f00716165b3340231","datavalue":{"value":{"entity-type":"item","numeric-id":3998023,"id":"Q3998023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41501eab6443c4a3a12001197683f8524faac36b","datavalue":{"value":{"amount":"+0.8578193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$B60D4638-E5A0-46FE-B0C2-AE245FD8996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27af8300442a42fd8ce20add742afe0131774613","datavalue":{"value":{"entity-type":"item","numeric-id":771690,"id":"Q771690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287bd8d3ec220a7e92c51f50b098b23294983e33","datavalue":{"value":{"amount":"+0.8575479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$E62F30F4-867C-489E-812B-4DF8575DF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f03b4aba1fe0f5cedf374a399e8a98ca8ea4c1","datavalue":{"value":{"entity-type":"item","numeric-id":4918002,"id":"Q4918002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c617ed7f385c53f523617362057537c20aced82f","datavalue":{"value":{"amount":"+0.8570516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$7A75DDA4-518D-4FFD-8F1A-F9E83B29B9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c744a797a568584f5c4ecdab0f3586ed4449401e","datavalue":{"value":{"entity-type":"item","numeric-id":2038037,"id":"Q2038037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db17693238570d005141b45b00a2e8364013c9b","datavalue":{"value":{"amount":"+0.85616666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2914756$30E0A017-4B91-4C29-97BB-5310EB3B50E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914756"}}}}}