{"entities":{"Q40247":{"pageid":40303,"ns":120,"title":"Item:Q40247","lastrevid":105427586,"modified":"2026-10-09T10:07:54Z","type":"item","id":"Q40247","labels":{"en":{"language":"en","value":"Lp spaces"}},"descriptions":{"en":{"language":"en","value":"AFP entry Lp"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a694fd4be148457b4aacba6ecc52c1f82df5c8cb","datavalue":{"value":"28533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$8AFB1BFB-5569-49E9-8E8A-9B278B3EBB90","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":"Q40247$EE7AAE69-943B-4D24-8BD1-50E51209705E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3aacf59921663765373a92f2e96bf58b9d2e464a","datavalue":{"value":"https://www.isa-afp.org/entries/Lp.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40247$F8842CE0-1565-450E-AF36-A7AD0E3F6935","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$A85B3691-3038-462B-A8B0-CA88EE0CC7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$052A6EB8-F805-4913-9D31-BFC70A7A405E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$68658619-8EC5-4540-AAB5-C5A3F8FA3E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$5DE55255-3235-42D8-8A07-E4C87FB8959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$150A2F24-52B4-4F6A-B055-3019C599AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca97ab6736a2cf36b4aa3171cbf7b0139773b03d","datavalue":{"value":"46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$9656252C-B184-414D-BF47-BF2ADF7FB3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c36f543604e3fdf981f5fb6ed78b53d6c52253c","datavalue":{"value":"47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$1DD8651E-916B-45FD-80FB-2669EBDE8AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$9BB2882F-17A5-4012-9FE5-F5530C31A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"237fdb40fba6ca47071c72c98b6815ef548d522f","datavalue":{"value":"34.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$E4E1B29A-66CC-41FA-97B9-88D2FE4E2F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87a555a1b2e01f4326be258f32691549082cf63e","datavalue":{"value":"37.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$5389ED22-31CC-4F68-B4E4-6D43B6C81DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$FA06123D-4804-4D23-97DB-FA66D6EBB080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$E7D3C4FA-E9CF-4266-96A2-623D7AFC8007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30d14e0e2ed80c5e4d72f8dd50af4ab7d928ca6","datavalue":{"value":"46.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$70751AF0-89A7-48CA-88FF-B5B3029901D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46e3bb207ceee21751176b075faa5bf95fa2f2f0","datavalue":{"value":"47.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40247$D52DD352-2146-424C-8AFE-EDC698966E7B","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$918642D5-4632-4D2F-9F00-0D3E3F3CB040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$3AE8AA1D-545F-4C2D-85F5-D06923F92C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"255d1eab6148b0a0149f5ba251f819f772375a4c","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$7D5BEC93-8299-434C-99AC-54CCB9D3E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$116341AF-DA2E-461D-A4C9-A3F0863F1EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$F63DAB63-1EBC-44EB-AEFC-2258A664BC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$34CFCBE8-C01F-49F7-940E-BB1CCA814261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$3EB466D7-1C08-4FDE-B09A-8881946109B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6bbc316d4497e097d8fb3e48fd57f7643b44826c","datavalue":{"value":{"entity-type":"item","numeric-id":40246,"id":"Q40246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$99EF4E34-535B-4F26-9B4A-56A1B99DEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a936602860246203ac9d0343c5125a4feac54c76","datavalue":{"value":{"entity-type":"item","numeric-id":41908,"id":"Q41908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$8377E37A-2ECE-453F-9DE2-5941F6ED5A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$2A4FADFF-23F6-4517-AF63-75F0230465FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$212913DF-B46A-43AE-823D-4CB056F698F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$E43357B0-1CEA-41A1-8B8A-BAB6D9760686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$6BE963B4-2CF4-47B7-AC9E-F85348503AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$F780C2AE-6C0A-4832-A113-0639D168FB8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3bcf318210ea24e71f9df95cb844b8aba226171","datavalue":{"value":"https://isa-afp.org/entries/Lp.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40247$40F0AB9A-A84F-495B-8D9A-E9BBE70562E7","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a19428889bd5fbc0b018a8bc7ad007e314b8668c","datavalue":{"value":"Sebastien Gouezel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40247$4B2B7E6A-35D1-423A-B462-A34BE43D785F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ba7bd77ea6d5172dfc9beba867e6f878004cf7d","datavalue":{"value":"Lp is the space of functions whose p-th power is integrable. It is one of the most fundamental Banach spaces that is used in analysis and probability. We develop a framework for function spaces, and then implement the Lp spaces in this framework using the existing integration theory in Isabelle/HOL. Our development contains most fundamental properties of Lp spaces, notably the H\u00f6lder and Minkowski inequalities, completeness of Lp, duality, stability under almost sure convergence, multiplication of functions in Lp and Lq, stability under conditional expectation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40247$CD21F243-23D9-4BDD-AF53-EE4900EF3C0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d711ae3d044dc81e19526b59ec998e6dbf6affb","datavalue":{"value":{"time":"+2016-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40247$38362162-1FF2-4082-AD8C-46CCEDE5B588","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3944b0865afed2cb89fc53132893e89ff280b032","datavalue":{"value":{"text":"Lp spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40247$B4D589B1-597D-4B9C-976F-E6123CE2F671","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":"Q40247$018AE2C7-6821-45C2-B32F-DA3937F353EC","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"8a0dcbd563a78e00dcfd88de0b00c2b2bcb54e22","datavalue":{"value":{"entity-type":"item","numeric-id":7361140,"id":"Q7361140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40247$E1510459-3DF2-4E90-B848-46657BF86064","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":"Q40247$F12A21C1-C340-4E52-9000-D717DDF9F1C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lp spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lp_spaces"}}}}}