{"entities":{"Q6859985":{"pageid":20656543,"ns":120,"title":"Item:Q6859985","lastrevid":84252275,"modified":"2026-05-14T05:37:12Z","type":"item","id":"Q6859985","labels":{"en":{"language":"en","value":"Integrals within integrals: a formalization of the Gagliardo-Nirenberg-Sobolev inequality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158278"}},"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":"Q6859985$39E75979-7E1E-444A-ABCC-BC1F93009C5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9997d52cd6f2b8ce396cade5b8cb874d734a61c0","datavalue":{"value":{"text":"Integrals within integrals: a formalization of the Gagliardo-Nirenberg-Sobolev inequality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859985$46E916BC-7D70-4969-A468-32900C66FA6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89abddc5c911c342b66893f9deca81bd5ede24f9","datavalue":{"value":"10.4230/LIPICS.ITP.2024.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859985$BF6A180B-4F27-499E-A602-0BD1D088FF6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc9f7061148c184d156fce1cd302b98949f36de","datavalue":{"value":{"entity-type":"item","numeric-id":1687767,"id":"Q1687767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$CFC919DE-90E4-497E-BBB6-D41CACE9BD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14dacc63b6dc54408a9c18a47b52131676d9276","datavalue":{"value":{"entity-type":"item","numeric-id":658023,"id":"Q658023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$90FE592D-7BC6-42D2-9D1D-38E1840393D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859985$12AE3F24-A3F0-4BE1-85B8-BE24345C3BE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859985$8D168C18-24C2-492D-95FE-22BE12D1B64A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c671626997ffa0a6d62a30ac4ae1683877c2a44e","datavalue":{"value":"8158278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859985$21310AC5-AA72-4DAA-B097-DBC9D2AFC247","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$8D501561-A7C8-4CCD-8A87-AB652459EEAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e94b5bff78a361ce131a9f7e5027a3f51ecac5","datavalue":{"value":"Sobolev inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859985$CB1B5673-3ED9-469C-BE2A-98E65507889F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859985$12CDDC56-7394-418B-A56C-51EB6EE9386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859985$E5E3C2CC-CF9C-4EB3-8EB9-83AAE352688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859985$7F106DAC-59F3-49A9-9DB3-FD4C39262FB1","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":"Q6859985$8D85A4C8-1F84-4A20-9049-D8670430B230","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3377b2e4b8392d733ad0e94b8317fa545448045b","datavalue":{"value":{"entity-type":"item","numeric-id":6174524,"id":"Q6174524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$036E5BB6-A466-4C21-9F65-EFAD8A66D56B","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":"Q6859985$92585F24-5773-479E-9263-CCAA0F42F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1e1cf67358828b0b7526f9806daed0d65f75f0","datavalue":{"value":{"entity-type":"item","numeric-id":6159364,"id":"Q6159364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$34103120-C8AD-420A-8683-EDF24825B362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8ffc8ffa41d3db5ccfa4620ca67b835d853763","datavalue":{"value":{"entity-type":"item","numeric-id":6572543,"id":"Q6572543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$BDF16FEF-F7D6-407E-8515-D92B420780F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261b2e3ec06bb75337e2ce4ddddcaf9edd69e7b2","datavalue":{"value":{"entity-type":"item","numeric-id":5189317,"id":"Q5189317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$CF57A4C0-BDE1-4D03-B9D9-C2D35FB605AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bb4c8b4f94706c8d0a0d4031710c33159ddd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4134303,"id":"Q4134303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$2ABC8B93-3C3C-4C09-BB20-6309389AF985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682946cb5e2c1f55656099d2603e3df34ac44c7b","datavalue":{"value":{"entity-type":"item","numeric-id":6159362,"id":"Q6159362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$AEAC08B9-57BD-40AF-B33B-714321BE1B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$A637B229-6F79-4E93-BBFB-82EB253D4510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$066BDF9A-07ED-4EAE-84E9-C7146B76A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35469a768ebba13bc222b55b86cc9be984a63902","datavalue":{"value":{"entity-type":"item","numeric-id":6572561,"id":"Q6572561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$F77E48B5-0C9A-4CDE-AF35-2800812AECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac86ec306b5271f05af7d90dc72a4c6ad127a67c","datavalue":{"value":{"entity-type":"item","numeric-id":6063430,"id":"Q6063430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$946D5CD0-21DE-45EF-8FBF-CCAC57445BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$A8CE405A-05B0-467C-9DF9-82E02DE3E852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b833d4566b42cf1aca81ab87764489b4820952","datavalue":{"value":{"entity-type":"item","numeric-id":500027,"id":"Q500027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$852DC45B-014E-409E-9D9B-23E3E1552145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f6ddfebbffbaedb10cc1ca77239a6d86a301e","datavalue":{"value":{"entity-type":"item","numeric-id":3260749,"id":"Q3260749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859985$20AB771B-D8F6-4AFE-9F97-EF6CCC5DCB6B","rank":"normal"},{"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":"Q6859985$AC8C6C97-F8AB-425F-8526-5357F3503D88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrals within integrals: a formalization of the Gagliardo-Nirenberg-Sobolev inequality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrals_within_integrals:_a_formalization_of_the_Gagliardo-Nirenberg-Sobolev_inequality"}}}}}