Bewerkingsgeschiedenis van Hoarelogica

3 jul 2018

• huidigvorige 22:243 jul 2018 22:24‎ ErikvanB overleg bijdragen‎ 5.700 bytes −4‎ Geen bewerkingssamenvatting ongedaan maken

20 jul 2017

• huidigvorige 16:4020 jul 2017 16:40‎ InternetArchiveBot overleg bijdragen‎ 5.704 bytes +43‎ 1 bron(nen) gered en 0 gelabeld als onbereikbaar #IABot (v1.4.2) ongedaan maken

26 mrt 2016

• huidigvorige 09:2826 mrt 2016 09:28‎ Hoopje overleg bijdragen‎ 5.661 bytes +19‎ →‎Bewijsregels van de Hoarelogica: parse-foutmeldingen opgelost ongedaan maken

22 mrt 2016

• huidigvorige 17:0422 mrt 2016 17:04‎ Wikiwerner overleg bijdragen‎ k 5.642 bytes −1‎ →‎Hoaretripels en correctheid: Wikipedia:Wikiproject/SpellingCheck. Help mee!, replaced: terecht kom → terechtkom met AWB ongedaan maken

11 mrt 2015

• huidigvorige 01:5311 mrt 2015 01:53‎ 195.169.216.49 overleg‎ 5.643 bytes +18‎ →‎Zwakste precondities: fix parseerfout ongedaan maken

10 mrt 2013

• huidigvorige 03:4010 mrt 2013 03:40‎ Addbot overleg bijdragen‎ k 5.625 bytes −310‎ Verplaatsing van 13 interwikilinks die op Wikidata beschikbaar zijn op d:q1375924 ongedaan maken

3 mrt 2013

• huidigvorige 11:203 mrt 2013 11:20‎ Hoopje overleg bijdragen‎ k 5.935 bytes 0‎ →‎Zwakste precondities: nog een typo ongedaan maken
• huidigvorige 11:193 mrt 2013 11:19‎ Hoopje overleg bijdragen‎ k 5.935 bytes +7‎ →‎Zwakste precondities: fix ongedaan maken

2 mrt 2013

• huidigvorige 21:512 mrt 2013 21:51‎ Hoopje overleg bijdragen‎ 5.928 bytes −4.355‎ artikel herschreven (oude artikel bestond uit behoorlijk wat onzin) ongedaan maken

10 jul 2012

• huidigvorige 11:0710 jul 2012 11:07‎ Apdency overleg bijdragen‎ k 10.283 bytes +1‎ tenminste→ten minste ongedaan maken

24 jun 2012

• huidigvorige 01:0624 jun 2012 01:06‎ LaaknorBot overleg bijdragen‎ k 10.282 bytes +24‎ Robot: toegevoegd: pt:Lógica de Hoare ongedaan maken

1 jun 2012

• huidigvorige 13:301 jun 2012 13:30‎ Joopwikibot overleg bijdragen‎ k 10.258 bytes −12‎ →‎De zwakste (vrije) preconditie: Terugbrengen bronsjabloonvarianten ongedaan maken

16 okt 2011

• huidigvorige 06:4716 okt 2011 06:47‎ EmausBot overleg bijdragen‎ k 10.270 bytes 0‎ r2.6.4) (Robot: gewijzigd: uk:Логіка Гоара ongedaan maken

13 mrt 2011

• huidigvorige 08:1313 mrt 2011 08:13‎ Luckas-bot overleg bijdragen‎ k 10.270 bytes +31‎ r2.7.1) (robot Erbij: uk:Логіка Хоара ongedaan maken

23 apr 2010

• huidigvorige 17:2523 apr 2010 17:25‎ D'ohBot overleg bijdragen‎ k 10.239 bytes +23‎ robot Erbij: sk:Hoareova logika ongedaan maken

13 dec 2009

• huidigvorige 22:1113 dec 2009 22:11‎ Luckas-bot overleg bijdragen‎ k 10.216 bytes +31‎ robot Erbij: ru:Логика Хоара ongedaan maken

11 sep 2009

• huidigvorige 11:1111 sep 2009 11:11‎ VolkovBot overleg bijdragen‎ k 10.185 bytes +23‎ robot Erbij: it:Logica di Hoare ongedaan maken

30 okt 2008

• huidigvorige 22:4730 okt 2008 22:47‎ Ptbotgourou overleg bijdragen‎ k 10.162 bytes +24‎ robot Erbij: es:Lógica de Hoare ongedaan maken

11 okt 2008

• huidigvorige 02:3511 okt 2008 02:35‎ Simeon overleg bijdragen‎ k 10.138 bytes +1‎ Categorie:Theoretische informatica verwijderd; Categorie:Logica in de informatica toegevoegd (HotCat.js) ongedaan maken

26 aug 2008

• huidigvorige 19:5626 aug 2008 19:56‎ SpBot overleg bijdragen‎ k 10.137 bytes +1‎ robot Anders: zh:霍尔逻辑 ongedaan maken

11 jun 2008

• huidigvorige 23:5811 jun 2008 23:58‎ Alexbot overleg bijdragen‎ k 10.136 bytes +24‎ robot Erbij: vi:Luận lý Hoare ongedaan maken

9 jan 2008

• huidigvorige 12:469 jan 2008 12:46‎ PixelBot overleg bijdragen‎ k 10.112 bytes +1‎ robot Anders: de:Hoare-Kalkül ongedaan maken

27 mei 2007

• huidigvorige 21:4627 mei 2007 21:46‎ Robbot overleg bijdragen‎ k 10.111 bytes +19‎ Robot-geholpen doorverwijzing: Calculus ongedaan maken

8 mei 2007

• huidigvorige 17:218 mei 2007 17:21‎ BotMultichill overleg bijdragen‎ k 10.092 bytes −1‎ robot Anders: zh:Hoare逻辑 ongedaan maken

9 nov 2006

• huidigvorige 17:209 nov 2006 17:20‎ Thijs!bot overleg bijdragen‎ k 10.093 bytes +23‎ robot Erbij: ja:ホーア論理 ongedaan maken

9 sep 2006

• huidigvorige 16:169 sep 2006 16:16‎ (:Julien:) overleg bijdragen‎ 10.070 bytes +24‎ →‎De zwakste (vrije) preconditie: fr:Logique de Hoare ongedaan maken

4 mei 2006

• huidigvorige 10:154 mei 2006 10:15‎ Servien overleg bijdragen‎ 10.046 bytes −3‎ Geen bewerkingssamenvatting ongedaan maken

13 apr 2006

• huidigvorige 10:3313 apr 2006 10:33‎ YurikBot overleg bijdragen‎ k 10.049 bytes +20‎ robot Erbij: zh:Hoare 逻辑 ongedaan maken

6 apr 2006

• huidigvorige 11:596 apr 2006 11:59‎ RobotQuistnix overleg bijdragen‎ k 10.029 bytes +22‎ robot Erbij: pl ongedaan maken

9 jan 2006

• huidigvorige 02:489 jan 2006 02:48‎ Wikix-oud overleg bijdragen‎ k 10.007 bytes −13‎ Geen bewerkingssamenvatting ongedaan maken

25 aug 2005

• huidigvorige 20:3525 aug 2005 20:35‎ RoboRex overleg bijdragen‎ k 10.020 bytes +3‎ Robot: Automated text replacement (- --([ \n\r]) + –\1) ongedaan maken

21 jun 2005

• huidigvorige 23:4721 jun 2005 23:47‎ Alex1 overleg bijdragen‎ k 10.017 bytes −39‎ Kleine tekstwijzigingen ongedaan maken
• huidigvorige 00:3321 jun 2005 00:33‎ RobotE overleg bijdragen‎ k 10.056 bytes +18‎ Robot-geholpen doorverwijzing: Vector ongedaan maken

14 mei 2005

• huidigvorige 02:3914 mei 2005 02:39‎ RobotE overleg bijdragen‎ k 10.038 bytes +21‎ robot Erbij:de ongedaan maken

1 mrt 2005

• huidigvorige 19:021 mrt 2005 19:02‎ BenTels overleg bijdragen‎ k 10.017 bytes 0‎ →‎De weakest (liberal) precondition: sp ongedaan maken

28 feb 2005

• huidigvorige 23:3728 feb 2005 23:37‎ Carol Fenijn overleg bijdragen‎ k 10.017 bytes 0‎ →‎Hoare triples en de informatica: sp (interessant!) ongedaan maken
• huidigvorige 17:0128 feb 2005 17:01‎ BenTels overleg bijdragen‎ 10.017 bytes +10.017‎ Nieuw geschreven