Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alternativeName |
up-arrow notation
|
| gptkbp:firstPublished |
gptkb:Mathematical_notation:_past_and_future_(1976)
|
| gptkbp:generalizes |
exponentiation
|
| https://www.w3.org/2000/01/rdf-schema#label |
Knuth up-arrow notation
|
| gptkbp:influenced |
gptkb:Ackermann_function
gptkb:Conway_chained_arrow_notation |
| gptkbp:introducedIn |
1976
|
| gptkbp:inventedBy |
gptkb:Donald_Knuth
|
| gptkbp:notation |
arithmetic
|
| gptkbp:numberOfArrows |
indicates operation level
|
| gptkbp:relatedTo |
hyperoperation
|
| gptkbp:symbol |
↑
|
| gptkbp:usedFor |
expressing very large integers
|
| gptkbp:usedIn |
theoretical computer science
large number notation |
| gptkbp:bfsParent |
gptkb:Conway_chained_arrow_notation
gptkb:Conway–Wechsler_notation |
| gptkbp:bfsLayer |
6
|