prenex normal form (Q281854)
Jump to navigation
Jump to search
first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | prenex normal form |
first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part |
Statements
Identifiers
Sitelinks
Wikipedia(13 entries)
- cawiki Forma prenexa
- dewiki Pränexform
- enwiki Prenex normal form
- eswiki Forma normal prenexa
- frwiki Forme prénexe
- huwiki Prenex-formula
- itwiki Forma prenessa
- jawiki 冠頭標準形
- kowiki 프리넥스 표준형
- nlwiki Prenex-normaalvorm
- plwiki Forma preneksowa
- ptwiki Forma normal prenex
- zhwiki 前束范式