אנגלית ⇄ סינית +

standard reduction-based proof technique
.קריפט	标准的基于规约的证明技术