Submitted by György Chityil ... on Fri, 01/19/2018 - 23:58 Hierarchy: AdjectiveDescription: {{context|mathematics|logic}} Of a formula, having all of its quantifiers at the beginning.Ngram: prenexNgram Text: prenexSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 1
