{"entities":{"Q5327365":{"pageid":7356939,"ns":120,"title":"Item:Q5327365","lastrevid":95969114,"modified":"2026-06-05T10:07:32Z","type":"item","id":"Q5327365","labels":{"en":{"language":"en","value":"The Picard Algorithm for Ordinary Differential Equations in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196183"}},"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":"Q5327365$00F287A5-6137-44C9-9F8B-EFE9CBD96E7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a14fef836e7850d28cf24027313142530f84d92","datavalue":{"value":{"text":"The Picard Algorithm for Ordinary Differential Equations in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327365$1B70D2FD-2096-4C09-82AA-47480C795EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed02dbe17ddde49e99560463bb4be3e3cc870cf","datavalue":{"value":"1317.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$CF9F98DD-B299-4247-A371-5738E49A3973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f82d38aa568be2a9c32d9c185c2320ece48383","datavalue":{"value":"10.1007/978-3-642-39634-2_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$FD8F8294-F188-49B2-B2D0-466453C3A6D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65edcebd316ee2e4af59d5c5ccc973da30d7318a","datavalue":{"value":{"entity-type":"item","numeric-id":4376060,"id":"Q4376060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327365$435E6333-E287-4644-BC2D-FCAB25C8EAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"603d1427f1b21e289d7f29d1759e5e0b15783239","datavalue":{"value":{"entity-type":"item","numeric-id":185814,"id":"Q185814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327365$AA08045A-02BF-4980-9D2D-4A5490D081BA","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":"Q5327365$A1A0D7BD-9FFF-4D89-94EF-367097E23DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327365$EC5746F7-550B-4AAE-B358-C97F4E23984E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$A3375B73-EA02-4BAD-A51C-36406A590AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7b1732fdd59737d4e26519c7f319134a110e70","datavalue":{"value":"34-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$F16AA7E2-DAD3-4AA7-93CB-B2DFEDA4CC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec625052005f5da314d6058307c2f650ba8b2aa3","datavalue":{"value":"34A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$183465FD-6C27-447E-9B90-959BCEBB204A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db8155d4b7f96357e7053a8a359438b29d65ec89","datavalue":{"value":"6196183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$ED99E6F3-3332-4BD5-A795-8F8A537342B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327365$B27F2827-1D44-4602-AE49-EA509744ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d62d77f8378ea81ef5fbdb2b31734b1b116c9f","datavalue":{"value":"exact real computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327365$E96B31E1-51A4-4697-B2E4-285CECC2C22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327365$7F10890D-69B7-4588-B11C-25BAA6988A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327365$7F0F124E-E65A-4AC8-99F2-CAEF8726261F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5327365$466EC4D2-98BF-43B4-9C16-6BA72BA83D5B","rank":"normal"}],"P1463":[{"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":"Q5327365$366104D0-5C78-449A-87B4-25AFE6E25AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327365$EE96B193-F67D-4580-B7F7-F4CA4DC767E4","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":"Q5327365$751F494C-B111-4DF6-8C36-E1934A40D74E","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":"Q5327365$DA47D2AD-3E48-4B96-9590-7434DC759BA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fcb70d1ed903e7d3742b47dde4d4ca1f5954e62","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327365$48FB4975-83A6-48A0-8E47-CE84D6C29CF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de561a0ce2a45fa25814eb79bced3504de13f05b","datavalue":{"value":"W69146909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327365$56475B34-FF3C-4B59-9131-FCCD31FD0239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13000fe080b5ffa6232433493a59f80f95fea7e","datavalue":{"value":{"entity-type":"item","numeric-id":2914756,"id":"Q2914756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644bedf984b2ebeccda1f4a9117a2b968d5a8907","datavalue":{"value":{"amount":"+0.8529141","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":"Q5327365$0F5E4ED8-9652-4F06-B7DD-36E02EE1381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e4ce476aa9aeb1276c61743b513386bf4ee46","datavalue":{"value":{"entity-type":"item","numeric-id":3340139,"id":"Q3340139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa8cda78d82d2cfe5d845911ba080b7f1fab4df","datavalue":{"value":{"amount":"+0.8459065","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":"Q5327365$506F1A05-CFC0-4F14-A3B1-F0AF6253DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5637af7a11e62c78655fd6a2ef8947a7a34e6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3559765,"id":"Q3559765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9e89c19a3e319450e52883c3340ac6f4b04311","datavalue":{"value":{"amount":"+0.8431554","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":"Q5327365$5D0703B7-8874-406E-93C6-1BC1495807A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cecb197cba373237d74ec245fe75d5b1a83f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee2b4c93d123414325ecea32700997f63d6123e","datavalue":{"value":{"amount":"+0.8430941","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":"Q5327365$B6ED5487-4AB2-4986-86B0-64392F4E93E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3abe1d48267ae1241d96b1421ae8e74b5143d34","datavalue":{"value":{"entity-type":"item","numeric-id":2922534,"id":"Q2922534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071a7eb1c844f487427d669206d5b55a7cde7dd0","datavalue":{"value":{"amount":"+0.842625","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":"Q5327365$E7891820-8E8C-4053-B36A-9B7A375E114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5eef8b48d283545bb773ea2f0d3ccc1e01255c","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdd419f5b5cfdb6449f1ac1d8636e2a6a45a687","datavalue":{"value":{"amount":"+0.84063584","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":"Q5327365$4EA3E7DE-C9E6-40D3-A4A9-3AB979318DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6a375a8f0e36967be028b232f318f2d251db5a","datavalue":{"value":{"entity-type":"item","numeric-id":5307639,"id":"Q5307639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14837e68533a7868c3bbd3ef4a5a170bc7cfe8fb","datavalue":{"value":{"amount":"+0.8388754","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":"Q5327365$E1BBB988-BBA1-4620-AEB6-6428E4690ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643807218c510f83f984f04d5f7a0258688f9720","datavalue":{"value":{"entity-type":"item","numeric-id":4434829,"id":"Q4434829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9adf310dd8d22950fb62761855a639a8e80c50","datavalue":{"value":{"amount":"+0.8374866","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":"Q5327365$0C23E02B-5CD0-49C7-A705-06053075E6CB","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":"8b162c7578061104d415637780839af5bd9b053c","datavalue":{"value":{"amount":"+0.83470404","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":"Q5327365$22D29982-3750-4118-B6DC-A3BD36C4D9D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Picard Algorithm for Ordinary Differential Equations in Coq","badges":[]}}}}}