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