Dines Bjørner: Revision history

1 May 2024

• curprev 23:1323:13, 1 May 2024‎ JJMC89 bot III talk contribs‎ m 7,668 bytes −7‎ Moving Category:Fellow Members of the IEEE to Category:Fellows of the IEEE per Wikipedia:Categories for discussion/Speedy undo

3 March 2024

• curprev 02:0402:04, 3 March 2024‎ FrostlySnowman talk contribs‎ 7,675 bytes +5‎ →‎External links: Replace category to be year-specific (BRFA) undo Tag: AWB

8 January 2024

• curprev 18:0818:08, 8 January 2024‎ DavidGries talk contribs‎ 7,670 bytes +352‎ Added IFIP Fellow award to the infobox undo

12 October 2023

• curprev 19:3119:31, 12 October 2023‎ PrimeBOT talk contribs‎ m 7,318 bytes −208‎ →‎top: Task 30: parameter removal following discussion undo Tag: AWB

1 July 2023

• curprev 22:1222:12, 1 July 2023‎ Gjs238 talk contribs‎ m 7,526 bytes +12‎ Reverted edit by Gjs238 (talk) to last version by JJMC89 bot III undo Tag: Rollback
• curprev 22:0922:09, 1 July 2023‎ Gjs238 talk contribs‎ 7,514 bytes −12‎ removed Category:Academic staff of United Nations University; added Category:United Nations University staff using HotCat undo Tag: Reverted

11 February 2023

• curprev 07:4307:43, 11 February 2023‎ JJMC89 bot III talk contribs‎ m 7,526 bytes +10‎ Moving Category:United Nations University faculty to Category:Academic staff of United Nations University per Wikipedia:Categories for discussion/Speedy undo

12 January 2023

• curprev 03:0803:08, 12 January 2023‎ JJMC89 bot III talk contribs‎ m 7,516 bytes +14‎ Moving Category:Technical University of Denmark faculty to Category:Academic staff of the Technical University of Denmark per Wikipedia:Categories for discussion/Log/2023 January 3 undo

9 January 2022

• curprev 20:0220:02, 9 January 2022‎ Tassedethe talk contribs‎ m 7,502 bytes +40‎ v2.04 - Repaired 1 link to disambiguation page - (You can help) - Michael A. Jackson undo Tag: WPCleaner

11 December 2021

• curprev 17:1617:16, 11 December 2021‎ Jpbowen talk contribs‎ 7,462 bytes +914‎ Fellowship, book info, refs undo

4 June 2021

• curprev 10:1810:18, 4 June 2021‎ Simeon talk contribs‎ m 6,548 bytes +48‎ Adding local short description: "Danish computer scientist", overriding Wikidata description "computer scientist" (Shortdesc helper) undo

27 April 2021

• curprev 07:2907:29, 27 April 2021‎ ErasmusFan talk contribs‎ 6,500 bytes +409‎ New academic title undo

28 February 2021

• curprev 01:4001:40, 28 February 2021‎ Citation bot talk contribs‎ 6,091 bytes +1‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by Abductive | Category:Wikipedia articles with ACM-DL identifiers | via #UCB_Category 956/1548 undo

25 December 2020

• curprev 12:2112:21, 25 December 2020‎ Uzume talk contribs‎ 6,090 bytes +209‎ →‎top: ref undo

18 August 2019

• curprev 14:4214:42, 18 August 2019‎ Jpbowen talk contribs‎ 5,881 bytes +273‎ Updated info, added ref, category undo

3 June 2019

• curprev 06:5606:56, 3 June 2019‎ Cydebot talk contribs‎ m 5,608 bytes −9‎ Robot - Speedily moving category Academics of the United Nations University to Category:United Nations University faculty per CFDS. undo

5 March 2019

• curprev 19:4719:47, 5 March 2019‎ GoodDay talk contribs‎ m 5,617 bytes +1‎ Intro undo

11 September 2018

• curprev 22:2122:21, 11 September 2018‎ Jpbowen talk contribs‎ 5,616 bytes +177‎ Narrowed category, tidying, fact, infobox undo

