Isomorfismo de Curry-Howard: historial de revisões

5 de dezembro de 2023

• atuant 03h48min03h48min de 5 de dezembro de 2023‎ Bernardo Botto discussão contribs‎ m 36 224 bytes +3‎ Desfeita(s) uma ou mais edições de Zuios9567 desfazer Etiquetas: Reversão e Avisos Reversão manual
• atuant 03h40min03h40min de 5 de dezembro de 2023‎ Zuios9567 discussão contribs‎ 36 221 bytes −3‎ desfazer Etiquetas: Revertida Edição via dispositivo móvel Edição feita através do sítio móvel Tarefa para recém-chegados Sugerida: adicionar hiperligações

3 de abril de 2021

• atuant 16h08min16h08min de 3 de abril de 2021‎ InternetArchiveBot discussão contribs‎ 36 224 bytes +76‎ Resgatando 0 fontes e marcando 2 como inativas.) #IABot (v2.0.8 desfazer

24 de abril de 2019

• atuant 06h17min06h17min de 24 de abril de 2019‎ InternetArchiveBot discussão contribs‎ 36 148 bytes +40‎ Resgatando 2 fontes e marcando 0 como inativas. #IABot (v2.0beta14) desfazer

10 de novembro de 2018

• atuant 01h17min01h17min de 10 de novembro de 2018‎ InternetArchiveBot discussão contribs‎ 36 108 bytes +46‎ Resgatando 0 fontes e marcando 1 como inativas. #IABot (v2.0beta10) desfazer

25 de junho de 2018

• atuant 21h08min21h08min de 25 de junho de 2018‎ Clarice Reis discussão contribs‎ m 36 062 bytes +388‎ traduzindo nome/parâmetro nas citações, outros ajustes usando script desfazer

6 de agosto de 2017

• atuant 23h18min23h18min de 6 de agosto de 2017‎ Alberto79 discussão contribs‎ 35 674 bytes +3‎ →‎Formulação geral desfazer

13 de março de 2017

• atuant 22h29min22h29min de 13 de março de 2017‎ Dbastro discussão contribs‎ m 35 671 bytes −39‎ peq. ajustes, typos fixed: principio → princípio utilizando AWB desfazer

15 de dezembro de 2014

• atuant 13h46min13h46min de 15 de dezembro de 2014‎ Rodrigolopesbot discussão contribs‎ m 35 710 bytes −11‎ ajuste, replaced: Quantificador Universal → Quantificador universal utilizando AWB desfazer

2 de dezembro de 2013

• atuant 15h23min15h23min de 2 de dezembro de 2013‎ Tuga1143 discussão contribs‎ m 35 721 bytes +3‎ desfazer

1 de maio de 2013

• atuant 01h51min01h51min de 1 de maio de 2013‎ Alexg discussão contribs‎ m 35 718 bytes +16‎ desfazer

27 de abril de 2013

• atuant 15h51min15h51min de 27 de abril de 2013‎ 187.78.150.150 discussão‎ 35 702 bytes +6‎ desfazer

26 de abril de 2013

• atuant 23h55min23h55min de 26 de abril de 2013‎ Jpedromc discussão contribs‎ m 35 696 bytes −1‎ desfazer
• atuant 23h52min23h52min de 26 de abril de 2013‎ Jpedromc discussão contribs‎ 35 697 bytes +35 127‎ desfazer
• atuant 22h23min22h23min de 26 de abril de 2013‎ Teles discussão contribs‎ m 570 bytes −7 065‎ Revertidas edições por Jpedromc para a última versão por EmausBot (usando Huggle) desfazer
• atuant 22h22min22h22min de 26 de abril de 2013‎ Jpedromc discussão contribs‎ 7 635 bytes +415‎ →‎Origem, escopo, e consequências desfazer
• atuant 22h13min22h13min de 26 de abril de 2013‎ Jpedromc discussão contribs‎ 7 220 bytes +6 650‎ Começando a traduzir do artigo em inglês desfazer

16 de abril de 2013

• atuant 01h25min01h25min de 16 de abril de 2013‎ EmausBot discussão contribs‎ m 570 bytes −63‎ A migrar 1 interwikis, agora providenciados por Wikidata em d:Q975734 desfazer

31 de março de 2013

• atuant 00h17min00h17min de 31 de março de 2013‎ Addbot discussão contribs‎ m 633 bytes −256‎ A migrar 7 interwikis, agora providenciados por Wikidata em d:q975734 desfazer

24 de dezembro de 2012

• atuant 07h53min07h53min de 24 de dezembro de 2012‎ Xqbot discussão contribs‎ m 889 bytes +62‎ r2.7.3) (Robô: A adicionar: ru:Соответствие Карри — Ховарда desfazer

23 de dezembro de 2012

• atuant 10h08min10h08min de 23 de dezembro de 2012‎ MerlIwBot discussão contribs‎ m 827 bytes −58‎ Robô: A remover: ru:Соответствие Карри-Говарда (missing) desfazer

14 de dezembro de 2012

• atuant 13h38min13h38min de 14 de dezembro de 2012‎ ZéroBot discussão contribs‎ m 885 bytes +58‎ r2.7.1) (Robô: A adicionar: ru:Соответствие Карри-Говарда desfazer

31 de julho de 2012

• atuant 20h24min20h24min de 31 de julho de 2012‎ RedBot discussão contribs‎ m 827 bytes 0‎ r2.7.2) (Robô: A modificar: ca:Correspondència Curry-Howard desfazer
• atuant 16h37min16h37min de 31 de julho de 2012‎ ZéroBot discussão contribs‎ m 827 bytes +37‎ r2.7.1) (Robô: A adicionar: ca:Correspondència Curri-Howard desfazer

31 de outubro de 2011

• atuant 01h51min01h51min de 31 de outubro de 2011‎ ZéroBot discussão contribs‎ m 790 bytes +44‎ r2.7.1) (Robô: A adicionar: ja:カリー＝ハワード同型対応 desfazer

23 de dezembro de 2010

• atuant 17h10min17h10min de 23 de dezembro de 2010‎ SieBot discussão contribs‎ m 746 bytes +34‎ Bot: Adicionando: de:Curry-Howard-Isomorphismus desfazer

8 de setembro de 2009

• atuant 23h04min23h04min de 8 de setembro de 2009‎ LaaknorBot discussão contribs‎ m 712 bytes +2‎ Bot: Modificando: en:Curry–Howard correspondence desfazer
• atuant 20h45min20h45min de 8 de setembro de 2009‎ Daimore discussão contribs‎ m 710 bytes +107‎ +cat desfazer
• atuant 20h38min20h38min de 8 de setembro de 2009‎ Ulbra discussão contribs‎ m 603 bytes +603‎ esboço (tradução do artigo em inglês)