Revisão das 02h41min de 18 de dezembro de 2006 editar Arthorius (discussão \| contribs) 118 edições →‎Veja Também ← Ver a alteração anterior		Revisão das 02h43min de 18 de dezembro de 2006 editar desfazer Arthorius (discussão \| contribs) 118 edições →‎Veja Também Ver a alteração posterior →
Linha 70: * [[Forma normal clausal]] * [[Forma normal prenex]] * [[Princípio da Resolução]] * [[Programação lógica]]

Skolemização: diferenças entre revisões