{"entities":{"Q6823705":{"pageid":15084982,"ns":120,"title":"Item:Q6823705","lastrevid":55358080,"modified":"2026-02-11T19:52:07Z","type":"item","id":"Q6823705","labels":{"en":{"language":"en","value":"mathlib4 Module Mathlib/Dynamics/Circle/RotationNumber/TranslationNumber"}},"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":"Q6823705$89B103B4-D70B-4CE4-AAC0-C2A21CD75C7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59ed3c339977336879bfab47963f67236f3844f5","datavalue":{"value":"https://github.com/leanprover-community/mathlib4/tree/ed96f50f75b1f89c4561f2ba2d837eb169052094Mathlib/Dynamics/Circle/RotationNumber/TranslationNumber.lean","type":"string"},"datatype":"url"},"type":"statement","id":"Q6823705$E3149D27-588A-438B-B5BE-2417488D49C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15345dad7b25d331c5d55598a1d50d6150754abf","datavalue":{"value":{"entity-type":"item","numeric-id":4727062,"id":"Q4727062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6823705$F1768296-841F-4EED-99A5-B0FDE38B9FEF","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":"Q6823705$D8AA71EC-A709-4603-8983-3F3570C5CF4B","rank":"normal"}]},"sitelinks":{}}}}