top type
the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top; the type which contains every possible object in the type system of interest
| rdfs:label |
"top type"@en
|
|
skos:alt |
"top"@en
|
| schema:description |
"the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top; the type which contains every possible object in the type system of interest"@en
|
|
schema:date |
"2025-10-09T19:10:08+00:00"^^xsd:dateTime |
| schema:version | 2414399406 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 3 |
| wikibase:statements | 5 |
| p:P2579 | wd:statement/Q4129836-bcdbb803-4c7d-c119-9be1-d71937cb257d |
| p:P279 | wd:statement/Q4129836-75a4a3a0-4637-7fdc-1d4e-584ab804ddd9 |
| p:P461 | wd:statement/Q4129836-823707a2-4100-7440-e170-d642bfa8b4c1 |
| p:P6366 | wd:statement/Q4129836-5E329602-B2A5-4E61-8D4A-5044C7C5A8E0 |
| p:P646 | wd:statement/Q4129836-8BC4BD56-E081-43B3-AD94-A0FE269163A4 |
|
p:direct- |
<https:/ |
| wdt:P2579 | type theory |
| wdt:P279 | data type |
| wdt:P461 | bottom type |
| wdt:P6366 | "2779357368" |
| wdt:P646 | "/m/0b5h53" |
Download as: