Bewerkingsgeschiedenis van Horn-clausule

2 nov 2018

• huidigvorige 21:572 nov 2018 21:57‎ Texvc2LaTeXBot overleg bijdragen‎ k 3.538 bytes +4‎ Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap ongedaan maken

24 dec 2014

• huidigvorige 16:1024 dec 2014 16:10‎ JRB overleg bijdragen‎ k 3.534 bytes 0‎ →‎Bewijzen van stellingen ongedaan maken
• huidigvorige 16:1024 dec 2014 16:10‎ JRB overleg bijdragen‎ k 3.534 bytes 0‎ →‎Voorbeelden ongedaan maken

7 jul 2014

• huidigvorige 12:367 jul 2014 12:36‎ Bajansen overleg bijdragen‎ 3.534 bytes +1‎ Geen bewerkingssamenvatting ongedaan maken

13 apr 2013

• huidigvorige 18:1513 apr 2013 18:15‎ Kleuske overleg bijdragen‎ 3.533 bytes −1.677‎ Sorry... Bron? Versie 37153412 van Kleuske (overleg) ongedaan gemaakt. ongedaan maken
• huidigvorige 18:0313 apr 2013 18:03‎ Kleuske overleg bijdragen‎ 5.210 bytes +1.677‎ Goeie versie terug ongedaan maken
• huidigvorige 18:0113 apr 2013 18:01‎ Kleuske overleg bijdragen‎ k 3.533 bytes +3.481‎ Wijzigingen door Kleuske (Overleg) hersteld tot de laatste versie door Addbot ongedaan maken
• huidigvorige 18:0113 apr 2013 18:01‎ Kleuske overleg bijdragen‎ k 52 bytes −5.158‎ Verwijst door naar Horn-clausule#Horn-vervulbaarheid ongedaan maken
• huidigvorige 18:0013 apr 2013 18:00‎ Kleuske overleg bijdragen‎ 5.210 bytes +1.677‎ Geen bewerkingssamenvatting ongedaan maken

14 mrt 2013

• huidigvorige 10:0114 mrt 2013 10:01‎ Addbot overleg bijdragen‎ k 3.533 bytes −303‎ Robot: Verplaatsing van 13 interwikilinks. Deze staan nu op Wikidata onder d:q933932 ongedaan maken

19 nov 2012

• huidigvorige 17:4619 nov 2012 17:46‎ Hoopje overleg bijdragen‎ 3.836 bytes +13‎ Nederlands ongedaan maken

22 jul 2011

• huidigvorige 08:2422 jul 2011 08:24‎ EmausBot overleg bijdragen‎ k 3.823 bytes +28‎ r2.6.4) (Robot: toegevoegd: kk:Хорн өрнегі ongedaan maken

14 sep 2010

• huidigvorige 22:1714 sep 2010 22:17‎ MrBlueBot overleg bijdragen‎ k 3.795 bytes −25‎ min Categorie:Normaalvorm (per WP:TVC) ongedaan maken

28 nov 2009

• huidigvorige 22:5828 nov 2009 22:58‎ Kwiki overleg bijdragen‎ 3.820 bytes +1‎ Geen bewerkingssamenvatting ongedaan maken

19 jul 2009

• huidigvorige 22:4219 jul 2009 22:42‎ Rubinbot overleg bijdragen‎ k 3.819 bytes +35‎ robot Erbij: ru:Дизъюнкт Хорна ongedaan maken

4 feb 2009

• huidigvorige 19:544 feb 2009 19:54‎ Maiella overleg bijdragen‎ 3.784 bytes 0‎ "horn-clausule" ongedaan maken
• huidigvorige 19:494 feb 2009 19:49‎ Maiella overleg bijdragen‎ k 3.784 bytes 0‎ Titel van Horn clausule gewijzigd in Horn-clausule ongedaan maken

5 nov 2008

• huidigvorige 02:305 nov 2008 02:30‎ Simeon overleg bijdragen‎ k 3.784 bytes +26‎ Categorie:Normaalvorm toegevoegd (HotCat.js) ongedaan maken

11 okt 2008

• huidigvorige 02:2011 okt 2008 02:20‎ Simeon overleg bijdragen‎ k 3.758 bytes +19‎ Categorie:Logica verwijderd; Categorie:Logica in de informatica toegevoegd (HotCat.js) ongedaan maken

25 aug 2008

• huidigvorige 14:4225 aug 2008 14:42‎ Ptbotgourou overleg bijdragen‎ k 3.739 bytes +2‎ robot Anders: zh:霍恩子句 ongedaan maken

28 feb 2008

• huidigvorige 22:5128 feb 2008 22:51‎ Theo Assen overleg bijdragen‎ k 3.737 bytes +33‎ linkcorrectie ongedaan maken

29 jan 2008

• huidigvorige 00:4729 jan 2008 00:47‎ Simeon overleg bijdragen‎ k 3.704 bytes −2‎ →‎Varianten ongedaan maken

28 jan 2008

• huidigvorige 23:5928 jan 2008 23:59‎ Vis met 1 oog overleg bijdragen‎ 3.706 bytes −10‎ Geen bewerkingssamenvatting ongedaan maken

15 nov 2007

• huidigvorige 15:5915 nov 2007 15:59‎ Simeon overleg bijdragen‎ 3.716 bytes −7‎ deze zijn gerelateerd maar niet hetzelfde (zie bijvoorbeeld en:Mathematical logic) ongedaan maken

14 nov 2007

• huidigvorige 23:1414 nov 2007 23:14‎ Peter b overleg bijdragen‎ k 3.723 bytes +7‎ Geen bewerkingssamenvatting ongedaan maken

25 okt 2007

• huidigvorige 20:4725 okt 2007 20:47‎ Simeon overleg bijdragen‎ 3.716 bytes +3.716‎ nieuw, gebaseerd op Engelstalige Wikipedia