https://en.wikipedia.org/wiki/Skolem_normal_form https://en.wikipedia.org/wiki/Existential_quantification
Last updated 3 years ago