Forma normal prenex: historial de revisões

Ver registos para esta página (ver o registo do filtro de edições)

Filtrar revisõesExpandirOcultar

Até à data:

Filtro de etiquetas:

Inverter seleção

Ferramentas:

Discussões:

Nenhuma proposta de eliminação
Nenhuma proposta de destaque
Nenhuma proposta de revalidação de destaque

Para outros detalhes da página, clique em "Informações da página" na barra lateral à esquerda. Para mais informações, consulte as páginas de ajuda: Histórico e Sumário de edição.
Legenda:

atu: diferença da versão atual
ant: diferença da versão anterior
m: edição menor
→‎: edição de se(c)ção

atuant 03h59min03h59min de 15 de maio de 2020‎ 2804:14c:658e:4193:cd1:2ead:2920:13d0 discussão‎ 10 663 bytes 0‎ desfazer Etiqueta: Editor Visual

atuant 14h53min14h53min de 26 de maio de 2019‎ Tuga1143 discussão contribs‎ m 10 663 bytes −8‎ Substituição de predefinições obsoletas desfazer

atuant 17h00min17h00min de 9 de janeiro de 2019‎ 82.155.247.61 discussão‎ 10 671 bytes +39‎ Correção do título. desfazer Etiqueta: Editor Visual

atuant 14h58min14h58min de 15 de abril de 2018‎ 89.154.70.176 discussão‎ 10 632 bytes −8‎ Corrigi erros ortográficos, embora não consegui alterar o título da página, que também tem erro (falta um 'a' no final) desfazer Etiqueta: Editor Visual

atuant 21h46min21h46min de 9 de janeiro de 2017‎ 89.115.165.122 discussão‎ 10 640 bytes +16‎ Correções ortográficas desfazer Etiqueta: Editor Visual

atuant 16h21min16h21min de 31 de março de 2016‎ 186.238.250.98 discussão‎ 10 624 bytes −46‎ →‎Lógica Intuicionista desfazer

atuant 03h40min03h40min de 6 de outubro de 2014‎ Gualeve discussão contribs‎ 10 670 bytes −1‎ →‎Implicação: Corrigiu erro ortográfico desfazer Etiquetas: Edição via dispositivo móvel Edição via aplic. móvel

atuant 13h07min13h07min de 21 de abril de 2013‎ 177.40.248.223 discussão‎ 10 671 bytes 0‎ desfazer

atuant 12h32min12h32min de 28 de março de 2013‎ Addbot discussão contribs‎ m 10 671 bytes −226‎ A migrar 10 interwikis, agora providenciados por Wikidata em d:q281854 desfazer

atuant 05h20min05h20min de 29 de julho de 2012‎ Febo&Minerva discussão contribs‎ 10 897 bytes +1‎ desfazer

atuant 13h09min13h09min de 7 de junho de 2012‎ Hmscj discussão contribs‎ 10 896 bytes +4 582‎ desfazer

atuant 01h15min01h15min de 10 de fevereiro de 2012‎ FMTbot discussão contribs‎ m 6 314 bytes +90‎ Checkwiki + ajustes desfazer

atuant 21h06min21h06min de 19 de maio de 2011‎ WikitanvirBot discussão contribs‎ m 6 224 bytes +21‎ r2.7.1) (Bot: Adicionando: es:Forma prenexa desfazer

atuant 15h47min15h47min de 5 de setembro de 2008‎ VolkovBot discussão contribs‎ m 6 203 bytes +23‎ Bot: Adicionando: ja:冠頭標準形 desfazer

atuant 01h08min01h08min de 15 de junho de 2008‎ SieBot discussão contribs‎ m 6 180 bytes +22‎ Bot: Adicionando: hu:Prenex-formula desfazer

atuant 09h22min09h22min de 26 de outubro de 2007‎ AlleborgoBot discussão contribs‎ m 6 158 bytes −8‎ Bot: Modificando: it:Forma prenessa desfazer

atuant 02h37min02h37min de 24 de outubro de 2007‎ BotMultichill discussão contribs‎ m 6 166 bytes +30‎ Bot: Adicionando: it:Forma normale prenessa desfazer

atuant 07h23min07h23min de 9 de setembro de 2007‎ Arthur Buchsbaum discussão contribs‎ 6 136 bytes −2‎ desfazer

atuant 05h24min05h24min de 1 de maio de 2007‎ SieBot discussão contribs‎ m 6 138 bytes +26‎ Bot: Adicionando: nl:Prenex-normaalvorm desfazer

atuant 09h27min09h27min de 1 de fevereiro de 2007‎ Thijs!bot discussão contribs‎ m 6 112 bytes +21‎ Bot: Adicionando: fr:Forme prénexe desfazer

atuant 09h29min09h29min de 21 de dezembro de 2006‎ Salgueiro discussão contribs‎ 6 091 bytes −48‎ desfazer

atuant 00h55min00h55min de 20 de dezembro de 2006‎ 201.73.157.200 discussão‎ 6 139 bytes +154‎ →‎Exemplo desfazer

atuant 16h28min16h28min de 16 de dezembro de 2006‎ Arthorius discussão contribs‎ 1 995 bytes +22‎ →‎Veja também desfazer
atuant 16h27min16h27min de 16 de dezembro de 2006‎ Arthorius discussão contribs‎ 1 973 bytes −27‎ desfazer

atuant 21h07min21h07min de 15 de dezembro de 2006‎ RenanCruz discussão contribs‎ 2 000 bytes +8‎ desfazer
atuant 20h31min20h31min de 15 de dezembro de 2006‎ 201.73.157.195 discussão‎ 1 992 bytes +93‎ desfazer

atuant 01h35min01h35min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 1 899 bytes +34‎ desfazer
atuant 01h25min01h25min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 1 865 bytes −20‎ desfazer
atuant 00h40min00h40min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ m 1 885 bytes 0‎ Forma Normal Prenex movido para Forma normal prenex: convenção de nomeclatura desfazer

atuant 21h02min21h02min de 13 de dezembro de 2006‎ 201.73.157.190 discussão‎ 1 885 bytes +6‎ →‎Veja também desfazer
atuant 21h02min21h02min de 13 de dezembro de 2006‎ 201.73.157.190 discussão‎ 1 879 bytes +14‎ →‎Veja também desfazer
atuant 20h59min20h59min de 13 de dezembro de 2006‎ 201.73.157.190 discussão‎ 1 865 bytes +14‎ desfazer
atuant 20h59min20h59min de 13 de dezembro de 2006‎ 201.73.157.190 discussão‎ 1 851 bytes +25‎ desfazer

Obtida de "https://pt.wikipedia.org/wiki/Forma_normal_prenex"