| rdfs:label |
"history of type theory"@en
|
|
skos:alt |
"type theory history"@en
|
| schema:description |
"aspect of history"@en
|
|
schema:date |
"2026-06-25T18:21:25+00:00"^^xsd:dateTime |
| schema:version | 2510449193 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 5 |
| p:P1269 | wd:statement/Q5871008-93387cc1-4266-f351-23cf-eeaf6151dc0a |
| p:P31 | wd:statement/Q5871008-22E66CAF-2E2E-434F-AFFA-C8A804F4C3EA |
| p:P361 | wd:statement/Q5871008-9af93002-4df3-9bb8-760e-a89413b3a064 |
| wd:statement/Q5871008-c06e1028-43c6-d5fd-35f5-3bb3e100ae7d | |
| p:P646 | wd:statement/Q5871008-44523DE9-6475-4593-9B84-32D44359EEE7 |
| wdt:P1269 | type theory |
| wdt:P31 | aspect of history |
| wdt:P361 | history of computer science |
| history of logic | |
| wdt:P646 | "/m/0r3vxxt" |
Download as: