file extension (P921)
From MaRDI portal
identifier for a file format (e.g. txt for a text file) used as suffix to the file name. Don't use dot at start.
- extension
- filename extension
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | file extension |
identifier for a file format (e.g. txt for a text file) used as suffix to the file name. Don't use dot at start. |
|
Data type
String
Statements
[0-9a-zA-Z_@\+]+([\.\-][0-9a-zA-Z_@\+]+)?|
0 references
