https://en.wikipedia.org/wiki/Skolem_normal_formarrow-up-right https://en.wikipedia.org/wiki/Existential_quantificationarrow-up-right
Last updated 4 years ago