In the Vinony graph
Within Vinony's link graph, skolemization connects to Skolem normal form.
Vinony links it to 6 Wikipedia language editions.
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.