Contribuições do usuário Arthorius
De Arthorius discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 118 edições. Conta criada a 10 de dezembro de 2006.
24 de dezembro de 2006
- 03h49min03h49min de 24 de dezembro de 2006 dif his +195 N Usuário:Arthorius ← nova página: {|style="float: right; margin-left: 1em; margin-bottom: 0.5em; width: 28%; border: #99B3FF solid 1px; text-align: center" |{{User pt}} |- |{{User en-1}} |- |} {{Wiki...
- 03h22min03h22min de 24 de dezembro de 2006 dif his +215 Portal Discussão:Educação
20 de dezembro de 2006
- 19h44min19h44min de 20 de dezembro de 2006 dif his +10 Forma normal clausal
- 12h43min12h43min de 20 de dezembro de 2006 dif his −1 090 Forma normal clausal
- 12h27min12h27min de 20 de dezembro de 2006 dif his −2 m Discussão:Forma normal clausal
- 12h26min12h26min de 20 de dezembro de 2006 dif his +1 707 N Discussão:Forma normal clausal ← nova página: '''Coisas para alterar''' *No item 3: 3) Remova os quantificadores universais *No item 5 - mudar a redação para: 5) Coloque na f...
18 de dezembro de 2006
- 02h59min02h59min de 18 de dezembro de 2006 dif his +13 m Forma normal clausal →Veja também
- 02h55min02h55min de 18 de dezembro de 2006 dif his +1 m Forma normal prenex →Exemplo
- 02h52min02h52min de 18 de dezembro de 2006 dif his +6 m Skolemização
- 02h49min02h49min de 18 de dezembro de 2006 dif his 0 m Skolemização
- 02h48min02h48min de 18 de dezembro de 2006 dif his +20 m Skolemização
- 02h43min02h43min de 18 de dezembro de 2006 dif his −26 Skolemização →Veja Também
- 02h41min02h41min de 18 de dezembro de 2006 dif his +73 Skolemização →Veja Também
- 02h30min02h30min de 18 de dezembro de 2006 dif his +4 Skolemização →Exemplos
- 02h27min02h27min de 18 de dezembro de 2006 dif his +29 Skolemização →Como funciona
- 02h22min02h22min de 18 de dezembro de 2006 dif his +56 Skolemização
- 02h17min02h17min de 18 de dezembro de 2006 dif his −20 Skolemização →Usos da skolemização
- 02h10min02h10min de 18 de dezembro de 2006 dif his −1 Skolemização →Usos da skolemização
- 02h08min02h08min de 18 de dezembro de 2006 dif his +3 Skolemização →Usos da skolemização
- 02h05min02h05min de 18 de dezembro de 2006 dif his +2 Skolemização →Usos da skolemização
- 02h01min02h01min de 18 de dezembro de 2006 dif his +1 Skolemização →Como funciona
- 01h54min01h54min de 18 de dezembro de 2006 dif his +1 Skolemização →Como funciona
- 01h48min01h48min de 18 de dezembro de 2006 dif his 0 Skolemização →Como funciona
- 01h34min01h34min de 18 de dezembro de 2006 dif his +27 N Forma Normal de Skolem ← feito redirecionamento para Skolemização atual
17 de dezembro de 2006
- 23h34min23h34min de 17 de dezembro de 2006 dif his +1 Forma normal clausal →Referências
- 23h25min23h25min de 17 de dezembro de 2006 dif his +2 Forma normal clausal →Exemplos
- 23h21min23h21min de 17 de dezembro de 2006 dif his +23 Forma normal clausal →Veja também
- 22h41min22h41min de 17 de dezembro de 2006 dif his +821 Forma normal clausal
- 21h14min21h14min de 17 de dezembro de 2006 dif his 0 m Forma normal clausal →Exemplos
- 21h13min21h13min de 17 de dezembro de 2006 dif his 0 Forma normal clausal →Exemplos
- 21h11min21h11min de 17 de dezembro de 2006 dif his +1 558 Forma normal clausal →Exemplos
- 20h32min20h32min de 17 de dezembro de 2006 dif his +555 Forma normal clausal
- 04h20min04h20min de 17 de dezembro de 2006 dif his +28 Thoralf Skolem →Ligações Externas
- 03h52min03h52min de 17 de dezembro de 2006 dif his +5 Thoralf Skolem →Links Externos
- 03h51min03h51min de 17 de dezembro de 2006 dif his −188 Thoralf Skolem →Ver também
- 03h47min03h47min de 17 de dezembro de 2006 dif his −36 Thoralf Skolem →Escritos
- 03h40min03h40min de 17 de dezembro de 2006 dif his +188 Thoralf Skolem →Ver também
- 03h19min03h19min de 17 de dezembro de 2006 dif his +225 Thoralf Skolem
- 02h34min02h34min de 17 de dezembro de 2006 dif his +227 Thoralf Skolem →Links Externos
16 de dezembro de 2006
- 21h41min21h41min de 16 de dezembro de 2006 dif his +83 Thoralf Skolem
- 21h12min21h12min de 16 de dezembro de 2006 dif his +156 Thoralf Skolem
- 21h06min21h06min de 16 de dezembro de 2006 dif his +31 Thoralf Skolem
- 19h35min19h35min de 16 de dezembro de 2006 dif his 0 Thoralf Skolem
- 19h26min19h26min de 16 de dezembro de 2006 dif his +387 Thoralf Skolem
- 19h05min19h05min de 16 de dezembro de 2006 dif his +62 Thoralf Skolem →Ver também
- 18h58min18h58min de 16 de dezembro de 2006 dif his +16 Thoralf Skolem →Ver também
- 16h33min16h33min de 16 de dezembro de 2006 dif his +289 Usuário(a) Discussão:RenanCruz
- 16h28min16h28min de 16 de dezembro de 2006 dif his +22 Forma normal prenex →Veja também
- 16h27min16h27min de 16 de dezembro de 2006 dif his −27 Forma normal prenex
- 16h23min16h23min de 16 de dezembro de 2006 dif his −21 Skolemização