PI-clash的意思|示意
美 / paɪ klæʃ /
英 / paɪ klæʃ /
[计]PI对撞（谓词逻辑中消解法之一）