{"entities":{"P12888":{"pageid":11916,"ns":122,"title":"Property:P12888","lastrevid":11916,"modified":"2026-06-17T21:57:14Z","type":"property","datatype":"external-id","id":"P12888","labels":{"en":{"language":"en","value":"Metamath statement ID"},"nl":{"language":"nl","value":"Metamath-identificatiecode"},"ca":{"language":"ca","value":"identificador Metamath"},"de":{"language":"de","value":"Metamath Statement-ID"},"lb":{"language":"lb","value":"Metamath-Statement-ID"},"sr-ec":{"language":"sr-ec","value":"Metamath statement ID"},"sr":{"language":"sr","value":"Metamath statement ID"},"be-tarask":{"language":"be-tarask","value":"\u0456\u0434\u044d\u043d\u0442\u044b\u0444\u0456\u043a\u0430\u0442\u0430\u0440 \u0441\u044c\u0446\u044c\u0432\u0435\u0440\u0434\u0436\u0430\u043d\u044c\u043d\u044f Metamath"},"ko":{"language":"ko","value":"Metamath \uc11c\uc220 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"},"sr-ec":{"language":"sr-ec","value":"\u0458\u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u0438 \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u0437\u0430 \u0442\u0435\u043e\u0440\u0435\u043c\u0443, \u0430\u043a\u0441\u0438\u043e\u043c \u0438\u043b\u0438 \u0434\u0435\u0444\u0438\u043d\u0438\u0446\u0438\u0458\u0443 \u0443 \u0431\u0430\u0437\u0438 \u043f\u043e\u0434\u0430\u0442\u0430\u043a\u0430 Metamath set.mm"},"sr":{"language":"sr","value":"\u0458\u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u0438 \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u0437\u0430 \u0442\u0435\u043e\u0440\u0435\u043c\u0443, \u0430\u043a\u0441\u0438\u043e\u043c \u0438\u043b\u0438 \u0434\u0435\u0444\u0438\u043d\u0438\u0446\u0438\u0458\u0443 \u0443 \u0431\u0430\u0437\u0438 \u043f\u043e\u0434\u0430\u0442\u0430\u043a\u0430 Metamath set.mm"},"be-tarask":{"language":"be-tarask","value":"\u0443\u043d\u0456\u043a\u0430\u043b\u044c\u043d\u044b \u0456\u0434\u044d\u043d\u0442\u044b\u0444\u0456\u043a\u0430\u0442\u0430\u0440 \u0442\u044d\u0430\u0440\u044d\u043c\u044b, \u0430\u043a\u0441\u0456\u0451\u043c\u044b \u0446\u0456 \u0430\u0437\u043d\u0430\u0447\u044d\u043d\u044c\u043d\u044f \u045e \u0431\u0430\u0437\u0435 \u0437\u044c\u0432\u0435\u0441\u0442\u0430\u043a Metamath"},"ko":{"language":"ko","value":"Metamath set.mm \ub370\uc774\ud130\ubca0\uc774\uc2a4 \uc18d \uc815\ub9ac, \uacf5\ub9ac \ub610\ub294 \uc815\uc758\uc758 \uc2dd\ubcc4\uc790"}},"aliases":{},"claims":{}}}}