Display title | Bottom type |
Default sort key | Bottom Type |
Page length (in bytes) | 9,127 |
Namespace ID | 0 |
Page ID | 219309 |
Page content language | en - English |
Page content model | wikitext |
Indexing by robots | Allowed |
Number of redirects to this page | 0 |
Counted as a content page | Yes |
HandWiki item ID | None |
Edit | Allow all users (infinite) |
Move | Allow all users (infinite) |
Page creator | imported>JOpenQuest |
Date of page creation | 21:24, 8 February 2024 |
Latest editor | imported>JOpenQuest |
Date of latest edit | 21:24, 8 February 2024 |
Total number of edits | 1 |
Recent number of edits (within past 90 days) | 0 |
Recent number of distinct authors | 0 |
Description | Content |
Article description: (description ) This attribute controls the content of the description and og:description elements. | In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types.
Where such a type exists, it is often represented with the up tack (⊥) symbol. |