無矛盾性検査

【むむじゅんせいけんさ】

無矛盾性検査

读成： むむじゅんせいけんさ
中文： 一致性检验