{"entities":{"P2043":{"pageid":31067381,"ns":122,"title":"Property:P2043","lastrevid":104312180,"modified":"2026-07-07T17:07:38Z","type":"property","datatype":"external-id","id":"P2043","labels":{"en":{"language":"en","value":"Mathlib Declaration ID"},"de":{"language":"de","value":"Mathlib Deklaration ID"}},"descriptions":{"en":{"language":"en","value":"identifier for a declaration in Mathlib, the mathematics library of the Lean theorem prover, that formalizes this concept"},"de":{"language":"de","value":"Identifikator f\u00fcr eine Deklaration in Mathlib, der Mathematikbibliothek des Lean-Beweisassistenten"}},"aliases":{"en":[{"language":"en","value":"Mathlib declaration"},{"language":"en","value":"Mathlib ID"},{"language":"en","value":"Lean declaration"}],"de":[{"language":"de","value":"Mathlib Deklarations-ID"}]},"claims":{"P11":[{"mainsnak":{"snaktype":"value","property":"P11","hash":"f74c4c2def1887dde0bdf622a15bc5e74bd636f2","datavalue":{"value":"P14534","type":"string"},"datatype":"external-id"},"type":"statement","id":"P2043$8F598035-23A3-40F6-92A9-DF8686C24704","rank":"normal"}]}}}}