{"entities":{"Q1722649":{"pageid":1733390,"ns":120,"title":"Item:Q1722649","lastrevid":68903121,"modified":"2026-04-13T03:00:19Z","type":"item","id":"Q1722649","labels":{"en":{"language":"en","value":"Formally verified approximations of definite integrals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024460"}},"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":"Q1722649$DC23762B-41BE-4114-AE96-C6F93933302F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a11189768b4d635326c6001f6e5e4c0d7783c83","datavalue":{"value":{"text":"Formally verified approximations of definite integrals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1722649$A2F38CC9-8EC9-4280-8EEB-1BDC777E084C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0677493de853f6b742521bee1438042ef36e116","datavalue":{"value":"1468.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$60846005-72F6-475E-9D84-917FAA86797C","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":"Q1722649$922A126B-C82B-4DCE-9F8B-FB8408E12880","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":"Q1722649$7D1E9660-74B0-4435-BDDC-89664B4ABA5B","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":"Q1722649$82129CDD-8AEC-4160-A56C-DAE909D7A0C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722649$8157FD09-FFC5-4F09-ABFE-55B9D0E09E5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1722649$FB1934AE-685F-49E7-BC43-4C4E44129750","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43d3830d467fa0dc44688b183f2c77374f284b81","datavalue":{"value":"https://hal.inria.fr/hal-01630143v2/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1722649$FF98D000-1B03-4C1F-9904-1F9CDAA300EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$ED1C1B9E-E873-4728-A3E1-7AB52AEB5D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f167f1f4c1d109b89cd09b0dd6067acc1909209b","datavalue":{"value":"65D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$383E8884-6688-4D7E-96C3-5842C7F2CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$979220D9-547F-495B-85BC-0EDD69717BF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de024c934a8d15537a22a14ab89fe7e872e621c0","datavalue":{"value":"7024460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$E1871468-8A87-491F-BB31-814ABFBAF87E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$65664B52-15E5-4B61-B34B-86FB27C6F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dfb02182b43e116b18a63fb1578709eaeb445b6","datavalue":{"value":"numeric computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$50E1390B-A660-4780-BFB5-269D4A2A47AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cd7e33a8cc8465db53cdacc275d9b24f8c2b732","datavalue":{"value":"definite integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$219DFF81-12E5-4CCD-96D8-D7CA11FC7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3f5ebd0c2cee6dc7616917dd5b073bcb5cd609","datavalue":{"value":"improper integrals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$FBB0A8AA-6192-412C-932B-B5F26C22E44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$5B589E21-7D98-46AA-ACA4-B346D5B0B73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$96B978E8-76FD-4839-8AD8-7216FD3CC975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11d1e93b9be637fbd8fe2e1e6bbdd22248024ac","datavalue":{"value":"polynomial approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$FDEF2987-AE6E-4C77-B55B-7459FE13D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a041a1f8498a8dac601fb3fd69ee2212d11a0fe7","datavalue":{"value":"real analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722649$0799C257-3B81-46DD-9D7D-BC470E97F9B7","rank":"normal"}],"P1463":[{"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":"Q1722649$6FED40AD-8A76-45C7-97BB-6151CDACCDA8","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":"Q1722649$8DD55635-626C-4274-8D80-25A0A8866581","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":"Q1722649$7F7B6B5F-DEA6-4117-B3D6-E5583B9544C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc43154bb5e866dca69e25ed72cb57e17caf4206","datavalue":{"value":{"entity-type":"item","numeric-id":40141,"id":"Q40141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722649$658A53E0-F1ED-4CF7-9204-E326985B724F","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":"Q1722649$842F9C4B-10C8-4B4B-B539-05FA6DA96D46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb94536d583b2415aa3cc0ac9167777035067434","datavalue":{"value":"W2791728102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$283FCB9A-26B4-4B15-B28A-8D62E6047650","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":"Q1722649$48DD063D-1FDB-43AB-9BEB-49FA3E3CB6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0c236152df210e5598a7761c93126dcd2b53f24","datavalue":{"value":{"entity-type":"item","numeric-id":3763469,"id":"Q3763469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722649$39DAFCA4-8D9D-4C48-9469-B178DFBE150D","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":"Q1722649$31F563B8-221C-4591-A7EE-E8D44269E450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1d684e72918d759af94f9691181e9cc8293df7","datavalue":{"value":{"entity-type":"item","numeric-id":2829263,"id":"Q2829263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722649$28DB1AC1-7BAE-48A8-94CF-82C445E165E9","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":"Q1722649$FE89EE4C-7249-480A-A27C-6E89111A2330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5e921e331154ac4053c6ddf9609e27a78717d8","datavalue":{"value":{"entity-type":"item","numeric-id":331615,"id":"Q331615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722649$6562FE23-EFF7-4AD6-B41D-EFB9BD152CFD","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":"Q1722649$C3B0C92F-DA3B-4217-9AEF-63E6285689C8","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":"Q1722649$F9D28E55-60A0-4462-BD71-C3B55648F9A9","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":"Q1722649$E311C3EF-4F6B-4D22-9F9D-2DFA7C372177","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":"Q1722649$48D10C7A-ED94-46B2-BE55-0B80AB4C2D5A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe95ad3d94937474297951ec2ca989e517962a66","datavalue":{"value":"Q130093741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$BA686D23-71F6-4878-9432-B49E5C30D7DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"431c3331b84dd6b5b0c7e7bc10765097334be395","datavalue":{"value":"10.1007/S10817-018-9463-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722649$B7C4E456-75B5-4A61-8407-0E714A531FC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9de433217ee33ae21fcd6853113b06792a0b1c3","datavalue":{"value":{"entity-type":"item","numeric-id":2829263,"id":"Q2829263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$192ACE4B-9F18-4CAA-B984-16C1564C3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d504c15ab28324fc3f906bcca0f81ca8bcb229","datavalue":{"value":{"entity-type":"item","numeric-id":2055881,"id":"Q2055881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708ce64d3578fa6cd998855cfeea4b19e6b9f75b","datavalue":{"value":{"amount":"+0.9095415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$A14B7B64-71BB-49DF-B0FC-61FDC3916792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f177c41f7f033014072b99891f6f7090abc5e2ff","datavalue":{"value":{"entity-type":"item","numeric-id":861893,"id":"Q861893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1484659b96e324c0cc28b04e3490482da71374","datavalue":{"value":{"amount":"+0.88812804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$38A87DE4-2259-404A-8728-8D870867DFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27897c32a25b2fe44a53f6f8180903622dafa491","datavalue":{"value":{"entity-type":"item","numeric-id":1611461,"id":"Q1611461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75957592d5fcaed4a946829f33b8b40019076aa8","datavalue":{"value":{"amount":"+0.8823517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$F1C6ACD7-4E7F-4A42-8957-0019A1A6C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e5319ee06ccd8d09e8e734399035cb887e2525","datavalue":{"value":{"entity-type":"item","numeric-id":6060794,"id":"Q6060794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9721b886928c86ca9e0d53fa56184c6c7d1dac","datavalue":{"value":{"amount":"+0.87918967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$5049AFBF-5840-4198-87FA-0B32ECE795A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea1490aec12e4a5628e7feef1fcb3a1466a22e","datavalue":{"value":{"entity-type":"item","numeric-id":3139694,"id":"Q3139694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740e372c15e91f8d9ce71b7c97524ada1989fedc","datavalue":{"value":{"amount":"+0.8724562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$2468DEEF-8A03-4BC0-85F9-6EBAB3A8DA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aa4a0f1f914e0e038af037f4a51a7545125ae3","datavalue":{"value":{"entity-type":"item","numeric-id":1311499,"id":"Q1311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d216ada9b1adf2045305256cb6226df2bfaad82b","datavalue":{"value":{"amount":"+0.8654921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$16EF6BBE-319A-486D-9B2B-9DA59228F5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e009697c96d9f8678cef3dd93b6607025375d37f","datavalue":{"value":{"entity-type":"item","numeric-id":3841900,"id":"Q3841900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d0fd7399d4f2422f8a8ba3ae0116939202b644","datavalue":{"value":{"amount":"+0.8647963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$A8ECD561-BADA-4324-BB1A-F1DA7BDC95DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28357ba0b4bc755e47d782c664a51ff14c450144","datavalue":{"value":{"entity-type":"item","numeric-id":4037558,"id":"Q4037558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4c405254155167d09e6b603256a8f58a9d9b9b","datavalue":{"value":{"amount":"+0.8620218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722649$85FE3F3E-A526-461B-9C56-EFCEBA7D38C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally verified approximations of definite integrals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_verified_approximations_of_definite_integrals"}}}}}