{"entities":{"Q2829263":{"pageid":2840001,"ns":120,"title":"Item:Q2829263","lastrevid":52660100,"modified":"2026-01-23T05:18:37Z","type":"item","id":"Q2829263","labels":{"en":{"language":"en","value":"Formally verified approximations of definite integrals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644749"}},"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":"Q2829263$6C47D059-06F8-4B05-A216-41E2A78236C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2f80543c735474f980d1888ad304ecb11c2f3b","datavalue":{"value":{"text":"Formally Verified Approximations of Definite Integrals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829263$59057DBD-8D3F-451F-95FB-E9F6A20286A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01a3281bd7109d0f07770e74cb558b5053cbe3ad","datavalue":{"value":"1468.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$7F7DD442-B8B3-4502-9271-C08B28745E77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f2b5a8a846101fb9599f60f2b0e142c3e7faf75","datavalue":{"value":"10.1007/978-3-319-43144-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$CA2DDB85-E4B3-4E60-9EC7-BD7806EF1A94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$D2B46B06-EA98-4EAE-8F4C-565161FBE14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$C24D1E88-16E0-4632-BB61-A982274222E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a3f61f60e4b9df971067cff6f1fe1fc15491451","datavalue":{"value":{"entity-type":"item","numeric-id":1722648,"id":"Q1722648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$B3993FB9-48A2-469C-9F20-65A4D7EED613","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":"Q2829263$265A0681-9831-4490-B953-97A507541339","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829263$07F8D3F9-E0BC-4FA4-88BB-4B6383C9FBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b635bb51283cc07388d7ff3108905b887919497c","datavalue":{"value":"https://hal.inria.fr/hal-01289616v2/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829263$0D5A5602-5204-4F2F-BF46-FAEC6011BBB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$1ABBAABB-D15E-4138-9843-E31C68BF7962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f167f1f4c1d109b89cd09b0dd6067acc1909209b","datavalue":{"value":"65D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$33EEF002-81B9-4E07-9AEC-0A91A53E8181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$E178D219-27D7-48F4-B034-A8438168A959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57f0df5307af99343b59279788211c2358efa59a","datavalue":{"value":"6644749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$D7D8E774-716B-43A1-A604-D81B22908F84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$E4476683-A24E-4555-BFBD-A506D2475C9A","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":"Q2829263$85F28E52-667D-43F9-9A97-5DFCE0C8CEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9cab9ee7162d498806e35be2dc0e30a8e303d1d4","datavalue":{"value":{"entity-type":"item","numeric-id":13401,"id":"Q13401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$E62189EF-61C2-4D47-B1A3-072FFA35C756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$9F56B086-0388-4D03-AF77-E79F076E2026","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":"Q2829263$4F037941-39C9-4B04-B320-02F01E66F31D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a59a2ab8cb43ae49328f223d5f41568cb3f9dd1","datavalue":{"value":"W2304289376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829263$729F47BD-F29F-425A-B321-1EC495AE020E","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":"Q2829263$E6918087-6D7A-4922-9E46-E5E5B48FC95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cecac3acbc6463643113af7f8384d38770c1f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":1573718,"id":"Q1573718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$0234467A-7360-4BA0-8C3C-486ABE26434D","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":"Q2829263$6421F3C9-BDB8-4E4F-B677-77E4BFA19A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b7a70ea5f31d74db404ef462a249616c66add","datavalue":{"value":{"entity-type":"item","numeric-id":2352500,"id":"Q2352500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$1A22B593-FC65-4974-B638-B7BC987AD004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$DC60A8AB-A099-41ED-8E26-10D261FE317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b8958c11cf12e9828f35bf950395907ec01462","datavalue":{"value":{"entity-type":"item","numeric-id":987984,"id":"Q987984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$CD2CD042-C224-4E79-A85E-3C55242766B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758d3724017c484fb2035201d7ba18e8ef7868f8","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$0D11D0CB-4AD3-4313-A0F8-F497443C1145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1bacf8b37a40c1d503ea12a6d2a40a949a7de2","datavalue":{"value":{"entity-type":"item","numeric-id":5198996,"id":"Q5198996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829263$D501D8F6-E931-42B4-9175-3D02D034B880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89604205aa49f11510d78697e0790e9a903fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":1722649,"id":"Q1722649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fa4d5cf5b27c2f81eff5228659d3a15b6e1430","datavalue":{"value":{"amount":"+0.993784248828888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829263$CBE66EA2-1111-434F-B13E-63929875D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624fee9a0120a7889b116957d6096520056152a3","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a79e213d2d6c17ad1475556c293291d287a57e","datavalue":{"value":{"amount":"+0.7586197853088379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829263$6AACD700-6C9B-4136-9781-B47F0C5FD299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429975022c7cddd9b0ac0aae5bb357d959d08b86","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa503fdf410d0b0bf57562e9f6afd79a13f19e3","datavalue":{"value":{"amount":"+0.7475157380104065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829263$8B84FB10-BC57-4BC1-9828-6C5F50C1458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723ec17c801fe672c680edbc6e67d41b24bf7876","datavalue":{"value":{"entity-type":"item","numeric-id":4484344,"id":"Q4484344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d817da32b006bc350e41e16a7585fb4a350f3c0","datavalue":{"value":{"amount":"+0.7254937291145325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829263$B7C82246-BFD4-402A-BABD-1440A1854FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e345017c37a7cfebd3d108339e1615df818be929","datavalue":{"value":{"entity-type":"item","numeric-id":1840765,"id":"Q1840765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d0c87eb4990b866a25f838cdc1e9ca720f29a4","datavalue":{"value":{"amount":"+0.7221400141716003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829263$8399C57E-C316-485B-9D30-E015B05014A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829263"}}}}}