Teorema de Herbrand: historial de revisões

13 de novembro de 2019

• atuant 00h47min00h47min de 13 de novembro de 2019‎ Edu! discussão contribs‎ 5 275 bytes −4‎ desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel Edição móvel avançada

26 de março de 2013

• atuant 17h43min17h43min de 26 de março de 2013‎ KLBot2 discussão contribs‎ m 5 279 bytes −169‎ Bot: A migrar 6 interwikis, agora providenciados por Wikidata em d:Q1930577 desfazer

20 de fevereiro de 2012

• atuant 02h58min02h58min de 20 de fevereiro de 2012‎ FMTbot discussão contribs‎ m 5 448 bytes −53‎ Checkwiki + ajustes desfazer

10 de agosto de 2011

• atuant 00h55min00h55min de 10 de agosto de 2011‎ Reporter discussão contribs‎ m 5 501 bytes −67‎ Ajustes desfazer

8 de julho de 2011

• atuant 00h49min00h49min de 8 de julho de 2011‎ PixelBot discussão contribs‎ m 5 568 bytes +27‎ Robô: A adicionar: en A remover: pt A modificar: ja, zh desfazer
• atuant 00h23min00h23min de 8 de julho de 2011‎ 189.1.10.44 discussão‎ 5 541 bytes +5‎ desfazer

7 de julho de 2011

• atuant 23h52min23h52min de 7 de julho de 2011‎ 187.78.42.183 discussão‎ 5 536 bytes −52‎ desfazer Etiqueta: Ligações internas removidas
• atuant 23h51min23h51min de 7 de julho de 2011‎ 187.78.42.183 discussão‎ 5 588 bytes +4 557‎ desfazer Etiqueta: Repetição de caracteres

8 de março de 2010

• atuant 05h21min05h21min de 8 de março de 2010‎ Luckas-bot discussão contribs‎ m 1 031 bytes +32‎ Bot: Adicionando: ja:エルブランの定理 desfazer

9 de outubro de 2008

• atuant 19h19min19h19min de 9 de outubro de 2008‎ SpBot discussão contribs‎ m 999 bytes −3‎ Bot: Modificando: zh:埃尔布朗定理 desfazer

21 de maio de 2008

• atuant 20h47min20h47min de 21 de maio de 2008‎ Louperibot discussão contribs‎ m 1 002 bytes +14‎ Bot: Adicionando: zh:赫尔不兰特定理 Modificando: en:Herbrand's theorem desfazer

29 de maio de 2007

• atuant 14h53min14h53min de 29 de maio de 2007‎ Salgueiro discussão contribs‎ 988 bytes +24‎ subcat desfazer

16 de dezembro de 2006

• atuant 21h14min21h14min de 16 de dezembro de 2006‎ Maximiliano.Guerra discussão contribs‎ 964 bytes +964‎ ← nova página: Em lógica matemática, '''o teorema de Herbrand''' é um resultado básico de Jacques Herbrand. Ele essencialmente declara que na lógica de primeira ordem f...