Semântica Prova-Teórica: historial de revisões

4 de fevereiro de 2024

• atuant 19h20min19h20min de 4 de fevereiro de 2024‎ Cosmo Skerry discussão contribs‎ m 3 133 bytes −3‎ padronização de títulos de seção +correções gerais ativado, typos fixed: idéias → ideias desfazer Etiqueta: AWB

21 de maio de 2019

• atuant 16h37min16h37min de 21 de maio de 2019‎ InternetArchiveBot discussão contribs‎ 3 136 bytes +43‎ Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14) desfazer

15 de junho de 2017

• atuant 17h00min17h00min de 15 de junho de 2017‎ Tuga1143 discussão contribs‎ m 3 093 bytes −15‎ v1.42 - Corrigido usando WP:PCW (Predefinição contém a palavra "predefinição") desfazer Etiqueta: WPCleaner

21 de novembro de 2015

• atuant 18h10min18h10min de 21 de novembro de 2015‎ 84.152.227.2 discussão‎ 3 108 bytes +185‎ →‎Referencias desfazer

1 de agosto de 2015

• atuant 01h30min01h30min de 1 de agosto de 2015‎ 189.81.213.177 discussão‎ 2 923 bytes +22‎ terminologia desfazer Etiqueta: Editor Visual
• atuant 01h21min01h21min de 1 de agosto de 2015‎ 179.197.65.3 discussão‎ 2 901 bytes −8‎ ortografia desfazer Etiqueta: Editor Visual
• atuant 01h05min01h05min de 1 de agosto de 2015‎ César Bulhões discussão contribs‎ 2 909 bytes −3‎ desfazer Etiqueta: Editor Visual
• atuant 01h04min01h04min de 1 de agosto de 2015‎ César Bulhões discussão contribs‎ 2 912 bytes +1‎ desfazer Etiqueta: Editor Visual
• atuant 00h57min00h57min de 1 de agosto de 2015‎ César Bulhões discussão contribs‎ m 2 911 bytes 0‎ César Bulhões moveu Semântica da Prova Teórica para Semântica Prova-Teórica desfazer

31 de julho de 2015

• atuant 23h21min23h21min de 31 de julho de 2015‎ César Bulhões discussão contribs‎ 2 911 bytes +2 911‎ Criado ao traduzir a página "Proof-theoretic semantics" Etiqueta: Tradução de Conteúdo