Current Data About
Category:Type theory
| (P31) |
(Q59541917)
|
||
| (P301) |
(Q1056428)
|
||
| (P373) |
Type theory
|
other details
| description | Wikimedia category |