User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_791 (Q613) Created claim: arqmath formula id (P8): q_791
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_791 (Q613) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +373 Formula q_790 (Q612) Created claim: Defining formula (P1): (n_1 + 1, g(n_1+1)), \cdots, (n_3, g(n_3)) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_790 (Q612) Created claim: arqmath formula id (P8): q_790
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_790 (Q612) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +339 Formula q_789 (Q611) Created claim: Defining formula (P1): n_3 > n_1 current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_789 (Q611) Created claim: arqmath formula id (P8): q_789
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_789 (Q611) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_788 (Q610) Created claim: Defining formula (P1): h(n_3) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_788 (Q610) Created claim: arqmath formula id (P8): q_788
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_788 (Q610) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_787 (Q609) Created claim: Defining formula (P1): h(n_2) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_787 (Q609) Created claim: arqmath formula id (P8): q_787
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_787 (Q609) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_786 (Q608) Created claim: Defining formula (P1): g(n_2) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_786 (Q608) Created claim: arqmath formula id (P8): q_786
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_786 (Q608) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_785 (Q607) Created claim: Defining formula (P1): g(n_2) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_785 (Q607) Created claim: arqmath formula id (P8): q_785
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_785 (Q607) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +343 Formula q_784 (Q606) Created claim: Defining formula (P1): n_2 \leq n_1 current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_784 (Q606) Created claim: arqmath formula id (P8): q_784
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_784 (Q606) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_783 (Q605) Created claim: Defining formula (P1): h(n_2) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_783 (Q605) Created claim: arqmath formula id (P8): q_783
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_783 (Q605) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +363 Formula q_782 (Q604) Created claim: Defining formula (P1): (1, g(1)), \cdots, (n_1, g(n_1)) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_782 (Q604) Created claim: arqmath formula id (P8): q_782
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_782 (Q604) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_781 (Q603) Created claim: Defining formula (P1): h(n_1) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_781 (Q603) Created claim: arqmath formula id (P8): q_781
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_781 (Q603) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +336 Formula q_780 (Q602) Created claim: Defining formula (P1): g(n_1) current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_780 (Q602) Created claim: arqmath formula id (P8): q_780
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_780 (Q602) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +331 Formula q_779 (Q601) Created claim: Defining formula (P1): M current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_779 (Q601) Created claim: arqmath formula id (P8): q_779
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_779 (Q601) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +349 Formula q_778 (Q600) Created claim: Defining formula (P1): \{1, \cdots, n_1\} current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_778 (Q600) Created claim: arqmath formula id (P8): q_778
- 13:2213:22, 20 April 2020 diff hist +226 N Formula q_778 (Q600) Created a new Item
- 13:2213:22, 20 April 2020 diff hist +331 Formula q_777 (Q599) Created claim: Defining formula (P1): g current
- 13:2213:22, 20 April 2020 diff hist +335 Formula q_777 (Q599) Created claim: arqmath formula id (P8): q_777
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_777 (Q599) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +336 Formula q_776 (Q598) Created claim: Defining formula (P1): h(n_1) current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_776 (Q598) Created claim: arqmath formula id (P8): q_776
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_776 (Q598) Created a new Item
- 13:2113:21, 20 April 2020 diff hist +333 Formula q_775 (Q597) Created claim: Defining formula (P1): n_1 current
- 13:2113:21, 20 April 2020 diff hist +335 Formula q_775 (Q597) Created claim: arqmath formula id (P8): q_775
- 13:2113:21, 20 April 2020 diff hist +226 N Formula q_775 (Q597) Created a new Item