{"entities":{"Q6823802":{"pageid":15085273,"ns":120,"title":"Item:Q6823802","lastrevid":55358371,"modified":"2026-02-11T19:52:11Z","type":"item","id":"Q6823802","labels":{"en":{"language":"en","value":"mathlib4 Module Mathlib/Algebra/Order/Ring/Ordering/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":"Q6823802$FB04B7A2-D56C-497B-8A52-A58FE1A9C960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c4cd236875176283753e5ee505c453ce4e4892f","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/tree/ed96f50f75b1f89c4561f2ba2d837eb169052094Mathlib/Algebra/Order/Ring/Ordering/Basic.lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6823802$1757BAF6-A207-40E6-BAFF-7DA6A19C6FFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be312b4cd9c2bbe2d833768e516a581983e2750","datavalue":{"value":{"entity-type":"item","numeric-id":1065883,"id":"Q1065883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823802$21D8A192-FD9B-4B9C-8516-4B63E832B392","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":"Q6823802$FA267173-FE80-4DD3-8A1B-7B352D027344","rank":"normal"}]},"sitelinks":{}}}}