Unit propagation الإنجليزية (Q5431174)
procedure of automated theorem proving الإنجليزية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
لا يوجد وصف |
|
الإنجليزية | Unit propagation |
procedure of automated theorem proving |
|
بيانات
Wikidata item الإنجليزية