用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
参考答案：删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
数据故障—安全保障技术主要采用以下方法提高数据的安全性（）
A、采用不对称编码表示设计安全的信息
B、关键数据异地多份存储
C、规范化数据结构与数据生成方式
D、数据完好的正确性检验
脱硫是在渣铁接触面上进行的。
