resolution theorem
| proving
| resolution theorem | |
| progr. | теорема о резолюции |
| proving | |
| gen. | испытательный; пробный; доказывание; доказательство |
| automat. | контрольный; отладочный |
| chem. | доказывающий; оказавшийся; оказывающийся |
| mil. tech. | опытный |
| |||
| теорема о резолюции (ssn) | |||
|
resolution theorem : 1 phrase in 1 subject |
| Information technology | 1 |