-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)
Englisch
- Since all logical formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF.en.wikipedia.org
- The adverbs and adverbial phrases that fit the criteria for a conjunctive adverb are always modifiers of the predicate in the first independent clause.en.wikipedia.org
- A further extension of conjunctive grammars known as Boolean grammars additionally allows explicit negation.en.wikipedia.org
- Later treatment of conjunctive and boolean grammars is the most thorough treatment of this formalism to date.en.wikipedia.org
- When a theorem is proven, the system produces a verifiable proof, which validates both the clausification phase and the refutation of the conjunctive normal form.en.wikipedia.org
Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Schicke es uns - wir freuen uns über dein Feedback!
Wörterbuch durchsuchen
Englisch