>

inference rule soundness

📖 中文释义

  1. [计] 推理规则有效性
I 字母词表