Robert S. Boyer: Revision history

2 January 2024

• curprev 19:0319:03, 2 January 2024‎ Oronsay talk contribs‎ 3,297 bytes +247‎ added AAAI Fellow undo Tag: Visual edit

25 June 2023

• curprev 20:2820:28, 25 June 2023‎ WiseWoman talk contribs‎ m 3,050 bytes +4‎ Link added undo

25 May 2023

• curprev 04:2704:27, 25 May 2023‎ Flavbeli talk contribs‎ m 3,046 bytes +31‎ No edit summary undo

30 January 2023

• curprev 14:5014:50, 30 January 2023‎ Lol1VNIO talk contribs‎ m 3,015 bytes 0‎ →‎top: dash, replaced: Boyer–Moore string search algorithm → Boyer–Moore string-search algorithm (2) undo Tag: AWB

24 March 2022

• curprev 22:0122:01, 24 March 2022‎ Certes talk contribs‎ m 3,015 bytes −12‎ improve link: Mathematician (via WP:JWB) undo

24 February 2022

• curprev 16:4916:49, 24 February 2022‎ Skyerise talk contribs‎ 3,027 bytes +10‎ +nat undo

13 November 2021

• curprev 06:5306:53, 13 November 2021‎ BattyBot talk contribs‎ 3,017 bytes −5‎ →‎top: General fixes, replaced: |nationality = United States } → |nationality = American } undo Tag: AWB

25 February 2021

• curprev 20:1620:16, 25 February 2021‎ Roger Hui talk contribs‎ 3,022 bytes −1‎ CE: removed comma undo

21 September 2020

• curprev 20:4920:49, 21 September 2020‎ JJMC89 bot III talk contribs‎ m 3,023 bytes +23‎ Moving Category:Lisp people to Category:Lisp (programming language) people per Wikipedia:Categories for discussion/Speedy undo

8 June 2020

• curprev 16:2316:23, 8 June 2020‎ Kj cheetham talk contribs‎ 3,000 bytes +81‎ Importing Wikidata short description: "American mathematician, computer scientist and philosopher" (Shortdesc helper) undo

13 September 2019

• curprev 06:5206:52, 13 September 2019‎ BrownHairedGirl talk contribs‎ m 2,919 bytes −17‎ remove link to deleted Portal:Computer science, after WP:Miscellany for deletion/Portal:Computer science undo Tag: AWB

26 April 2019

• curprev 08:5008:50, 26 April 2019‎ 79.107.104.246 talk‎ 2,936 bytes −21‎ WP:QUOTENAME undo

28 December 2018

• curprev 02:2502:25, 28 December 2018‎ Ser Amantio di Nicolao talk contribs‎ 2,957 bytes −33‎ →‎External links: overcategorized; in subcategory for scientists by field undo Tag: AWB

17 June 2017

• curprev 16:5816:58, 17 June 2017‎ Koavf talk contribs‎ 2,990 bytes +33‎ added Category:American scientists using HotCat undo
• curprev 04:0804:08, 17 June 2017‎ Koavf talk contribs‎ m 2,957 bytes −32‎ →‎External links: Removing from parent category as it is already in a child subcategory using AWB undo

2 October 2016

• curprev 02:5202:52, 2 October 2016‎ David Eppstein talk contribs‎ 2,989 bytes +43‎ Boyer–Moore majority vote algorithm undo

24 March 2016

• curprev 12:3412:34, 24 March 2016‎ H.dryad talk contribs‎ 2,946 bytes +642‎ +infobox undo

22 March 2016

• curprev 20:0420:04, 22 March 2016‎ H.dryad talk contribs‎ 2,304 bytes +25‎ added Category:Lisp people using HotCat undo

27 February 2016

• curprev 11:5811:58, 27 February 2016‎ KasparBot talk contribs‎ 2,279 bytes −259‎ migrating Persondata to Wikidata, please help, see challenges for this article undo

18 February 2016

• curprev 18:2718:27, 18 February 2016‎ FedericoPonzi talk contribs‎ 2,538 bytes +3‎ No edit summary undo

20 June 2015

• curprev 23:2723:27, 20 June 2015‎ KasparBot talk contribs‎ 2,535 bytes +22‎ embed {{Authority control}} with wikidata information undo

18 September 2014

• curprev 17:4317:43, 18 September 2014‎ Jochen Burghardt talk contribs‎ 2,513 bytes +109‎ →‎External links: Mathematics Genealogy Project entry undo

31 March 2013

• curprev 22:4022:40, 31 March 2013‎ Waacstats talk contribs‎ 2,404 bytes +23‎ →‎External links: add persondata short description using AWB (8759) undo

23 March 2013

• curprev 18:0618:06, 23 March 2013‎ EmausBot talk contribs‎ m 2,381 bytes −24‎ Bot: Migrating 1 langlinks, now provided by Wikidata on d:Q4588776 undo

14 February 2013

