提取因子（Factoring） 增添代理子目标 （ Addition of Surrogate Subgoals ） 第十二章可证性形式体系 正确表达性（CorrectRepresentability） ..
基于20个网页-相关网页
增添代理子目标
Add proxy sub-targets
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动