Formula q_282 (Q951): Difference between revisions
Jump to navigation
Jump to search
Created claim: arqmath formula id (P8): q_282 |
Created claim: Defining formula (P1): 4 \downarrow 3 = 4 \downarrow \downarrow (4 \downarrow \downarrow 4) = 4 \downarrow \downarrow (4 + 1) = (4 + 1) + 1 = 6 = 4 + 3 - 1 |
||
Property / Defining formula | |||
4 \downarrow 3 = 4 \downarrow \downarrow (4 \downarrow \downarrow 4) = 4 \downarrow \downarrow (4 + 1) = (4 + 1) + 1 = 6 = 4 + 3 - 1 | |||
Property / Defining formula: / rank | |||
Normal rank |
Latest revision as of 18:29, 22 April 2020
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Formula q_282 |
No description defined |
Statements
q_282
0 references
0 references