Theorem Proving
| System
| theorem proving | |
| tech. од. | 定理证明 |
| system | |
| gen. | 体 |
| IMF. | 安排 |
| leath. | 网 |
| med. | 派 |
| met. | 装置 |
| met. од. | 系 |
| tech. | 制度; 方法 |
| tech. од. | 体系; 系统 |
| |||
| ★ 定理证明 | |||
|
Theorem Proving : 12 phrases in 4 subjects |
| Artificial intelligence | 3 |
| Information technology | 3 |
| Metallurgy | 2 |
| Technology | 4 |