ProofWiki ID (P1575)
From MaRDI portal
identifier for a ProofWiki article
- Proof Wiki ID
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | ProofWiki ID |
identifier for a ProofWiki article |
|
Data type
External identifier
Statements
https://proofwiki.org/wiki/$1
0 references
