Formula q_282 (Q951): Difference between revisions

From ArqMath20
Jump to navigation Jump to search

SchuBot (talk | contribs)

6 user groups
4,665 edits
SchuBot (talk | contribs)
SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators
4,665 edits
‎Created a new Item
 
SchuBot (talk | contribs)
SchuBot, Bots, Bureaucrats, flow-bot, Suppressors, Administrators
4,665 edits
‎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
 
(One intermediate revision by the same user not shown)
Property / arqmath formula id
 
q_282
Property / arqmath formula id: q_282 / rank
 
Normal rank
Property / Defining formula
 

4↓3=4↓↓(4↓↓4)=4↓↓(4+1)=(4+1)+1=6=4+3−1

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↓3=4↓↓(4↓↓4)=4↓↓(4+1)=(4+1)+1=6=4+3−1 / 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

    arqmath formula id
    q_282
    0 references
    Defining formula
    4↓3=4↓↓(4↓↓4)=4↓↓(4+1)=(4+1)+1=6=4+3−1
    0 references
     
      Retrieved from "https://arq20.formulasearchengine.com/w/index.php?title=Item:Q951&oldid=3076"