Bernays–Schönfinkel class
GPTKB entity
Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
|
| gptkbp:appliesTo |
formal systems
|
| gptkbp:characterizedBy |
existential quantifiers
universal quantifiers |
| https://www.w3.org/2000/01/rdf-schema#label |
Bernays–Schönfinkel class
|
| gptkbp:includes |
bounded quantifiers
|
| gptkbp:isPartOf |
predicate logic
|
| gptkbp:namedAfter |
gptkb:Felix_Bernays
M. Schönfinkel |
| gptkbp:relatedTo |
first-order logic
|
| gptkbp:usedIn |
mathematical logic
|