Cláusula de Horn: historial de revisões

1 de abril de 2019

• atuant 20h24min20h24min de 1 de abril de 2019‎ 95.88.228.164 discussão‎ 4 914 bytes +26‎ acrescentada a definicao para a clausula de horn com exatamente um literal positivo. desfazer Etiqueta: Editor Visual

30 de março de 2019

• atuant 10h32min10h32min de 30 de março de 2019‎ He7d3r discussão contribs‎ 4 888 bytes +16‎ Desfeita parcialmente a edição 34462503 de Albmont desfazer
• atuant 10h25min10h25min de 30 de março de 2019‎ He7d3r discussão contribs‎ 4 872 bytes +31‎ ajuste em referência; -hack obsoleto desde o mw:MediaWiki 1.19 (ver também phab:rSVN104498 e phab:T33406#344368), format. <math> e pontuação, -predef's obsoletas desfazer

29 de março de 2019

• atuant 14h04min14h04min de 29 de março de 2019‎ InternetArchiveBot discussão contribs‎ 4 841 bytes +43‎ Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14) desfazer

29 de dezembro de 2018

• atuant 12h03min12h03min de 29 de dezembro de 2018‎ Texvc2LaTeXBot discussão contribs‎ m 4 798 bytes +1‎ WP:BOT: Substituindo sintaxe matemática obsoleta de acordo com mw:Extension:Math/Roadmap desfazer

5 de maio de 2013

• atuant 23h44min23h44min de 5 de maio de 2013‎ 186.206.32.158 discussão‎ 4 797 bytes +4‎ desfazer

27 de abril de 2013

• atuant 23h06min23h06min de 27 de abril de 2013‎ Jlcvp discussão contribs‎ 4 793 bytes +2‎ corrigido equivalência lógica da REGRA, (trocado ORs por ANDs) desfazer

28 de março de 2013

• atuant 11h54min11h54min de 28 de março de 2013‎ KLBot2 discussão contribs‎ m 4 791 bytes −299‎ Bot: A migrar 13 interwikis, agora providenciados por Wikidata em d:Q933932 desfazer

15 de março de 2013

• atuant 13h12min13h12min de 15 de março de 2013‎ Albmont discussão contribs‎ 5 090 bytes +1 477‎ Expandindo e referenciando com base em texto de Universidade que espero que não seja mirror da wiki.en desfazer

9 de outubro de 2012

• atuant 21h16min21h16min de 9 de outubro de 2012‎ Albmont discussão contribs‎ m 3 613 bytes +36‎ Que horror, seis anos sem fontes! desfazer

22 de janeiro de 2012

• atuant 10h31min10h31min de 22 de janeiro de 2012‎ FMTbot discussão contribs‎ m 3 577 bytes +46‎ Checkwiki + ajustes desfazer

22 de julho de 2011

• atuant 06h24min06h24min de 22 de julho de 2011‎ EmausBot discussão contribs‎ m 3 531 bytes +29‎ r2.6.4) (Robô: A adicionar: kk:Хорн өрнегі desfazer

27 de julho de 2009

• atuant 21h50min21h50min de 27 de julho de 2009‎ DarwIn discussão contribs‎ 3 502 bytes −171‎ Checkwiki - Limpeza e Manutenção (Lista 64) Ⓣ desfazer

19 de julho de 2009

• atuant 20h42min20h42min de 19 de julho de 2009‎ Rubinbot discussão contribs‎ m 3 673 bytes +35‎ Bot: Adicionando: ru:Дизъюнкт Хорна desfazer

5 de fevereiro de 2009

• atuant 17h23min17h23min de 5 de fevereiro de 2009‎ ArthurBot discussão contribs‎ m 3 638 bytes 0‎ Bot: Modificando: nl:Horn-clausule desfazer

25 de agosto de 2008

• atuant 12h43min12h43min de 25 de agosto de 2008‎ Ptbotgourou discussão contribs‎ m 3 638 bytes +2‎ Bot: Modificando: zh:霍恩子句 desfazer

4 de julho de 2008

• atuant 20h23min20h23min de 4 de julho de 2008‎ 143.107.231.49 discussão‎ 3 636 bytes +1‎ desfazer

25 de outubro de 2007

• atuant 18h49min18h49min de 25 de outubro de 2007‎ Thijs!bot discussão contribs‎ m 3 635 bytes +21‎ Bot: Adicionando: nl:Horn clausule desfazer

4 de agosto de 2007

• atuant 05h09min05h09min de 4 de agosto de 2007‎ Thijs!bot discussão contribs‎ m 3 614 bytes +20‎ Bot: Adicionando: ja:ホーン節 desfazer

16 de junho de 2007

• atuant 02h57min02h57min de 16 de junho de 2007‎ Hivakun discussão contribs‎ 3 594 bytes −4‎ desfazer

21 de abril de 2007

• atuant 21h28min21h28min de 21 de abril de 2007‎ 201.39.50.199 discussão‎ 3 598 bytes +31‎ desfazer
• atuant 21h20min21h20min de 21 de abril de 2007‎ 201.39.50.199 discussão‎ 3 567 bytes +177‎ desfazer

18 de dezembro de 2006

• atuant 16h33min16h33min de 18 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 390 bytes +1‎ desfazer
• atuant 16h31min16h31min de 18 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 389 bytes +4‎ desfazer

17 de dezembro de 2006

• atuant 21h03min21h03min de 17 de dezembro de 2006‎ 201.8.187.62 discussão‎ 3 385 bytes +34‎ desfazer
• atuant 21h01min21h01min de 17 de dezembro de 2006‎ 201.8.187.62 discussão‎ 3 351 bytes +62‎ desfazer
• atuant 20h56min20h56min de 17 de dezembro de 2006‎ 201.8.187.62 discussão‎ 3 289 bytes +191‎ desfazer

15 de dezembro de 2006

• atuant 15h24min15h24min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 098 bytes −106‎ →‎Veja também desfazer
• atuant 15h23min15h23min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 204 bytes +25‎ →‎Veja também desfazer
• atuant 15h22min15h22min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 179 bytes +82‎ desfazer
• atuant 15h20min15h20min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 097 bytes +4‎ desfazer
• atuant 15h19min15h19min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 3 093 bytes +1‎ desfazer

14 de dezembro de 2006

• atuant 00h26min00h26min de 14 de dezembro de 2006‎ Rafael Keller Menezes discussão contribs‎ 3 092 bytes +3 092‎ ← nova página: Na lógica, uma '''cláusula de Horn''' é uma cláusula (disjunção de literais) com no máximo um lite...