Revisão das 02h30min de 18 de dezembro de 2006 editar Arthorius (discussão \| contribs) 118 edições →‎Exemplos ← Ver a alteração anterior		Revisão das 02h41min de 18 de dezembro de 2006 editar desfazer Arthorius (discussão \| contribs) 118 edições →‎Veja Também Ver a alteração posterior →
Linha 69: ==Veja Também== * [[Forma ~~Normal~~normal ~~Prenex~~clausal]] * [[Forma normal prenex]] * [[Princípio da Resolução]] * [[~~Forma~~Programação ~~Normal Clausal~~lógica]] * [[Prolog]] * [[Lógica de ordem superior]] ==Ligações Externas==

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