n.可判定性
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method. 本文致力于相容結(jié)構(gòu)的可判定性的證明并給出了一個快速的判定算法。
