{"entities":{"Q6823536":{"pageid":15084475,"ns":120,"title":"Item:Q6823536","lastrevid":55357573,"modified":"2026-02-11T19:52:00Z","type":"item","id":"Q6823536","labels":{"en":{"language":"en","value":"mathlib4 Module Mathlib/Order/ScottContinuity"}},"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":"Q6823536$5A15F4B4-D633-41F4-929B-2013DA3605B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43518dc543670019d1b2915155843c81ffdbfad7","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/tree/ed96f50f75b1f89c4561f2ba2d837eb169052094Mathlib/Order/ScottContinuity.lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6823536$5AA20BEA-9A23-4C0C-BD82-7CA3B1FA58E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823536$3F49EA7C-C98D-4742-B915-E9B884878151","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":"Q6823536$76D63A93-685B-491F-9046-A5750A9D21D5","rank":"normal"}]},"sitelinks":{}}}}