skolemization الإنجليزية (Q3915433)
method for obtaining Skolem normal form الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | skolemization |
method for obtaining Skolem normal form |
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
has effect الإنجليزية
named after الإنجليزية
Google Knowledge Graph ID الإنجليزية
subclass of الإنجليزية