subformula的意思|示意
[计] 子公式
subformula相关短语
1、 Bonding subformula 键子式
2、 unsatisfiable subformula 不可满足子式
3、 maximal satisfiable subformula 极大可满足子式
4、 minimum unsatisfiable subformula 最小不可满足子式
5、 minimal unsatisfiable subformula 极小不可满足子公式
美 / sʌb'fɔ:mjʊlə /
英 / sʌb'fɔmjʊlə /