formalized in (P1648)
From MaRDI portal
Framework where a formalization can be found
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formalized in |
Framework where a formalization can be found |
Data type
Item
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | formalized in |
Framework where a formalization can be found |