Forma normal clausal: historial de revisões

12 de novembro de 2019

• atuant 00h22min00h22min de 12 de novembro de 2019‎ Edu! discussão contribs‎ 4 807 bytes −4‎ desfazer Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel Edição móvel avançada

28 de março de 2013

• atuant 12h17min12h17min de 28 de março de 2013‎ Addbot discussão contribs‎ m 4 811 bytes −48‎ A migrar 2 interwikis, agora providenciados por Wikidata em d:q5129538 desfazer

10 de fevereiro de 2012

• atuant 01h13min01h13min de 10 de fevereiro de 2012‎ FMTbot discussão contribs‎ m 4 859 bytes +59‎ Checkwiki + ajustes desfazer

17 de maio de 2011

• atuant 22h51min22h51min de 17 de maio de 2011‎ He7d3r discussão contribs‎ m 4 800 bytes −1‎ →‎{{Veja também}}: {{Wikilivros|Lógica}} desfazer

3 de agosto de 2007

• atuant 03h18min03h18min de 3 de agosto de 2007‎ Thijs!bot discussão contribs‎ m 4 801 bytes +20‎ Bot: Adicionando: ja:節標準形 desfazer

21 de dezembro de 2006

• atuant 09h55min09h55min de 21 de dezembro de 2006‎ Salgueiro discussão contribs‎ 4 781 bytes −46‎ desfazer

20 de dezembro de 2006

• atuant 20h14min20h14min de 20 de dezembro de 2006‎ 200.17.143.31 discussão‎ 4 827 bytes +110‎ desfazer
• atuant 20h06min20h06min de 20 de dezembro de 2006‎ 200.17.143.31 discussão‎ 4 717 bytes +38‎ desfazer
• atuant 20h03min20h03min de 20 de dezembro de 2006‎ 200.17.143.31 discussão‎ 4 679 bytes −10‎ desfazer
• atuant 19h44min19h44min de 20 de dezembro de 2006‎ Arthorius discussão contribs‎ 4 689 bytes +10‎ desfazer
• atuant 19h33min19h33min de 20 de dezembro de 2006‎ RenanCruz discussão contribs‎ 4 679 bytes −1‎ desfazer
• atuant 19h32min19h32min de 20 de dezembro de 2006‎ RenanCruz discussão contribs‎ 4 680 bytes +31‎ desfazer
• atuant 19h30min19h30min de 20 de dezembro de 2006‎ RenanCruz discussão contribs‎ 4 649 bytes −8‎ desfazer
• atuant 19h26min19h26min de 20 de dezembro de 2006‎ RenanCruz discussão contribs‎ 4 657 bytes −1‎ →‎Exemplos desfazer
• atuant 12h43min12h43min de 20 de dezembro de 2006‎ Arthorius discussão contribs‎ 4 658 bytes −1 090‎ desfazer

18 de dezembro de 2006

• atuant 02h59min02h59min de 18 de dezembro de 2006‎ Arthorius discussão contribs‎ m 5 748 bytes +13‎ →‎Veja também desfazer

17 de dezembro de 2006

• atuant 23h49min23h49min de 17 de dezembro de 2006‎ 200.157.219.131 discussão‎ 5 735 bytes +89‎ →‎Veja também desfazer
• atuant 23h34min23h34min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 5 646 bytes +1‎ →‎Referências desfazer
• atuant 23h25min23h25min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 5 645 bytes +2‎ →‎Exemplos desfazer
• atuant 23h21min23h21min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 5 643 bytes +23‎ →‎Veja também desfazer
• atuant 22h41min22h41min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 5 620 bytes +821‎ desfazer
• atuant 21h14min21h14min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ m 4 799 bytes 0‎ →‎Exemplos desfazer
• atuant 21h13min21h13min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 4 799 bytes 0‎ →‎Exemplos desfazer
• atuant 21h11min21h11min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 4 799 bytes +1 558‎ →‎Exemplos desfazer
• atuant 20h32min20h32min de 17 de dezembro de 2006‎ Arthorius discussão contribs‎ 3 241 bytes +555‎ desfazer

16 de dezembro de 2006

• atuant 14h54min14h54min de 16 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 686 bytes +34‎ desfazer
• atuant 14h43min14h43min de 16 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 652 bytes +202‎ desfazer
• atuant 14h33min14h33min de 16 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 450 bytes +29‎ desfazer

15 de dezembro de 2006

• atuant 17h14min17h14min de 15 de dezembro de 2006‎ 200.17.143.31 discussão‎ 2 421 bytes −8‎ desfazer

14 de dezembro de 2006

• atuant 01h37min01h37min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 429 bytes +34‎ →‎Veja também desfazer
• atuant 01h20min01h20min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 395 bytes −1‎ desfazer
• atuant 01h14min01h14min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 396 bytes +22‎ desfazer
• atuant 01h11min01h11min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 374 bytes +26‎ desfazer
• atuant 00h58min00h58min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 348 bytes −1‎ desfazer
• atuant 00h56min00h56min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 349 bytes +26‎ desfazer
• atuant 00h50min00h50min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 323 bytes +19‎ desfazer
• atuant 00h49min00h49min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 304 bytes +75‎ desfazer
• atuant 00h44min00h44min de 14 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 229 bytes +22‎ desfazer

12 de dezembro de 2006

• atuant 10h47min10h47min de 12 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 207 bytes +28‎ desfazer
• atuant 10h32min10h32min de 12 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 179 bytes +153‎ desfazer

11 de dezembro de 2006

• atuant 23h39min23h39min de 11 de dezembro de 2006‎ Arthorius discussão contribs‎ 2 026 bytes +1 133‎ desfazer
• atuant 23h12min23h12min de 11 de dezembro de 2006‎ Arthorius discussão contribs‎ 893 bytes 0‎ desfazer
• atuant 23h11min23h11min de 11 de dezembro de 2006‎ Arthorius discussão contribs‎ 893 bytes +211‎ desfazer
• atuant 23h01min23h01min de 11 de dezembro de 2006‎ Arthorius discussão contribs‎ 682 bytes +321‎ desfazer
• atuant 22h43min22h43min de 11 de dezembro de 2006‎ Arthorius discussão contribs‎ 361 bytes +361‎ ← nova página: A Forma Normal Clausal é usada em programação lógica e em muitos sistemas provadores de teoremas. O procedimento de conversão de uma fórmula...