Skolem hull

1. REDIRECT Skolem normal form#Skolem theories

{{Rcatsh|

{{R sec}}

{{R from merge}}

}}