理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- soil erosion monitoring
- soil erosion prediction
- soil erosion simulation test
- soil erosion tracer measure
- soil evaporation
- soil evaporation pan
- soil exchangeable acidity
- soil exchangeable adsorption
- soil exchangeable base
- soil exchangeable cations
- soil exchangeable hydrogen
- soil exchangeable sodium
- soil exhaustion
- soil expansion
- soil ex-situ remediation
- soil extract
- soil farming system
- soil fauna
- soil fertility
- soil fertility grading
- soil fertility system
- soil firmness
- soil flushing
- soil food web
- soil forest landscape