Wikidata facts
- Instance of
- method
- Subclass of
- process
- Named after
- Thoralf Skolem
Show 1 more fact
- has effect
- Skolem normal form
via Wikidata · CC0
~1 min read
Encyclopedic overview
REDIRECT Skolem normal form
Excerpted from Wikipedia’s “skolemization” article, available under the CC BY-SA 4.0 licence.