1) Something omitted or neglected.
被删除或忽略之物
3) deletion strategy
删除策略
1.
In Boolean operator fuzzy logic, applying deletion strategy in level saturation method can avoid many useless clauses without loss of generalized completeness of the resolution.
在布尔算子模糊逻辑中施行归结时，使用删除策略能够在水平浸透的过程中减少无用子句的产生，并且不牺牲归结的广义完备性，从而更快地求得子句集的恒假水平。
2.
The present paper introduces the deletion strategy into generalized λ-resolution and discusses certain properties of λ-strong entailment.
本文在广义λ-归结方法中引进删除策略,讨论了λ-蕴涵的若干性质,并证明:以λ-蕴涵为基础的删除策略不破坏广义λ-归结方法的完备性。
5) leave out; skip over
遗漏;删掉;忽略
补充资料：删除
1.删去。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条