Dexter Kozen: 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 19:2719:27, 31 July 2024‎ Mr. X 235528 talk contribs‎ m 10,756 bytes +1‎ →‎Awards and honors undo

curprev 04:4404:44, 29 July 2024‎ OAbot talk contribs‎ m 10,755 bytes +18‎ Open access bot: arxiv updated in citation with #oabot. undo

curprev 04:1704:17, 28 July 2024‎ WikiCleanerBot talk contribs‎ m 10,737 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 16:1816:18, 25 July 2024‎ Shardul.chiplunkar talk contribs‎ 10,737 bytes +3,199‎ Add infobox, citations undo
curprev 14:2414:24, 25 July 2024‎ Shardul.chiplunkar talk contribs‎ 7,538 bytes −367‎ Awards and honors copyediting undo

curprev 06:2406:24, 6 May 2024‎ Jevansen talk contribs‎ m 7,905 bytes +9‎ Moving from Category:Theoretical computer scientists to Category:American theoretical computer scientists using Cat-a-lot undo

curprev 14:2314:23, 30 April 2024‎ Tchouppy talk contribs‎ 7,896 bytes +10‎ copy edits, added section heading undo Tag: Visual edit

curprev 01:5301:53, 3 March 2024‎ FrostlySnowman talk contribs‎ 7,886 bytes +5‎ →‎External links: Replace category to be year-specific (BRFA) undo Tag: AWB

curprev 17:0017:00, 15 January 2024‎ Citation bot talk contribs‎ 7,881 bytes −51‎ Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Grimes2 | Category:Fellows of the Association for Computing Machinery | #UCB_Category 510/821 undo

curprev 19:0319:03, 5 January 2024‎ OAbot talk contribs‎ m 7,932 bytes +18‎ Open access bot: arxiv updated in citation with #oabot. undo

curprev 21:2621:26, 11 October 2023‎ Chris the speller talk contribs‎ m 7,914 bytes 0‎ →‎Awards and honors: replaced: Awards and Honors → Awards and honors undo Tag: AWB

curprev 03:2703:27, 13 August 2023‎ OAbot talk contribs‎ m 7,914 bytes +19‎ Open access bot: doi added to citation with #oabot. undo

curprev 21:5121:51, 29 January 2023‎ OAbot talk contribs‎ m 7,895 bytes +49‎ Open access bot: hdl, doi added to citation with #oabot. undo

curprev 14:3714:37, 21 November 2022‎ BattyBot talk contribs‎ 7,846 bytes −26‎ Removed Category:Year of birth missing (living people) and General fixes undo Tag: AWB

curprev 12:4512:45, 29 October 2022‎ Headbomb talk contribs‎ 7,872 bytes −7‎ ce undo

curprev 04:0704:07, 26 September 2022‎ FrescoBot talk contribs‎ m 7,879 bytes −5‎ Bot: link syntax and minor changes undo

curprev 03:5003:50, 21 September 2022‎ Citation bot talk contribs‎ 7,884 bytes +20‎ Alter: title, pages. Add: s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2366/3850 undo

curprev 21:5421:54, 8 September 2022‎ DavidGries talk contribs‎ 7,864 bytes +4,490‎ No edit summary undo

curprev 20:4120:41, 23 August 2022‎ Citation bot talk contribs‎ 3,374 bytes +56‎ Alter: title. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 1874/3841 undo

curprev 13:1413:14, 26 July 2022‎ 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk‎ 3,318 bytes +25‎ No edit summary undo

curprev 22:1022:10, 25 July 2022‎ 2a02:1812:110c:dc00:e493:f5b5:50b7:a710 talk‎ 3,293 bytes +62‎ No edit summary undo

curprev 03:0703:07, 6 May 2022‎ Ser Amantio di Nicolao talk contribs‎ 3,231 bytes +51‎ →‎top: short description undo Tag: AWB

curprev 10:0610:06, 18 September 2019‎ Monkbot talk contribs‎ m 3,180 bytes +4‎ →‎top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 23:1523:15, 5 April 2019‎ 2a02:c7d:b92:3d00:acf2:d23e:1d94:5cb0 talk‎ 3,176 bytes +37‎ No edit summary undo

curprev 20:1220:12, 2 April 2019‎ David Eppstein talk contribs‎ 3,139 bytes −40‎ Undid revision 890657964 by 2A02:C7D:B92:3D00:4DB6:E8BE:E5AF:A7DE (talk) We should only include independently-notable students here undo Tag: Undo
curprev 18:3218:32, 2 April 2019‎ 2a02:c7d:b92:3d00:4db6:e8be:e5af:a7de talk‎ 3,179 bytes +40‎ No edit summary undo

