{"entities":{"Q6159362":{"pageid":13294194,"ns":120,"title":"Item:Q6159362","lastrevid":58724622,"modified":"2026-04-06T11:47:17Z","type":"item","id":"Q6159362","labels":{"en":{"language":"en","value":"A formalization of the change of variables formula for integrals in mathlib"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691287"}},"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":"Q6159362$2628AF3F-6F67-4899-83B0-A750CFD5A400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6debe1647898b1d0c778e99f71065b881f972fa","datavalue":{"value":{"text":"A formalization of the change of variables formula for integrals in mathlib","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159362$7721A7D7-1809-4B77-8E79-0AD3E3CA1204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f880523a95d55f8ba2abad31c6ef2024e0de72d","datavalue":{"value":"10.1007/978-3-031-16681-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159362$F2A0A8D0-9625-414E-8310-6067E4F49552","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52b79cadfaaa1c24090003c418bbb30ca7fcd41c","datavalue":{"value":{"entity-type":"item","numeric-id":228429,"id":"Q228429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$C8A29566-891B-46AA-B9FC-E7270A38CA71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$EF0FB75C-C6BC-4C66-875D-99681879CD2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159362$806978C0-C34D-4992-A1BE-A98A09A94C5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dd6d13786ac9aa93dedf99ff1a72b217082c790","datavalue":{"value":"https://arxiv.org/abs/2207.12742","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159362$822EC6A0-A297-4AF3-B8FF-070D05B63275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159362$E03B2CE4-A907-4AE1-BF0E-8E2D7A170A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8abd3f0a13c9b76a03324fc2145390f7a3a6de","datavalue":{"value":"7691287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159362$95C57A39-B931-47CA-81FF-2F74ACD7E79A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e03db3dd117ad09db841e5b8e365112292574bc7","datavalue":{"value":"change of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159362$4D33B33D-212A-4446-9041-6C49E957CFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62eaf97a41d0b79df5c59f3c77756f50cfa1af6f","datavalue":{"value":"integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159362$DD5DBD21-F994-41E0-BA74-E482E9552161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159362$B890D17A-4A99-4337-A65B-869901BF5017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece59c48c6b56403e847bffda58343af27541073","datavalue":{"value":"mathlib","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159362$3EC8F5B7-9AF4-4FE3-9458-B1EEAFEA484C","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":"Q6159362$F78CB897-8C4A-435D-92EF-2710C300359B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77f2bf5ce6354291586e54e1b6761c39d2fbfd50","datavalue":{"value":"W4296050236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159362$3461FBFC-C271-4ACE-83F9-D17D5BF97A59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79ba666ab138bde3df78f585204cf8393b2232d","datavalue":{"value":{"entity-type":"item","numeric-id":6099605,"id":"Q6099605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$F40BA000-9565-4839-A0F2-C8514876DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3ee1b817254aea8a57588473a7ae62193e3ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2219408,"id":"Q2219408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$E22AA812-123A-47E9-9512-D26E27261965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2767d6dbc6b179594064d21890fd29f051e220cd","datavalue":{"value":{"entity-type":"item","numeric-id":5565773,"id":"Q5565773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$75AC0F37-2A54-47E0-9077-7C3287C010F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb397d50ba999393948addf6e2bc407a2360c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4303808,"id":"Q4303808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$DCD7B8CC-8A9A-4D66-AD8D-49B113C97897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$0E4B6CBD-1210-465C-9F67-548E452CD9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$F25B0F12-0106-469B-B052-57456AB6DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159362$217EFEF4-13E0-4EBE-8A3E-EFF3C02DC522","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82a9d76069cb93d7c41e03a0d586ce1624d83a1","datavalue":{"value":{"entity-type":"item","numeric-id":2188804,"id":"Q2188804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fadb8afe6d5a012779ab79ac8bf8a36bd25cf3","datavalue":{"value":{"amount":"+0.88280094","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":"Q6159362$1A7A2B24-5566-4E82-A3EE-72F8B8BDA4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b298c2033da0ff1ff602edb3f2359d49fed16836","datavalue":{"value":{"entity-type":"item","numeric-id":4222455,"id":"Q4222455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75eafe0f9c0266f24175fac2b7809a076b63985","datavalue":{"value":{"amount":"+0.87843716","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":"Q6159362$70D3DEF5-70C2-42C9-A383-01C6A514738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f259a8de2ffd8994e0f290da9ee38b13aa44f42","datavalue":{"value":{"entity-type":"item","numeric-id":1978977,"id":"Q1978977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f7c53911e3b8834752ff06035bb4fb12623aad","datavalue":{"value":{"amount":"+0.87684244","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":"Q6159362$9E873951-BD06-409F-9DB7-1551BD83D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448a379ce3bc532b215accd7633a2251da29e989","datavalue":{"value":{"entity-type":"item","numeric-id":4640604,"id":"Q4640604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611eb54eec838a370b0e7948ac4c68f327b1163e","datavalue":{"value":{"amount":"+0.8722929","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":"Q6159362$71DE07E3-7F74-49F1-8CDA-9AAED5C67569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5010ddc582f33f757da7a2ce79a5377cf97c9021","datavalue":{"value":{"entity-type":"item","numeric-id":1604248,"id":"Q1604248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9caecd91caf645e6b0e0978a431b2795d515d939","datavalue":{"value":{"amount":"+0.8710384","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":"Q6159362$CFA68713-7565-45A7-932E-FBC18275F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790c7323e44a99cb655e3c87925ba523139c44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4326074,"id":"Q4326074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480d4c56103482f2218beef14601320e183c8c48","datavalue":{"value":{"amount":"+0.85879415","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":"Q6159362$CE119594-1E4F-42E1-A9BE-7D73B9974EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c14d6f9313b3cbca8c2d22130a64acb13583420","datavalue":{"value":{"entity-type":"item","numeric-id":1407445,"id":"Q1407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d893395cffc2704f628ad2554e941cc6159b97","datavalue":{"value":{"amount":"+0.85718435","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":"Q6159362$992D2633-5C6A-4087-A630-115DDB09AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf1a1d6ade0f482983004ae7b32c19d081d5eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4447154,"id":"Q4447154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0679ddc5180db95b532c6d32769f54fa9de36cb4","datavalue":{"value":{"amount":"+0.8450812","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":"Q6159362$E180B5C1-CC38-48C8-B4DC-52513C714AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a0ca1ceb512f33ddf89de219d3bc04b6d8d087","datavalue":{"value":{"entity-type":"item","numeric-id":4226381,"id":"Q4226381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfa3163dae21cb5f278dd20b6ee7c1dbbb6fc61","datavalue":{"value":{"amount":"+0.84278196","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":"Q6159362$4A821E1B-3C32-4BEA-8D1A-BDE2150B8C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baaf5f2c7518fd5d7ece3a975647130f64c51ae4","datavalue":{"value":{"entity-type":"item","numeric-id":2757380,"id":"Q2757380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f970ecb7bceafedebbaae9d70ca7f8976020d99","datavalue":{"value":{"amount":"+0.8405103","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":"Q6159362$9316D51B-A8D4-4866-8D3C-1E0A918A91A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159362"}}}}}