Herbrand universe الإنجليزية (Q1573458)
set of all ground terms of a first-order language الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | Herbrand universe |
set of all ground terms of a first-order language |
بيانات
Wikidata item الإنجليزية
named after الإنجليزية
Freebase ID الإنجليزية
subclass of الإنجليزية
facet of الإنجليزية
instance of الإنجليزية