>

inference rule completeness

📖 中文释义

  1. [计] 推理规则完备性