{"entities":{"P628":{"pageid":1952,"ns":122,"title":"Property:P628","lastrevid":2137,"modified":"2024-07-29T13:52:03Z","type":"property","datatype":"external-id","id":"P628","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":{"P1":[{"mainsnak":{"snaktype":"value","property":"P1","hash":"c46fa5f4115d1d1d5ccdca0c63b1aa8732094b60","datavalue":{"value":"P12888","type":"string"},"datatype":"external-id"},"type":"statement","id":"P628$37DFAA9E-F4F2-448C-B7AB-35192474E9B6","rank":"normal"}]}}}}