English » German

Translations for „satisfiable“ in the English » German Dictionary (Go to German » English)

sat·is·fi·able [ˈsatɪsfaɪəbl̩] ADJ

satisfiable

zufriedenstellend

satisfiable

Monolingual examples (not verified by PONS Editors)

English

In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as -inconsistent theories. en.wikipedia.org

A theory is satisfiable when all of its sentences are true. en.wikipedia.org

Since is finitely valid iff is not finitely satisfiable, we conclude that the set of sentences which are not finitely satisfiable is recursively enumerable. en.wikipedia.org

A tableau checks whether a given set of formulae is satisfiable or not. en.wikipedia.org

They may find a solution of a problem, but they may fail even if the problem is satisfiable. en.wikipedia.org

The resulting instance is satisfiable if and only if no domain or constraint is made empty. en.wikipedia.org

In this latter case, it is called unsatisfiable, otherwise satisfiable. en.wikipedia.org

The basic model considers for simplicity needs that are 100% satisfiable and services that 100% satisfy the needs. en.wikipedia.org

If the instance is satisfiable, then the expected weight of the assignment found is at least 7/8 of optimal. en.wikipedia.org

Attempting to prove a satisfiable first-order formula as unsatisfiable may result in a nonterminating computation; this problem doesn't occur in propositional logic. en.wikipedia.org

Would you like to add some words, phrases or translations?

Submit a new entry.

Browse the dictionary

English

Look up "satisfiable" in other languages

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文