n.可判定性
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method. 本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
