1) universal proposition
一般命题
2) mutually inverse general proposition
互逆一般命题
3) the general unification problem
一般合一化问题
1.
Based on the optimized decomposition algorithm for the unification problem of the union of disjoint equational theories and the Gaussian elimination method,we present a unification algorithm for the general unification problem of the ACUN theory.
基于联合理论合一化问题的优化分解算法和高斯消元法,本文给出了ACUN理论一般合一化问题的合一化算法。
4) generally distributed lifetimes
寿命一般分布
5) general incentive problem
一般激励问题
6) general problems with definitive solution
一般定解问题
补充资料：提婆五逆与三逆
【提婆五逆与三逆】
（故事）(参见：五逆)
（故事）(参见：五逆)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条