{"entities":{"Q6859997":{"pageid":20656615,"ns":120,"title":"Item:Q6859997","lastrevid":84252254,"modified":"2026-05-14T05:36:55Z","type":"item","id":"Q6859997","labels":{"en":{"language":"en","value":"A Coq formalization of Taylor models and power series for solving ordinary differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158271"}},"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":"Q6859997$0FBC16D7-9349-4B34-AE6C-3C77DCFA4835","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ac81f40c3422cae9714ea2625c599b080430034","datavalue":{"value":{"text":"A Coq formalization of Taylor models and power series for solving ordinary differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859997$395BA330-C80A-48CB-843B-46CFA2FF43F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3453bd8c833a5326174a4ff4305e59df7bb25976","datavalue":{"value":"10.4230/LIPICS.ITP.2024.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859997$C3ED7099-6AD6-4438-B4F8-9FA795108C85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a630879ccaa4c21630472591755ba89df50ec18e","datavalue":{"value":{"entity-type":"item","numeric-id":260175,"id":"Q260175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$09319421-B1A6-4C4A-8DE0-8B1AF966BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdee734ffa77906c36b38f540e8794957a5d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":831999,"id":"Q831999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$D3D7C625-812E-4A28-B135-3EED0D3582F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859997$C3582B3F-38DF-4DDC-A16C-FFE94791D195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859997$490F01AE-F90E-485B-9F01-623FC12F7B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2bce039a3e94232803b5794c884a82f59bd26df","datavalue":{"value":"8158271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859997$EBC42C27-BB56-42FA-B6CD-5A7A70580D86","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$50375954-9F35-46A8-AC37-832088B93EEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d62d77f8378ea81ef5fbdb2b31734b1b116c9f","datavalue":{"value":"exact real computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859997$CDB8CA97-9AFD-4912-B309-86DC8C95FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9504e450bb1c27816535de9419fff678d64e622c","datavalue":{"value":"Taylor models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859997$810D8AA9-153E-430D-AAC6-9AAA0D89D776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5349d9307d3fe5e20a01d3d597b21a9df011bb55","datavalue":{"value":"analytic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859997$84D1D8FB-9B61-4AB7-B2FD-DB65913C10C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859997$46EDE7C1-4AD8-4E33-9E15-8ED240F23AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859997$C2EB98CA-B714-4BBC-AD91-AEB5411C35CD","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":"Q6859997$9A8DCF67-A052-43B6-A198-E45E0A93A4DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$F2C5EF6E-1B87-4367-88F8-10EE32AAD13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cd68876abdd58647e84af16093f8bce867abd5","datavalue":{"value":{"entity-type":"item","numeric-id":6487409,"id":"Q6487409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$E6E54880-E243-4031-8A7F-2FCEDF4A3E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f537735a50231a83b143267d22c5e34f22db6b0b","datavalue":{"value":{"entity-type":"item","numeric-id":2807869,"id":"Q2807869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$65F1A505-688E-4E18-A1A7-917BF35E664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4001aedae98ce2709377270713f0e40c8213c1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3179168,"id":"Q3179168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$FC85D349-BB13-4389-97FF-73155B069386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f90016f44a7ed9910031456eb77c026f6109e2","datavalue":{"value":{"entity-type":"item","numeric-id":4885375,"id":"Q4885375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$16F5F7A9-1CD3-4527-BF3D-67D2A461AC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$04E9FB56-A9C6-4CE6-BEF3-E21C91617448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"702e4362e1156e8786e389888f7888e6a1526239","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$2B3E02D1-3A46-4E75-B6F8-E792DF1291EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf6b9d2ce411d579f1b21dd66b3a564adb7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":1663218,"id":"Q1663218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$D240809C-A827-4B3C-BE3F-C4F8BD8EDD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2458f50d3afdcdfd8f7203e2c6188957a19408","datavalue":{"value":{"entity-type":"item","numeric-id":6055594,"id":"Q6055594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$E635B822-39D5-4406-ACB7-C7E45567831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e55698549203a710dc73f53d8efd7aa10bd9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1799286,"id":"Q1799286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$24CC85B9-275D-4282-A3C2-76E3292C5D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4846833055bd6cc0b39b0f908c138bb4cef2949d","datavalue":{"value":{"entity-type":"item","numeric-id":2148797,"id":"Q2148797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$3DCB6D63-C0BB-457E-8AC1-25214ED06007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8607141e2cf878ce7eee8863e311a70109ed36ac","datavalue":{"value":{"entity-type":"item","numeric-id":6647692,"id":"Q6647692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$453E5E53-9577-4B08-B48E-40468C781CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b2f2fbea9f7236ea9053670195c88d9235f84d","datavalue":{"value":{"entity-type":"item","numeric-id":1722649,"id":"Q1722649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$2EA9B7AB-F2CB-4BB2-ABFC-239F986994B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3790971f84a7b972ee9e0231ff1aa7d72170d32c","datavalue":{"value":{"entity-type":"item","numeric-id":5327365,"id":"Q5327365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$594322D9-E322-47D7-83A9-6D6682EA270F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2305cd8258abfb26c7c6824ff1efbf28ed3e054","datavalue":{"value":{"entity-type":"item","numeric-id":1300080,"id":"Q1300080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$2B892F71-8A4A-4E87-9305-B0DB17E2DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afdecad2b2d16afdd7f9412e6fc8c70afd87b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$8505E4B9-0473-4445-BC25-965AF46DFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$64316279-9D84-4E62-8A7C-121A80F687B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ca643b60ebdb93e4f644b5a215affb30f564fa","datavalue":{"value":{"entity-type":"item","numeric-id":6563064,"id":"Q6563064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$6C878906-6048-43EC-968A-18B77A3A47F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ac59d2df7398ed1c30baf801b70ab5bc623051","datavalue":{"value":{"entity-type":"item","numeric-id":1635809,"id":"Q1635809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$B5826B74-9150-4E75-B65A-1B5B3D1A6ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c636d5dfb275b547b3cbb56eea6abc15122d056","datavalue":{"value":{"entity-type":"item","numeric-id":832000,"id":"Q832000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$1972DE5A-F57A-4BE7-870D-BEB0CAC93E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859997$633445C1-112E-4D4F-8964-5988241E1719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coq formalization of Taylor models and power series for solving ordinary differential equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Coq_formalization_of_Taylor_models_and_power_series_for_solving_ordinary_differential_equations"}}}}}