{"entities":{"Q7361296":{"pageid":31519427,"ns":120,"title":"Item:Q7361296","lastrevid":105423515,"modified":"2026-10-08T13:45:25Z","type":"item","id":"Q7361296","labels":{"en":{"language":"en","value":"Lp spaces"}},"descriptions":{"en":{"language":"en","value":"AFP entry Lp"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3bcf318210ea24e71f9df95cb844b8aba226171","datavalue":{"value":"https://isa-afp.org/entries/Lp.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361296$38101BC4-414C-4C82-8307-48BCADB8FB97","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a19428889bd5fbc0b018a8bc7ad007e314b8668c","datavalue":{"value":"Sebastien Gouezel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361296$A491BF03-5F10-4056-A77C-8B0B3F4B118B","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":"Q7361296$811FDFCE-B0DA-43BF-ADB6-09DFD1FC4024","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":"Q7361296$C585586E-1B0F-4B17-A6B6-004B7918EB22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3944b0865afed2cb89fc53132893e89ff280b032","datavalue":{"value":{"text":"Lp spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361296$5E4C82F4-EFC8-4F15-81B5-479B10F8D3EC","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":"Q7361296$AA85DA7D-5BDD-4A64-8C20-3A2525680F98","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":"Q7361296$4FE3B280-E036-4E0D-A2B9-EF458820654D","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":"Q7361296$E81D15CA-40E0-460F-AD9C-8D4316E300FA","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":"Q7361296$BEC1003B-A8D6-48F2-90FF-24F5CD3C6750","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a694fd4be148457b4aacba6ecc52c1f82df5c8cb","datavalue":{"value":"28533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$C54E79FE-446F-495C-B4A8-32B20A77B98B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$5A4C7A48-312F-4FC2-BF7C-1D9DD8DDAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"237fdb40fba6ca47071c72c98b6815ef548d522f","datavalue":{"value":"34.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$506398DB-CCEF-429D-B403-4314C871EC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87a555a1b2e01f4326be258f32691549082cf63e","datavalue":{"value":"37.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$9DCF9788-8AFD-4C6C-8CE0-DEB5358FB74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$B6CCA138-9EA5-452C-B9B4-2BEFD770A64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$6149155B-ADF6-4BAB-AE49-6DB346C737FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30d14e0e2ed80c5e4d72f8dd50af4ab7d928ca6","datavalue":{"value":"46.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$DD8D7C50-E3EC-40B3-B90A-415BD42E338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46e3bb207ceee21751176b075faa5bf95fa2f2f0","datavalue":{"value":"47.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361296$B0D75402-BFB0-4B94-A4F0-D5C6AC924F59","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":"Q7361296$8561D46A-BAB6-4C7D-BC7B-311743B563A2","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":"Q7361296$DC876CCF-F2B8-4C27-93F1-199A9142C2CA","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":"Q7361296$E006BF2C-5921-4819-BDD8-7AB7FC236179","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":"Q7361296$1EE45D4C-CEF5-4487-BE61-DC00E9FEC430","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":"Q7361296$C03478E5-61B9-488C-9861-9C9D2DB27F9F","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":"Q7361296$92513728-8D00-475F-8273-B0D421C7D24F","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":"Q7361296$B215818A-848F-46EB-B368-DE544BD2A77F","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":"Q7361296$907EF250-1B29-4D3E-90F7-5B0C1EB41658","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":"Q7361296$8D75F227-245B-46F2-8976-95A4F1399AD1","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":"Q7361296$E37405B6-F576-460A-9162-2F2C8A0CAEDA","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":"Q7361296$67E0E4A7-0C7E-4243-A015-4F53FA6886B4","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":"Q7361296$E1625E8D-895C-4F12-AA31-49281C8BA807","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":"Q7361296$E983048C-D0F9-4E95-8D23-702E7190EEC9","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":"Q7361296$7103974C-55E6-4AC5-87CF-F57711FA1F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lp spaces (AFP entry Lp)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lp_spaces_(AFP_entry_Lp)"}}}}}