Proof techniques: 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 18:5118:51, 29 June 2006 King of Hearts talk contribs 32 bytes −4,810 redirect to Mathematical proof per AFD undo
curprev 04:2104:21, 29 June 2006 King of Hearts talk contribs 4,842 bytes +1,171 disagree with PROD; +AFD undo

curprev 14:4314:43, 24 June 2006 KSmrq talk contribs 3,671 bytes +249 Propose deletion undo

curprev 09:2809:28, 29 May 2006 Occultations talk contribs m 3,422 bytes +104 Minor improvemnt of words undo

curprev 05:0805:08, 25 April 2006 Judgesurreal777 talk contribs 3,318 bytes −3 clarifying tag undo

curprev 03:1503:15, 15 April 2006 Pearle talk contribs m 3,321 bytes +14 Changing {{attention}} to {{cleanup-date|April 2005}} undo

curprev 04:4904:49, 20 January 2006 Timothy Clemans talk contribs 3,307 bytes +3,275 Revert to oldid=32893898 undo

curprev 07:5307:53, 1 January 2006 Luke Gustafson talk contribs 32 bytes −3,275 redirect to Mathematical proof undo

curprev 17:4817:48, 27 December 2005 Occultations talk contribs m 3,307 bytes +19 →Mathematical induction undo

curprev 03:0803:08, 13 November 2005 MC MasterChef talk contribs m 3,288 bytes +3,253 Reverted edits by 69.28.157.200 to last version by Mathbot undo
curprev 03:0803:08, 13 November 2005 69.28.157.200 talk 35 bytes −3,253 No edit summary undo

curprev 12:1912:19, 20 October 2005 Mathbot talk contribs 3,288 bytes −2 Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo

curprev 02:2802:28, 4 October 2005 Atraxani talk contribs 3,290 bytes −41 No edit summary undo

curprev 01:4901:49, 30 September 2005 Wclark talk contribs 3,331 bytes +8 →Technique #2: proof by contradiction undo

curprev 09:1809:18, 7 August 2005 142.179.110.250 talk 3,323 bytes +199 →Technique #3: mathematical induction undo

curprev 18:4418:44, 29 July 2005 206.47.0.171 talk 3,124 bytes +2 →Technique #3: mathematical induction undo
curprev 18:4318:43, 29 July 2005 206.47.0.171 talk 3,122 bytes +2 →Technique #1: deductive proof undo
curprev 18:4218:42, 29 July 2005 206.47.0.171 talk 3,120 bytes 0 →See also undo

curprev 22:5322:53, 9 July 2005 Oleg Alexandrov talk contribs 3,120 bytes −13 rm the {{accuracy}} template. The {{attention}} should be enough. undo
curprev 21:4721:47, 9 July 2005 Oleg Alexandrov talk contribs m 3,133 bytes 0 downcasing undo
curprev 21:3421:34, 9 July 2005 Mathbot talk contribs 3,133 bytes 0 Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo
curprev 21:3421:34, 9 July 2005 Mathbot talk contribs 3,133 bytes 0 Robot-assisted spelling. See User:Mathbot/Logged misspellings for changes. undo

curprev 23:0123:01, 29 April 2005 Oleg Alexandrov talk contribs m 3,133 bytes +4 emphasise the right way undo
curprev 22:1822:18, 29 April 2005 Everyking talk contribs m 3,129 bytes 0 →Technique #2: proof by contradiction undo

curprev 18:0818:08, 14 April 2005 Mel Etitis talk contribs m 3,129 bytes −7 Reverted edits by Tygar to last version by Michael Hardy undo
curprev 05:4905:49, 14 April 2005 Tygar talk contribs 3,136 bytes +7 No edit summary undo

curprev 22:0722:07, 12 April 2005 Michael Hardy talk contribs 3,129 bytes +13 No edit summary undo
curprev 22:0722:07, 12 April 2005 Michael Hardy talk contribs 3,116 bytes +15 This page BADLY needs work, to say the least! undo

curprev 03:2803:28, 9 April 2005 Oleg Alexandrov talk contribs 3,247 bytes 0 bit of downcasing, put category at the bottom (that's the style here). More work in downcasing needed. undo
curprev 01:5701:57, 9 April 2005 Oleg Alexandrov talk contribs 3,247 bytes +1 "Spelling. This is a semi-automatic update (software suggests changes and user decides). It is likely this bot did not fix all spelling mistakes in this article." undo

curprev 03:3003:30, 25 January 2005 Tygar talk contribs m 3,246 bytes −20 spelling, reduction of math usage (into plain text) undo

29 June 2006

24 June 2006

29 May 2006

25 April 2006

15 April 2006

20 January 2006

1 January 2006

27 December 2005

13 November 2005

20 October 2005

4 October 2005

30 September 2005

7 August 2005

29 July 2005

9 July 2005

29 April 2005

14 April 2005

12 April 2005

11 April 2005

9 April 2005

25 January 2005

24 January 2005

23 January 2005