Recognizable set: 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 23:1423:14, 1 March 2024 78.22.198.37 talk 6,228 bytes +83 No edit summary undo

curprev 04:3204:32, 10 August 2022 112.133.233.109 talk 6,145 bytes −25 →Definition undo Tags: Manual revert Visual edit
curprev 04:3104:31, 10 August 2022 112.133.233.109 talk 6,170 bytes +25 →Definition undo Tags: Reverted Visual edit

curprev 20:4120:41, 12 June 2021 AnomieBOT talk contribs m 6,145 bytes +45 Dating maintenance tags: {{Refimprove}} {{Cn}} undo
curprev 18:4118:41, 12 June 2021 84.245.120.107 talk 6,100 bytes +27 cn undo

curprev 15:3315:33, 5 July 2020 IznoRepeat talk contribs m 6,073 bytes +23 →Properties: replace soft-deprecated editors parameter, rm ref=harv as applic., gen fixes, misc cite cleaning undo Tag: AWB

curprev 06:0906:09, 16 November 2019 InternetArchiveBot talk contribs 6,050 bytes +147 Bluelink 1 book for verifiability.) #IABot (v2.0) (GreenC bot undo

curprev 17:4217:42, 23 October 2018 StepanHolub talk contribs 5,903 bytes −163 →References: The book I added previously is alredy in "Further reading" undo
curprev 17:0117:01, 23 October 2018 StepanHolub talk contribs 6,066 bytes +3 →Properties: minimal edit including the summary for the previous larger edit: non-examples are reorganized in order to make clear what they are to illustrate.. undo
curprev 11:3511:35, 23 October 2018 StepanHolub talk contribs 6,063 bytes +467 →References: Essential references added. A doubtful reference hidden. undo
curprev 11:0011:00, 23 October 2018 StepanHolub talk contribs 5,596 bytes +511 →Properties undo

curprev 13:1813:18, 14 April 2018 GSS talk contribs m 5,085 bytes +2 v1.43 - fixing typo undo Tag: WPCleaner

curprev 08:0608:06, 19 May 2016 Tea2min talk contribs 5,083 bytes +4 →top: Links. undo

curprev 03:2903:29, 19 November 2015 Cydebot talk contribs m 5,079 bytes +7 Robot - Moving category Automata theory to Category:Automata (computation) per CFD at Wikipedia:Categories for discussion/Log/2015 October 22. undo

curprev 10:1610:16, 21 September 2015 Iguessarian talk contribs m 5,072 bytes 0 →Properties undo

curprev 16:0916:09, 20 September 2015 Jepin talk contribs 5,072 bytes −2 →Properties undo
curprev 16:0816:08, 20 September 2015 Jepin talk contribs m 5,074 bytes 0 →Properties undo
curprev 16:0716:07, 20 September 2015 Jepin talk contribs 5,074 bytes +710 →Properties: Corrected a major error: finite subsets are *not* necessarily recognisable. undo

curprev 14:4314:43, 16 December 2014 147.251.80.102 talk 4,364 bytes +20 No edit summary undo
curprev 14:3614:36, 16 December 2014 147.251.80.102 talk 4,344 bytes −26 No edit summary undo
curprev 14:3114:31, 16 December 2014 147.251.80.102 talk 4,370 bytes +5 No edit summary undo

curprev 06:0006:00, 28 August 2014 Yobot talk contribs m 4,365 bytes +12 →References: WP:CHECKWIKI error fixes using AWB (10422) undo

curprev 16:5016:50, 27 August 2014 JMP EAX talk contribs 4,353 bytes +661 →Property undo

curprev 04:5504:55, 26 August 2014 JMP EAX talk contribs 3,692 bytes +153 →References undo
curprev 04:4904:49, 26 August 2014 JMP EAX talk contribs 3,539 bytes +22 →See also undo

curprev 12:4412:44, 24 August 2014 JMP EAX talk contribs 3,517 bytes +315 →References undo
curprev 11:3811:38, 24 August 2014 JMP EAX talk contribs 3,202 bytes −10 →References: p. 79 is entirely about first-order logic undo

curprev 20:0220:02, 25 March 2014 86.185.117.5 talk 3,212 bytes −1 No edit summary undo

curprev 22:1522:15, 17 February 2014 Deltahedron talk contribs 3,213 bytes +119 expand slightly undo

curprev 11:4211:42, 15 July 2013 Miracle Pen talk contribs 3,094 bytes −17 No edit summary undo

curprev 13:2613:26, 1 December 2012 Dekart talk contribs 3,111 bytes −30 removed Category:Computer science using HotCat undo

curprev 16:5716:57, 3 November 2012 96.43.234.119 talk 3,030 bytes 0 →Example undo
curprev 16:5316:53, 3 November 2012 Arthur MILCHIOR talk contribs 3,030 bytes +5 →Property undo
curprev 15:5415:54, 3 November 2012 Arthur MILCHIOR talk contribs 3,025 bytes +282 inverse morphism undo
curprev 15:1715:17, 3 November 2012 Arthur MILCHIOR talk contribs 2,743 bytes +583 No edit summary undo

curprev 23:0723:07, 24 October 2012 Berek talk contribs 2,160 bytes +31 added Category:Computer science using HotCat undo
curprev 12:2612:26, 24 October 2012 A3nm talk contribs m 2,129 bytes +1 →Example: typo undo
curprev 12:2612:26, 24 October 2012 A3nm talk contribs m 2,128 bytes 0 better link undo

1 March 2024

10 August 2022

12 June 2021

5 July 2020

16 November 2019

23 October 2018

14 April 2018

19 May 2016

19 November 2015

21 September 2015

20 September 2015

16 December 2014

28 August 2014

27 August 2014

26 August 2014

24 August 2014

25 March 2014

17 February 2014

15 July 2013

1 December 2012

7 November 2012

3 November 2012

24 October 2012

22 October 2012