Bernays–Schönfinkel class (Q4894025)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Bernays–Schönfinkel class |
No description defined |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Bernays–Schönfinkel class
- frwiki Classe de Bernays-Schönfinkel