simplest unifier

simplest unifier 基本解释

[计] 最简一致置换

重点词汇

simplest a. 最简单的, 单纯的

unifier n. 统一者 [计] 一致置换符; 通代符