Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01651507n
Noun Concept
JA
充足性  充足可能性と妥当性  充足可能
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
充足可能性問題
Wikidata
JA
充足性
Wikidata Alias
JA
充足可能性と妥当性
Wikipedia Translations
JA
充足可能

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