{"entities":{"Q6823552":{"pageid":15084523,"ns":120,"title":"Item:Q6823552","lastrevid":55357621,"modified":"2026-02-11T19:52:00Z","type":"item","id":"Q6823552","labels":{"en":{"language":"en","value":"mathlib4 Module Mathlib/Order/CompactlyGenerated/Basic"}},"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":"Q6823552$56830CC8-E428-49B6-AC9F-C9D2E10C6979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2201847cb8f3a73f75b4baf5cdf853483a8932e3","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/tree/ed96f50f75b1f89c4561f2ba2d837eb169052094Mathlib/Order/CompactlyGenerated/Basic.lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6823552$D45DCF9B-5323-4A89-8CAD-BC734801E569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf84825f8dae7cc91dae8b95279241221ff4264","datavalue":{"value":{"entity-type":"item","numeric-id":4506479,"id":"Q4506479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823552$0A2113AF-8CF2-4F3D-850F-1C65EF378A06","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":"Q6823552$ABE371CB-C6CF-4900-932B-3BF79D2010A8","rank":"normal"}]},"sitelinks":{}}}}