(Q281854)

English

prenex normal form

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part

In more languages

edit

Statements

0 references

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Encyclopædia Britannica Online ID

topic/prenex-normal-form

subject named as

prenex normal form

0 references

1 reference

28 October 2013

0 references

Microsoft Academic ID

149122453

0 references

(Q281854)

prenex normal form

Statements

Identifiers

Sitelinks

Wikipedia(13 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)