30 May 2017

• curprev 00:0300:03, 30 May 2017‎ Magic links bot talk contribs‎ m 5,439 bytes +24‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

17 October 2016

• curprev 22:4222:42, 17 October 2016‎ 50.53.1.33 talk‎ 5,415 bytes +4‎ age undo
• curprev 20:1920:19, 17 October 2016‎ LiamKasbar talk contribs‎ 5,411 bytes +8‎ No edit summary undo Tags: Mobile edit Mobile web edit
• curprev 20:1720:17, 17 October 2016‎ 50.53.1.33 talk‎ 5,403 bytes −8‎ DBLP undo

25 July 2016

• curprev 01:0601:06, 25 July 2016‎ Peter Flass talk contribs‎ 5,411 bytes +4‎ chg link undo

19 February 2016

• curprev 03:4903:49, 19 February 2016‎ KasparBot talk contribs‎ 5,407 bytes −308‎ migrating Persondata to Wikidata, please help, see challenges for this article undo

22 October 2015

• curprev 03:3503:35, 22 October 2015‎ 2404:2000:2000:5::c2 talk‎ 5,715 bytes −6‎ No edit summary undo
• curprev 03:3403:34, 22 October 2015‎ 2404:2000:2000:5::c2 talk‎ 5,721 bytes −61‎ No edit summary undo

2 May 2015

• curprev 06:2806:28, 2 May 2015‎ KasparBot talk contribs‎ 5,782 bytes −14‎ authority control moved to wikidata undo

22 August 2013

• curprev 12:3412:34, 22 August 2013‎ Quizquaz talk contribs‎ 5,796 bytes +27‎ No edit summary undo
• curprev 12:1612:16, 22 August 2013‎ Quizquaz talk contribs‎ m 5,769 bytes +24‎ Edit a picture of Dines Bjørner undo

27 December 2012

• curprev 03:5403:54, 27 December 2012‎ Jesse V. talk contribs‎ m 5,745 bytes −82‎ →‎External links: tags and general fixes, removed stub tag using AWB (8842) undo

23 December 2012

• curprev 23:3023:30, 23 December 2012‎ Fadesga talk contribs‎ 5,827 bytes +1‎ →‎External links undo

17 November 2012

• curprev 05:0205:02, 17 November 2012‎ VIAFbot talk contribs‎ m 5,826 bytes +36‎ Added the {{Authority control}} template with VIAF number 85519978: http://viaf.org/viaf/85519978 . Please report any errors. undo

13 October 2012

• curprev 23:5523:55, 13 October 2012‎ Tassedethe talk contribs‎ m 5,790 bytes +33‎ WPCleaner v1.19 - Repaired 1 link to disambiguation page - (You can help) - Zhiming Liu undo

6 May 2012

• curprev 15:2215:22, 6 May 2012‎ Helpful Pixie Bot talk contribs‎ m 5,757 bytes +15‎ ISBNs (Build KC) undo

10 April 2012

• curprev 00:0500:05, 10 April 2012‎ Jpbowen talk contribs‎ 5,742 bytes −4‎ Category correction undo
• curprev 00:0400:04, 10 April 2012‎ Jpbowen talk contribs‎ 5,746 bytes +995‎ Categories, metadata, info box, tidying undo

22 November 2011

• curprev 14:2314:23, 22 November 2011‎ Debresser talk contribs‎ m 4,751 bytes −3‎ Additional fix using AWB undo
• curprev 13:4813:48, 22 November 2011‎ Debresser talk contribs‎ m 4,754 bytes +3‎ Template improved using AWB undo
• curprev 06:3606:36, 22 November 2011‎ Debresser talk contribs‎ m 4,751 bytes 0‎ →‎External links: Very minor. undo

19 March 2011

• curprev 13:5813:58, 19 March 2011‎ Cydebot talk contribs‎ m 4,751 bytes +14‎ Robot - Moving category IEEE Fellows to Category:Fellow Members of the IEEE per CFD at Wikipedia:Categories for discussion/Log/2011 February 18. undo

