Metatheorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 00:5000:50, 8 April 2023‎ SimLibrarian talk contribs‎ m 2,479 bytes +85‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 10:1610:16, 3 July 2022‎ Felix QW talk contribs‎ 2,394 bytes −4‎ Removing wikilink after disambiguating. undo Tag: 2017 wikitext editor

curprev 03:2203:22, 26 December 2017‎ RJGray talk contribs‎ 2,398 bytes +76‎ →‎Examples: Added links undo
curprev 03:0503:05, 26 December 2017‎ RJGray talk contribs‎ 2,322 bytes +283‎ →‎Examples: Added another example: class existence theorem of NBG set theory undo

curprev 01:2501:25, 25 February 2016‎ VladimirReshetnikov talk contribs‎ m 2,039 bytes +1‎ →‎Examples undo

curprev 00:3700:37, 19 October 2014‎ Hyacinth talk contribs‎ 2,038 bytes +4‎ →‎External links: {{Metalogic}} undo

curprev 12:2912:29, 5 May 2014‎ Yobot talk contribs‎ m 2,034 bytes −26‎ WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 07:3607:36, 16 March 2014‎ 67.252.103.23 talk‎ 2,060 bytes −1‎ m undo
curprev 07:3507:35, 16 March 2014‎ 67.252.103.23 talk‎ 2,061 bytes +65‎ No edit summary undo

curprev 14:0614:06, 15 March 2013‎ Addbot talk contribs‎ m 1,996 bytes −40‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q2384512 undo

curprev 02:3802:38, 25 January 2013‎ Policron talk contribs‎ m 2,036 bytes +110‎ Added an external link (EOM). undo

curprev 20:3120:31, 15 July 2012‎ AnomieBOT talk contribs‎ m 1,926 bytes +30‎ Dating maintenance tags: {{Citation needed}} undo
curprev 20:1020:10, 15 July 2012‎ Byelf2007 talk contribs‎ 1,896 bytes +8‎ unnecessary , general cleanup undo

curprev 20:1120:11, 2 July 2012‎ Xqbot talk contribs‎ m 1,888 bytes +19‎ r2.7.3) (Robot: Adding pt:Metateorema undo

curprev 15:5815:58, 25 June 2012‎ Markhurd talk contribs‎ m 1,869 bytes +4‎ clean up using AWB undo

curprev 20:1620:16, 14 August 2011‎ Dicklyon talk contribs‎ 1,865 bytes +2‎ →‎See also undo

curprev 19:3419:34, 26 November 2010‎ Gregbard talk contribs‎ m 1,863 bytes +10‎ →‎External links: Template:Logic using AWB undo

curprev 12:0212:02, 22 February 2010‎ CBM talk contribs‎ 1,853 bytes −9‎ →‎External links: metalogic undo
curprev 11:5611:56, 22 February 2010‎ CBM talk contribs‎ 1,862 bytes −14‎ Removing stub tag(s) undo

curprev 23:4223:42, 16 February 2010‎ CRGreathouse talk contribs‎ 1,876 bytes −168‎ cleanup and wording -- note that axioms need not form a set, rm redundant cats undo

curprev 00:1700:17, 15 January 2010‎ Gregbard talk contribs‎ 2,044 bytes −3‎ fix link undo
curprev 00:1300:13, 15 January 2010‎ Gregbard talk contribs‎ 2,047 bytes +30‎ fix link undo

curprev 04:0004:00, 15 December 2009‎ Gregbard talk contribs‎ m 2,017 bytes +4‎ lnk undo

curprev 23:5723:57, 8 November 2009‎ Gregbard talk contribs‎ m 2,013 bytes +26‎ Quick-adding category Metatheorems (using HotCat) undo

curprev 23:0423:04, 21 September 2009‎ Gregbard talk contribs‎ 1,987 bytes −62‎ rm debatable definition undo

curprev 20:2020:20, 17 September 2009‎ Gregbard talk contribs‎ 2,049 bytes +157‎ clarify undo

curprev 03:5703:57, 7 September 2009‎ CBM talk contribs‎ 1,892 bytes −152‎ quick and dirty rewrite for expert tag undo
curprev 03:4603:46, 7 September 2009‎ CBM talk contribs‎ 2,044 bytes +176‎ →‎References: add a couple references undo

curprev 18:0318:03, 6 September 2009‎ GregorB talk contribs‎ 1,868 bytes +32‎ →‎References: MathWorld template undo

curprev 09:3209:32, 15 July 2009‎ Alexbot talk contribs‎ m 1,836 bytes +21‎ robot Adding: nl:Metastelling undo
curprev 08:0808:08, 15 July 2009‎ 193.141.132.155 talk‎ 1,815 bytes +2‎ No edit summary undo

curprev 23:3723:37, 25 March 2009‎ Constructive editor talk contribs‎ 1,813 bytes +15‎ No edit summary undo

curprev 18:0418:04, 31 December 2008‎ Giftlite talk contribs‎ 1,798 bytes −14‎ →‎See also: −wlink already included in the main article undo

curprev 13:5813:58, 3 November 2008‎ SmackBot talk contribs‎ m 1,812 bytes +17‎ Date maintenance tags and general fixes undo

curprev 23:0523:05, 27 April 2008‎ Gregbard talk contribs‎ m 1,795 bytes +30‎ →‎See also undo

curprev 07:5807:58, 24 February 2008‎ JRSpriggs talk contribs‎ 1,765 bytes +85‎ "about", not "in", emphasized undo

curprev 18:5718:57, 17 January 2008‎ Gregbard talk contribs‎ m 1,680 bytes +23‎ Undid revision 185030621 by Arthur Rubin (talk) undo
curprev 18:5018:50, 17 January 2008‎ Arthur Rubin talk contribs‎ 1,657 bytes −23‎ Doesn't seem to fit the description of metalogic. Undid revision 184276531 by Gregbard (talk) undo

curprev 16:3416:34, 14 January 2008‎ Gregbard talk contribs‎ m 1,680 bytes +23‎ metalogic undo

curprev 08:2508:25, 16 April 2007‎ Quux0r talk contribs‎ m 1,657 bytes +20‎ expert -> expert-subject undo
curprev 08:2108:21, 16 April 2007‎ Quux0r talk contribs‎ m 1,637 bytes +57‎ categorized and added "expert" template undo

curprev 13:4913:49, 6 November 2006‎ 131.111.8.103 talk‎ 1,580 bytes +90‎ added a reference undo
curprev 13:2613:26, 6 November 2006‎ 131.111.8.103 talk‎ 1,490 bytes +31‎ added categories undo

curprev 10:1910:19, 4 October 2006‎ Bluebot talk contribs‎ 1,459 bytes +29‎ tagged, added uncategorised tag undo

curprev 22:5622:56, 14 May 2006‎ Mrcs talk contribs‎ m 1,430 bytes +6‎ removed ambiguity from definition undo

curprev 19:1519:15, 11 May 2006‎ Mrcs talk contribs‎ 1,424 bytes +1,424‎ intitial page

8 April 2023

3 July 2022

26 December 2017

25 February 2016

19 October 2014

5 May 2014

16 March 2014

15 March 2013

25 January 2013

15 July 2012

2 July 2012

25 June 2012

14 August 2011

26 November 2010

22 February 2010

16 February 2010

15 January 2010

15 December 2009

8 November 2009

21 September 2009

17 September 2009

7 September 2009

6 September 2009

15 July 2009

25 March 2009

31 December 2008

3 November 2008

27 April 2008

24 February 2008

17 January 2008

14 January 2008

16 April 2007

6 November 2006

4 October 2006

14 May 2006

11 May 2006