• curprev 11:0511:05, 14 February 2013‎ ZéroBot talk contribs‎ m 2,405 bytes +24‎ r2.7.1) (Robot: Adding de:Robert S. Boyer undo

26 January 2013

• curprev 15:4915:49, 26 January 2013‎ Magioladitis talk contribs‎ m 2,381 bytes −18‎ fixed header names + general fixes using AWB (8863) undo

6 January 2013

• curprev 19:1119:11, 6 January 2013‎ Omnipaedista talk contribs‎ 2,399 bytes +1‎ per MOS:CAPS undo

8 December 2012

• curprev 15:5715:57, 8 December 2012‎ Tassedethe talk contribs‎ 2,398 bytes −39‎ change hat undo

10 September 2011

• curprev 22:3922:39, 10 September 2011‎ RjwilmsiBot talk contribs‎ m 2,437 bytes +235‎ →‎External links: Adding Persondata using AWB (7822) undo

1 May 2011

• curprev 02:1002:10, 1 May 2011‎ 128.6.175.44 talk‎ 2,202 bytes −52‎ No edit summary undo

26 April 2011

• curprev 23:5123:51, 26 April 2011‎ 131.179.224.184 talk‎ 2,254 bytes +52‎ ZEBRA undo

18 February 2011

• curprev 13:0913:09, 18 February 2011‎ Marco.caminati talk contribs‎ m 2,202 bytes +32‎ Added link to QED manifesto page undo

4 September 2010

• curprev 15:4315:43, 4 September 2010‎ RussBot talk contribs‎ m 2,170 bytes +17‎ Robot: Editing intentional link to disambiguation page in hatnote per WP:INTDABLINK (explanation) undo

4 July 2010

• curprev 02:5402:54, 4 July 2010‎ Shreevatsa talk contribs‎ m 2,153 bytes −7‎ the other Robert Boyer was also at UT Austin :( undo

29 April 2010

• curprev 15:0515:05, 29 April 2010‎ 67.51.67.202 talk‎ 2,160 bytes +6‎ No edit summary undo

1 February 2010

• curprev 08:1808:18, 1 February 2010‎ Cydebot talk contribs‎ m 2,154 bytes +10‎ Robot - Moving category Fellows of the American Association for Artificial Intelligence to Fellows of the Association for the Advancement of Artificial Intelligence per CFD at Wikipedia:Categories for discussion/Log/2010 January 23. undo
• curprev 08:1708:17, 1 February 2010‎ RussBot talk contribs‎ m 2,144 bytes −10‎ Robot: change redirected category Fellows of the Association for the Advancement of Artificial Intelligence to [[:Category:Fellows of the American Association for undo

31 January 2010

• curprev 12:1812:18, 31 January 2010‎ Cydebot talk contribs‎ m 2,154 bytes +10‎ Robot - Moving category Fellows of the American Association for Artificial Intelligence to Fellows of the Association for the Advancement of Artificial Intelligence per CFD at Wikipedia:Categories for discussion/Log/2010 January 23. undo

29 January 2010

• curprev 18:3618:36, 29 January 2010‎ Giftlite talk contribs‎ m 2,144 bytes −4‎ →‎Publications: simplify undo
• curprev 18:3518:35, 29 January 2010‎ Giftlite talk contribs‎ m 2,148 bytes 0‎ mv elinks down undo

23 December 2009

• curprev 19:0419:04, 23 December 2009‎ SmackBot talk contribs‎ m 2,148 bytes −16‎ Delink dates (WP:MOSUNLINKDATES) using Project:AWB undo

20 September 2009

• curprev 15:3815:38, 20 September 2009‎ Pcap talk contribs‎ m 2,164 bytes +35‎ Quick-adding category Formal methods people (using HotCat) undo

24 April 2009

• curprev 18:0118:01, 24 April 2009‎ 128.83.120.111 talk‎ 2,129 bytes +19‎ ACL2 was primarily developed by Boyer, Moore, and Kaufmann undo

22 March 2009

• curprev 02:3802:38, 22 March 2009‎ NLuchs talk contribs‎ 2,110 bytes +195‎ No edit summary undo

15 June 2008

• curprev 11:0211:02, 15 June 2008‎ 84.56.107.129 talk‎ 1,915 bytes +68‎ No edit summary undo

13 April 2008

• curprev 09:2609:26, 13 April 2008‎ RogDel talk contribs‎ m 1,847 bytes −10‎ Abbreviated "also known as" to "aka" in the 1st sentence undo

3 April 2008

• curprev 23:0323:03, 3 April 2008‎ Canadian Paul talk contribs‎ 1,857 bytes +51‎ →‎References undo

16 October 2007

• curprev 01:1101:11, 16 October 2007‎ 71.42.119.34 talk‎ 1,806 bytes 0‎ No edit summary undo
• curprev 01:1101:11, 16 October 2007‎ 71.42.119.34 talk‎ 1,806 bytes +71‎ No edit summary undo

20 July 2007

• curprev 19:5119:51, 20 July 2007‎ 89.164.34.38 talk‎ 1,735 bytes +67‎ No edit summary undo