18 February 2011

• curprev 14:5814:58, 18 February 2011‎ Cydebot talk contribs‎ m 4,737 bytes −52‎ Robot - Speedily moving category Fellows of the Institute of Electrical and Electronics Engineers to IEEE Fellows per CFDS. undo

16 December 2010

• curprev 18:5918:59, 16 December 2010‎ Jpbowen talk contribs‎ 4,789 bytes +55‎ Added category undo
• curprev 18:4118:41, 16 December 2010‎ Jpbowen talk contribs‎ 4,734 bytes +105‎ DBLP, tidying undo

1 November 2010

• curprev 11:1211:12, 1 November 2010‎ Cprisacariu talk contribs‎ m 4,629 bytes −9‎ I removed the mention of John von Neumann Medal because D.Bjørner did not receive this honor. Check the Wikipedia site of the prize winners list and the web page of D.Bjørner for confirmation. undo

17 October 2010

• curprev 20:1520:15, 17 October 2010‎ RjwilmsiBot talk contribs‎ m 4,638 bytes +235‎ →‎External links: Adding Persondata using AWB (7245) undo

14 May 2010

• curprev 16:3916:39, 14 May 2010‎ 87.113.109.59 talk‎ 4,403 bytes −1‎ No edit summary undo

27 January 2010

• curprev 00:5700:57, 27 January 2010‎ Jpbowen talk contribs‎ 4,404 bytes +842‎ Added refs, 2007 info undo

22 December 2009

• curprev 13:3313:33, 22 December 2009‎ SmackBot talk contribs‎ m 3,562 bytes −8‎ Delink dates (WP:MOSUNLINKDATES) using Project:AWB undo

3 November 2009

• curprev 06:2306:23, 3 November 2009‎ Woohookitty talk contribs‎ m 3,570 bytes +12‎ WikiCleaner 0.98 - Repairing link to disambiguation page - You can help! undo

23 October 2009

• curprev 10:1210:12, 23 October 2009‎ 62.242.41.24 talk‎ 3,558 bytes +57‎ No edit summary undo

19 September 2009

• curprev 20:2820:28, 19 September 2009‎ Jpbowen talk contribs‎ m 3,501 bytes +38‎ Added category undo

13 January 2009

• curprev 15:3015:30, 13 January 2009‎ Waacstats talk contribs‎ m 3,463 bytes +6‎ Stub-sorting. You can help! undo

4 October 2008

• curprev 09:5209:52, 4 October 2008‎ Waacstats talk contribs‎ m 3,457 bytes +25‎ Stub-sorting. You can help! undo

7 August 2008

• curprev 21:3221:32, 7 August 2008‎ Jpbowen talk contribs‎ m 3,432 bytes +70‎ Added "see also" section undo

14 June 2008

• curprev 12:4712:47, 14 June 2008‎ Lightbot talk contribs‎ 3,362 bytes −45‎ Units/dates/other undo

23 May 2008

• curprev 01:1801:18, 23 May 2008‎ Rettetast talk contribs‎ m 3,407 bytes +40‎ Reverted edits by Archanamiya (talk) to last version by Chanheigeorge undo

20 May 2008

• curprev 18:1118:11, 20 May 2008‎ Vanished user ikijeirw34iuaeolaseriffic talk contribs‎ 3,367 bytes −40‎ Adding {{Lifetime}}. undo

18 May 2008

• curprev 01:5201:52, 18 May 2008‎ Chanheigeorge talk contribs‎ m 3,407 bytes +33‎ No edit summary undo

1 September 2007

• curprev 14:4714:47, 1 September 2007‎ AMbot talk contribs‎ 3,374 bytes +44‎ clean up and re-categorisation per CFD August 27 , replaced: Category:Fellows of the IEEE → Category:Fellows of the Institute of E undo

23 May 2007

• curprev 19:5019:50, 23 May 2007‎ Jpbowen talk contribs‎ m 3,330 bytes −121‎ Tidying undo

