Skolem normal form
Sign in to saveformalism of first-order logic
Wikidata facts
- Subclass of
- prenex normal form
- Named after
- Thoralf Skolem
Show 3 more facts
- facet of
- first-order logic
- has cause
- skolemization
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0