{"entities":{"Q7361417":{"pageid":31519790,"ns":120,"title":"Item:Q7361417","lastrevid":105365783,"modified":"2026-10-07T13:36:17Z","type":"item","id":"Q7361417","labels":{"en":{"language":"en","value":"Integration theory and random variables"}},"descriptions":{"en":{"language":"en","value":"AFP entry Integration"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9e954fd5e0f7fb3a85d31947c75289ad617e006","datavalue":{"value":"https://isa-afp.org/entries/Integration.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361417$806925AA-6FA7-4B9E-9A40-7D415FD68BBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08fcc03dddc7bbed085b30b8172650520efc10f9","datavalue":{"value":{"time":"+2004-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361417$254491AF-8DC1-4EBA-AA1F-BF4D86C231B3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"0b96b15b1a7c552267b68a01d7e2a636b7f9c3b2","datavalue":{"value":"Stefan Richter","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361417$80E76453-4B4B-404A-9AE5-6396868DACB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4d7a687f753d5bd3a00b0504bc9a47623735f51","datavalue":{"value":{"text":"Integration theory and random variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361417$DCA3E18A-68AB-4B1D-BFD5-631C591B324F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e4a2e950c129010869c253a143bf1aa5a85d856f","datavalue":{"value":"Lebesgue-style integration plays a major role in advanced probability. We formalize concepts of elementary measure theory, real-valued random variables as Borel-measurable functions, and a stepwise inductive definition of the integral itself. All proofs are carried out in human readable style using the Isar language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361417$0E83C232-3390-4772-A08C-ECF3CD965318","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcb1cd886827292b527096cb8164b6dd2267d75","datavalue":{"value":{"entity-type":"item","numeric-id":3998774,"id":"Q3998774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$6D550085-B0E5-4D34-9031-68466FDFB16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316651779c62cd2c64d803fb7190454c88ee5d9b","datavalue":{"value":{"entity-type":"item","numeric-id":3794956,"id":"Q3794956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$75B586D2-36B7-4E4D-9D57-75CE16A4FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$8E010B51-EA23-4C7C-ADF3-9B00586FA365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78c620442ae5400f55cd84c2af2bdc273ee9d67","datavalue":{"value":{"entity-type":"item","numeric-id":4504968,"id":"Q4504968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$BE2F01DC-7DC6-4333-A5AF-E12E029B4AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$C0063B9D-1BAC-4863-910A-4A3CF49336C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$27F03DB0-9A11-48BF-9E55-420FE9988A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$96FA49B8-CB75-40B3-BA87-742FD8FFB2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763d845caa57489776d3b781ab08fe29f3b63057","datavalue":{"value":{"entity-type":"item","numeric-id":4274278,"id":"Q4274278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$B33427FE-2802-4CEC-AE53-636472D2E2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$17D24EF8-0F77-45A8-90EF-4A378513DC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$C1E8D91C-005E-4045-9914-D52E54980704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f154ed6511405fd4f83853438e2966ca3d49b409","datavalue":{"value":{"entity-type":"item","numeric-id":4490681,"id":"Q4490681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$8A98CDFD-117C-4D72-B8FA-63D81F3F89CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c2550f2044f38e927ec98fa3c402888fe8ba32","datavalue":{"value":{"entity-type":"item","numeric-id":3997813,"id":"Q3997813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$5C420AB9-6C95-4DFD-86C5-48269FC22EA4","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$AA15D5A0-7009-4D24-88E5-66BF024470FB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$4211633A-2A5F-4A51-B479-DD259A47BAA2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361417$46018577-C033-48DF-9B9D-5A0AFF7FDDDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integration theory and random variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integration_theory_and_random_variables"}}}}}