英语翻译
Herbrand theorem
拓展翻译
海尔勃朗基
Herbrand base
海尔勃朗解释
Herbrand interpretation
海尔勃朗全域
Herbrand universe
高斯定理
Gauss theorem
哥德尔不完备性定理
Godel incompleteness theorem
哥德尔完全性定理
Godel completeness theorem
格雷巴赫范式定理
Greibach normal form theorem
勾股定理
the Pythagorean proposition; the Pythagorean theorem
构造定理
constructive theorem
古依-斯托多拉定理
Gouy-Stodola theorem
惯性定理
inertial theorem
归结定理
resolution theorem
归结定理证明
resolution theorem proving
亥姆霍兹-拉格朗日定理
Helmholtz-Lagrange theorem
睾丸海绵肿
fuagi testis
公海
high seas
international waters; open sea
公海捕鱼权
common fishery
公海法
public maritime law
公海自由
freedom of the open sea
汞海群
meralluride