Skolem normal form (Q1090524)
Jump to navigation
Jump to search
Formalism of first-order logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Skolem normal form |
Formalism of first-order logic |
Statements
Identifiers
Sitelinks
Wikipedia(12 entries)
- cawiki Forma normal de Skolem
- dewiki Skolemform
- enwiki Skolem normal form
- eswiki Forma normal de Skolem
- frwiki Forme normale de Skolem
- huwiki Skolem-normálforma
- itwiki Forma normale di Skolem
- jawiki スコーレム標準形
- kowiki 스콜렘 표준형
- ptwiki Forma normal de Skolem
- ukwiki Нормальна форма Сколема
- zhwiki 斯科伦范式