{"entities":{"Q6823409":{"pageid":15084094,"ns":120,"title":"Item:Q6823409","lastrevid":55357189,"modified":"2026-02-11T19:51:54Z","type":"item","id":"Q6823409","labels":{"en":{"language":"en","value":"mathlib4 Module Mathlib/Topology/Algebra/Module/UniformConvergence"}},"descriptions":{},"aliases":{},"claims":{"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"484f448078f3a2e3577229d406f68616f7f68abd","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823409$34F2CF7D-B2AE-4CE6-9FB9-E831976829EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"141ee1264952e81cc04a1eb9440072c1354b12b7","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/tree/ed96f50f75b1f89c4561f2ba2d837eb169052094Mathlib/Topology/Algebra/Module/UniformConvergence.lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6823409$FB6F6038-329C-457D-8FCD-F41B09BC60DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bf5b26731ebf448d7bbd5b6e0775ce3f0b0b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3759347,"id":"Q3759347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823409$AD4EF962-CEA6-44BA-A57A-06BB4B5786AA","rank":"normal"}],"P1648":[{"mainsnak":{"snaktype":"value","property":"P1648","hash":"73855e25f552c447f42bd53704be5021eea17c2a","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823409$8422CE3B-7F42-453B-B126-86B68233EDF2","rank":"normal"}]},"sitelinks":{}}}}