Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03442720n
Noun Concept
Categories: Mathematical logic stubs, Predicate logic
EN
Bernays–Schönfinkel class  Bernays-Schonfinkel class  Bernays-Schönfinkel-Ramsey class  Bernays-Schönfinkel class  Bernays–Schonfinkel class
EN
The Bernays–Schönfinkel class of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey, is a fragment of first-order logic formulas where satisfiability is decidable. Wikipedia
Definitions
Relations
Sources
EN
The Bernays–Schönfinkel class of formulas, named after Paul Bernays, Moses Schönfinkel and Frank P. Ramsey, is a fragment of first-order logic formulas where satisfiability is decidable. Wikipedia
DISCOVERER OR INVENTOR
Moses Schönfinkel
NAMED AFTER
Frank Ramsey
Paul Bernays
Moses Schönfinkel
Wikipedia
EN
Bernays–Schönfinkel class
Wikidata
EN
Bernays–Schönfinkel class
Wikipedia Redirections
EN
Bernays-Schonfinkel class, Bernays-Schönfinkel-Ramsey class, Bernays-Schönfinkel class, Bernays–Schonfinkel class, effectively propositional

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