information about Skolem normal form field

Skolem normal form

http://en.wikipedia.org/wiki/Skolem_normal_form
Field Hierarchy
Parent
First-order logic
1,940 papers
Current
Skolem normal form
papers
Child
Trends