curprev 02:4802:48, 29 March 2019‎ Ser Amantio di Nicolao talk contribs‎ m 3,139 bytes +51‎ →‎External links: add category undo Tag: AWB

curprev 14:2914:29, 6 June 2017‎ Magic links bot talk contribs‎ m 3,088 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 23:2623:26, 26 January 2017‎ 24.85.232.10 talk‎ 3,084 bytes 0‎ No edit summary undo

curprev 09:2609:26, 31 October 2016‎ Solomon7968 talk contribs‎ m 3,084 bytes +59‎ link, ce etc. undo

curprev 17:3717:37, 11 September 2016‎ GreenC bot talk contribs‎ m 3,025 bytes −3‎ WaybackMedic 2 undo

curprev 23:2723:27, 21 April 2016‎ Bender235 talk contribs‎ m 3,028 bytes +1‎ →‎top: clean up; http->https (see this RfC) using AWB undo

curprev 17:3417:34, 19 April 2016‎ Cyberbot II talk contribs‎ 3,027 bytes +172‎ Rescuing 1 sources. #IABot undo

curprev 23:5523:55, 12 April 2016‎ KasparBot talk contribs‎ 2,855 bytes −261‎ migrating Persondata to Wikidata, please help, see challenges for this article undo
curprev 23:0623:06, 12 April 2016‎ Baking Soda talk contribs‎ 3,116 bytes +60‎ Tagging 2 dead links using Checklinks undo

curprev 01:2001:20, 24 December 2015‎ Mild Bill Hiccup talk contribs‎ 3,056 bytes −43‎ →‎top: a → an; POV undo

curprev 20:4820:48, 22 August 2015‎ EdYuan talk contribs‎ 3,099 bytes 0‎ No edit summary undo

curprev 16:4116:41, 28 April 2015‎ KasparBot talk contribs‎ 3,099 bytes −14‎ authority control moved to wikidata undo

curprev 13:2213:22, 17 March 2015‎ GWL88 talk contribs‎ 3,113 bytes +1‎ spelling - Nijmegen undo
curprev 13:2113:21, 17 March 2015‎ GWL88 talk contribs‎ 3,112 bytes +13‎ link undo
curprev 13:2013:20, 17 March 2015‎ GWL88 talk contribs‎ m 3,099 bytes +356‎ Radboud Excellence Initiative undo

curprev 06:4706:47, 10 July 2014‎ Waacstats talk contribs‎ 2,743 bytes +28‎ →‎External links: add persondata short description using AWB undo

curprev 23:2023:20, 1 November 2013‎ ChrisGualtieri talk contribs‎ m 2,715 bytes +2‎ General Fixes using AWB undo

curprev 11:5811:58, 31 October 2013‎ Ott2 talk contribs‎ 2,713 bytes +195‎ add citation undo

curprev 19:5519:55, 2 April 2013‎ AnomieBOT talk contribs‎ m 2,518 bytes +16‎ Dating maintenance tags: {{Refimprove}} undo
curprev 19:3519:35, 2 April 2013‎ 83.253.30.76 talk‎ 2,502 bytes +16‎ No edit summary undo

curprev 16:1816:18, 12 January 2013‎ Ground Zero talk contribs‎ 2,486 bytes −10‎ the present tense tells us the current condition of something, so "is currently" is redundant undo

curprev 17:0717:07, 23 November 2012‎ David Eppstein talk contribs‎ m 2,496 bytes −142‎ Reverted edits by 67.255.17.21 (talk) to last version by David Eppstein undo
curprev 16:1316:13, 23 November 2012‎ 67.255.17.21 talk‎ 2,638 bytes +142‎ No edit summary undo
curprev 06:4906:49, 23 November 2012‎ David Eppstein talk contribs‎ m 2,496 bytes −81‎ Reverted edits by 67.255.17.21 (talk) to last version by VIAFbot undo

31 July 2024

29 July 2024

28 July 2024

25 July 2024

6 May 2024

30 April 2024

3 March 2024

15 January 2024

5 January 2024

11 October 2023

13 August 2023

29 January 2023

21 November 2022

29 October 2022

26 September 2022

21 September 2022

8 September 2022

23 August 2022

26 July 2022

25 July 2022

6 May 2022

18 September 2019

5 April 2019

2 April 2019

29 March 2019

6 June 2017

26 January 2017

31 October 2016

11 September 2016

21 April 2016

19 April 2016

12 April 2016

24 December 2015

22 August 2015

28 April 2015

17 March 2015

10 July 2014

1 November 2013

31 October 2013

2 April 2013

12 January 2013

23 November 2012