formalized in (P1648)
From MaRDI portal
Framework where a formalization can be found
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | formalized in |
Framework where a formalization can be found |
Data type
Item
