Bernays–Schönfinkel class

concept in first-order logic

Wikidata entity: Q4894025



P61 discoverer or inventor ... Q45113 (Moses Schönfinkel) Moses Schönfinkel
P31 instance of ... Q24034552 (mathematical concept) mathematical concept
P138 named after ... Q45113 (Moses Schönfinkel) Moses Schönfinkel
P138 named after ... Q122318 (Paul Bernays) Paul Bernays
P138 named after ... Q315387 (Frank P. Ramsey) Frank P. Ramsey

External Ids
P646Freebase ID/m/0fpttg
P6366Microsoft Academic ID (discontinued)2781358778

Why not click here or view trends?

log id: 3237964