{"entities":{"Q3497625":{"pageid":5527528,"ns":120,"title":"Item:Q3497625","lastrevid":90210623,"modified":"2026-06-04T19:34:33Z","type":"item","id":"Q3497625","labels":{"en":{"language":"en","value":"A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587010"}},"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":"Q3497625$9EFD2623-E458-4837-82E3-964787D16E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a78f7a0fdb587f41307b4691310e94e103bdefe8","datavalue":{"value":"1175.68411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$1A546CA5-5791-48B7-8F07-E171BF3BE925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497625$33B30197-A4CE-4774-AE35-F853319309C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497625$9910F628-1F09-4B88-B696-8DEFDB5BEF2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-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":"Q3497625$3C33A588-36CD-4866-A704-2F9183B23F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f6702040fcb1454c08fc9c54a5cacfd7378fe11","datavalue":{"value":"http://jfr.cib.unibo.it/article/view/1334","type":"string"},"datatype":"url"},"type":"statement","id":"Q3497625$DC592645-56A0-4247-90FA-3D7353087EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$48A09903-9904-49D3-8820-457EEBB29A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$D3CFEFBB-71EA-4758-BD8C-38516F4F2E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$FC5C604F-1EBC-4053-B517-D4E727B9D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cb2299904ca3a59efbe228541bf1844c487872c","datavalue":{"value":"28A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$C640489E-88BF-4098-A6D8-DCADF144FFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"813d7c1679fe7fe3572c7caeaf98d0378ed2f1b2","datavalue":{"value":"5587010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3497625$B178116D-D23A-4233-B742-7E2066056CB1","rank":"normal"}],"P1463":[{"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":"Q3497625$DA7B0097-B2D1-4917-8D98-D83A02A6A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3497625$251ECD65-74FE-475D-8F35-831E4CE961E3","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":"Q3497625$2524EA7E-F29B-4E2C-ABCE-A50070729F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5aef600872d3ba7ba7771067a9a182203d7c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":651319,"id":"Q651319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2a7658da3403982c6cd83a058771b1bcc1c052","datavalue":{"value":{"amount":"+0.8311542272567749","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":"Q3497625$EF55F1B1-ACC7-467D-B40E-5561AEEC2D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e0219e9ead33cd26a63f0db377d879e730ce13","datavalue":{"value":{"entity-type":"item","numeric-id":4304143,"id":"Q4304143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fc342c32a891931ffab7936126ae86cc7f147b","datavalue":{"value":{"amount":"+0.7285448312759399","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":"Q3497625$F4FA62B7-8B90-4143-B90F-34ED0F9AFBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f481d1562ef12fd442b7504ddc0be150ba4d26a6","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c98589f30e55eaab6d655e9fed03946acdd9d2","datavalue":{"value":{"amount":"+0.7226105332374573","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":"Q3497625$34B7D1A4-3D0D-4612-AFE6-547679A3349E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecad12cfa6ca89681a8249526369bfa15fd9231b","datavalue":{"value":{"entity-type":"item","numeric-id":3053233,"id":"Q3053233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81eb4e8a77e222ebf04908269c63f208f53845d6","datavalue":{"value":{"amount":"+0.7212116122245789","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":"Q3497625$7B0DED9D-6578-49DF-AACE-34FCE2F4D0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d049bcdf1140147f9305ae425eac6d8662cb503","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc80176da909e4dbd0ffb86a31eddc4ca02b4ef","datavalue":{"value":{"amount":"+0.7203100323677063","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":"Q3497625$A1F47E05-8F3F-444A-96A3-3E7E14BC6BB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive and formal proof of Lebesgue's dominated convergence theorem in the interactive theorem prover Matita","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_and_formal_proof_of_Lebesgue%27s_dominated_convergence_theorem_in_the_interactive_theorem_prover_Matita"}}}}}