formal semantics الإنجليزية (Q5306764)
in logics and AI, function allowing to establish if a formula in some language is entailed by a formal theory الإنجليزية
| اللغة | التسمية | الوصف | أسماء أخرى |
|---|---|---|---|
| العربية | لم تُضف التسمية |
لا يوجد وصف |
|
| الإنجليزية | formal semantics |
in logics and AI, function allowing to establish if a formula in some language is entailed by a formal theory |
|
بيانات
Wikidata item الإنجليزية