Prêmio Herbrand: historial de revisões

5 de fevereiro de 2017

• atuant 10h51min10h51min de 5 de fevereiro de 2017‎ Cbyd discussão contribs‎ 1 281 bytes +126‎ →‎Laureados: +Laureados 2013-16 desfazer

28 de março de 2013

• atuant 14h55min14h55min de 28 de março de 2013‎ KLBot2 discussão contribs‎ m 1 155 bytes −68‎ Bot: A migrar 3 interwikis, agora providenciados por Wikidata em d:Q449390 desfazer

11 de fevereiro de 2013

• atuant 09h39min09h39min de 11 de fevereiro de 2013‎ Jml3 discussão contribs‎ 1 223 bytes +38‎ Página marcada como sem fontes (usando FastButtons) desfazer

24 de outubro de 2012

• atuant 17h35min17h35min de 24 de outubro de 2012‎ Kaktus Kid discussão contribs‎ 1 185 bytes +9‎ desfazer
• atuant 17h02min17h02min de 24 de outubro de 2012‎ Kaktus Kid discussão contribs‎ 1 176 bytes +1 176‎ ← nova página: O '''Prêmio Herbrand''' ({{lang-en|'''Herbrand Award for Distinguished Contributions to Automated Deduction'''}}) é um prêmio concedido pela [[Conference on Aut...