...间关系的 研究，我们已经发现：一阶逻辑的二变元片段()与FL 的复杂性相同，但不是漂亮的；一阶逻 辑的安保片段(Guarded Fragment)是驯良的，但也不是漂亮的。
基于8个网页-相关网页
guarded fragment
谨慎的片段
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动