(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
https://ncatlab.org/nlab/show/$1
0 references
^https?:\/\/ncatlab\.org\/nlab\/show\/([\p{L}\d=–?,.^'\- ()]+)
^(.{1,100}) in nLab$
0 references
8 March 2019
nLab ID
0 references