{"entities":{"P1588":{"pageid":13977011,"ns":122,"title":"Property:P1588","lastrevid":37536601,"modified":"2024-08-01T15:18:19Z","type":"property","datatype":"external-id","id":"P1588","labels":{"en":{"language":"en","value":"Metamath statement ID"},"de":{"language":"de","value":"Metamath Statement-ID"}},"descriptions":{"en":{"language":"en","value":"unique identifier for a theorem, axiom or definition in the Metamath set.mm database"},"de":{"language":"de","value":"eindeutiger Bezeichner f\u00fcr ein Theorem, Axiom oder eine Definition in der Metamath set.mm Datenbank"}},"aliases":{},"claims":{"P11":[{"mainsnak":{"snaktype":"value","property":"P11","hash":"eb3702ffcc11c4e47aeed8b4ddc3cf170d21335a","datavalue":{"value":"P12888","type":"string"},"datatype":"external-id"},"type":"statement","id":"P1588$AD16D7C7-D58B-430A-9956-48BCFA2BBE7C","rank":"normal"}]}}}}