1 May 2007

• curprev 08:3408:34, 1 May 2007‎ Fbahr talk contribs‎ 3,451 bytes +68‎ No edit summary undo

5 March 2007

• curprev 16:5616:56, 5 March 2007‎ RobotG talk contribs‎ m 3,383 bytes +31‎ Bot: Changing Category:Fellows of the ACM per CFD, see Wikipedia:Categories for discussion/Log/2007 February 27 undo

3 January 2007

• curprev 19:0919:09, 3 January 2007‎ 172.148.252.54 talk‎ 3,352 bytes −48‎ No edit summary undo

25 October 2006

• curprev 23:4823:48, 25 October 2006‎ Valentinian talk contribs‎ 3,400 bytes +47‎ →‎External links: +cat undo

28 May 2006

• curprev 01:2301:23, 28 May 2006‎ Alai talk contribs‎ m 3,353 bytes +5‎ stub sorting using AWB undo

1 May 2006

• curprev 18:2418:24, 1 May 2006‎ Salix alba talk contribs‎ 3,348 bytes +128‎ change links from Springer-Verlag to Springer Science+Business Media using AWB undo

25 April 2006

• curprev 02:1602:16, 25 April 2006‎ Syrthiss talk contribs‎ 3,220 bytes −1‎ recat undo

24 March 2006

• curprev 02:0902:09, 24 March 2006‎ JLaTondre talk contribs‎ m 3,221 bytes +36‎ disambig resolution using AWB undo

27 February 2006

• curprev 07:3107:31, 27 February 2006‎ Gene Nygaard talk contribs‎ 3,185 bytes −10‎ indexing undo

30 January 2006

• curprev 03:2903:29, 30 January 2006‎ D6 talk contribs‎ m 3,195 bytes +43‎ adding category:Living people undo

14 December 2005

• curprev 14:3114:31, 14 December 2005‎ Jpbowen talk contribs‎ m 3,152 bytes +11‎ Formatting change undo
• curprev 14:3114:31, 14 December 2005‎ Jpbowen talk contribs‎ m 3,141 bytes +11‎ Updated dates undo
• curprev 09:0009:00, 14 December 2005‎ Jpbowen talk contribs‎ 3,130 bytes +306‎ Added categories, further information undo

13 December 2005

• curprev 12:1812:18, 13 December 2005‎ Jpbowen talk contribs‎ m 2,824 bytes +47‎ Added category undo

9 December 2005

• curprev 20:2220:22, 9 December 2005‎ Bluemoose talk contribs‎ 2,777 bytes −9‎ Assisted re-categorisation undo

22 October 2005

• curprev 17:5817:58, 22 October 2005‎ 203.78.92.15 talk‎ 2,786 bytes +4‎ UNU-IIST undo

19 September 2005

• curprev 00:3000:30, 19 September 2005‎ Jpbowen talk contribs‎ m 2,782 bytes −18‎ Stub corrections undo
• curprev 00:2900:29, 19 September 2005‎ Jpbowen talk contribs‎ m 2,800 bytes +89‎ Added "Formal methods people" category undo

5 September 2005

• curprev 16:5616:56, 5 September 2005‎ Twthmoses talk contribs‎ 2,711 bytes −9‎ little here and there undo

31 August 2005

• curprev 23:1623:16, 31 August 2005‎ Jpbowen talk contribs‎ m 2,720 bytes +756‎ Additional biographical information and links added undo

29 August 2005

• curprev 23:1423:14, 29 August 2005‎ Jpbowen talk contribs‎ m 1,964 bytes +57‎ →‎External links undo
• curprev 20:1220:12, 29 August 2005‎ Jpbowen talk contribs‎ m 1,907 bytes −93‎ →‎External links undo
• curprev 20:1020:10, 29 August 2005‎ Jpbowen talk contribs‎ m 2,000 bytes 0‎ No edit summary undo
• curprev 20:0920:09, 29 August 2005‎ Jpbowen talk contribs‎ m 2,000 bytes +2,000‎ No edit summary