Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01651507n
Noun Concept
EL
ικανοποιήσιμη  ικανοποιησιμότητα
EN
In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. Wikipedia
English:
logics
Relations
Sources
HAS KIND
EN
circuit satisfiability problem
HAS INSTANCE
boolean ικανοποιησιμότητα
Wikipedia Translations
EL
ικανοποιήσιμη, ικανοποιησιμότητα

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License