用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
参考答案：删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
湿温潮热的特点是（）
A.热势较高，日晡为甚
B.身热不扬，午后热甚
C.午后低热
D.夏季长期微热
E.骨蒸劳热
油井、水井的（）资料主要包括：油井生产层位（注水井注水层位），砂层厚度，有效厚度，渗透率，油层的连通关系，油、气、水的分布情况等。
A、静态
B、动态
C、钻井
D、工程
