(P4215)
English
nLab ID
name of a page in nLab wiki
- nLab identifier
- nCatLab ID
Data type
External identifier
Statements
18,182
10 May 2023
1 reference
^https?:\/\/ncatlab\.org\/nlab\/show\/([\p{L}\d=–?,.^'\- ()]+)
^(.{1,100}) in nLab$
0 references
8 March 2019
nLab ID
0 references