User contributions for SchuBot
Jump to navigation
Jump to search
22 April 2020
- 18:3018:30, 22 April 2020 diff hist +226 N Formula q_354 (Q967) Created a new Item
- 18:3018:30, 22 April 2020 diff hist +331 Formula q_353 (Q966) Created claim: Defining formula (P1): A current
- 18:3018:30, 22 April 2020 diff hist +335 Formula q_353 (Q966) Created claim: arqmath formula id (P8): q_353
- 18:3018:30, 22 April 2020 diff hist +226 N Formula q_353 (Q966) Created a new Item
- 18:3018:30, 22 April 2020 diff hist +399 Formula q_352 (Q965) Created claim: Defining formula (P1): A = \left ( \begin{matrix} 0 & -1 \\ 1 & 0 \end{matrix} \right ) current
- 18:3018:30, 22 April 2020 diff hist +335 Formula q_352 (Q965) Created claim: arqmath formula id (P8): q_352
- 18:3018:30, 22 April 2020 diff hist +226 N Formula q_352 (Q965) Created a new Item
- 18:3018:30, 22 April 2020 diff hist +335 Formula q_351 (Q964) Created claim: arqmath formula id (P8): q_351 current
- 18:3018:30, 22 April 2020 diff hist +226 N Formula q_351 (Q964) Created a new Item
- 18:3018:30, 22 April 2020 diff hist +331 Formula q_350 (Q963) Created claim: Defining formula (P1): G current
- 18:3018:30, 22 April 2020 diff hist +335 Formula q_350 (Q963) Created claim: arqmath formula id (P8): q_350
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_350 (Q963) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +332 Formula q_349 (Q962) Created claim: Defining formula (P1): AB current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_349 (Q962) Created claim: arqmath formula id (P8): q_349
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_349 (Q962) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +331 Formula q_332 (Q961) Created claim: Defining formula (P1): f current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_332 (Q961) Created claim: arqmath formula id (P8): q_332
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_332 (Q961) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +342 Formula q_331 (Q960) Created claim: Defining formula (P1): f(cx)=cf(x) current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_331 (Q960) Created claim: arqmath formula id (P8): q_331
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_331 (Q960) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +347 Formula q_330 (Q959) Created claim: Defining formula (P1): f(x+y)=f(x)+f(y) current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_330 (Q959) Created claim: arqmath formula id (P8): q_330
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_330 (Q959) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +367 Formula q_289 (Q958) Created claim: Defining formula (P1): a \downarrow \downarrow \downarrow b current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_289 (Q958) Created claim: arqmath formula id (P8): q_289
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_289 (Q958) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +406 Formula q_288 (Q957) Created claim: Defining formula (P1): a \downarrow \downarrow b = b + 1 + \left\lfloor \frac{a}{b} \right\rfloor, current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_288 (Q957) Created claim: arqmath formula id (P8): q_288
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_288 (Q957) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_287 (Q956) Created claim: Defining formula (P1): a > b current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_287 (Q956) Created claim: arqmath formula id (P8): q_287
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_287 (Q956) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +367 Formula q_286 (Q955) Created claim: Defining formula (P1): a \downarrow \downarrow \downarrow b current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_286 (Q955) Created claim: arqmath formula id (P8): q_286
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_286 (Q955) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +345 Formula q_285 (Q954) Created claim: Defining formula (P1): a \downarrow b current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_285 (Q954) Created claim: arqmath formula id (P8): q_285
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_285 (Q954) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_284 (Q953) Created claim: Defining formula (P1): a > b current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_284 (Q953) Created claim: arqmath formula id (P8): q_284
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_284 (Q953) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_283 (Q952) Created claim: arqmath formula id (P8): q_283 current
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_283 (Q952) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +464 Formula q_282 (Q951) 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 current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_282 (Q951) Created claim: arqmath formula id (P8): q_282
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_282 (Q951) Created a new Item
- 18:2918:29, 22 April 2020 diff hist +357 Formula q_281 (Q950) Created claim: Defining formula (P1): a \downarrow b = a + b - 1 current
- 18:2918:29, 22 April 2020 diff hist +335 Formula q_281 (Q950) Created claim: arqmath formula id (P8): q_281
- 18:2918:29, 22 April 2020 diff hist +226 N Formula q_281 (Q950) Created a new Item