nLab ID (P4215)
Jump to navigation
Jump to search
name of a page in nLab wiki
- nLab identifier
- nCatLab ID
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | nLab ID |
name of a page in nLab wiki |
|
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