1) α-omitting type theorem
α-省略型定理
2) omitting type theorem
省略型定理
1.
For finite linearly ordered weak complemented lattice, the omitting type theorem is proved.
将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
3) Ellipsis Resolution
省略判定
1.
Ellipsis Resolution is one of the most difficult problems to be solved for the computers in Nautral Language Processing,and it is of utmost importance to many tasks like Information Extraction,Information Retrieval and so on.
利用概念层次网络(HNC)理论来进行省略判定和恢复比一般方法更具有便利性和高效性。
4) types of NP ellipsis
NP省略类型
5) α-Weyl's theorem
α-Weyl定理
6) αtheorem
α定理
补充资料：α,α,α,α',α',α'-六氯对二甲苯
分子式：C8H4Cl6
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
分子量：312.84
CAS号：68-36-0
性质：白色针状或粉末状结晶。熔点108-110℃。溶于二甲苯、石油醚、乙醇、植物油，不溶于水。无味，有特殊臭味，遇光、碱会缓慢分解而呈酸性。
制备方法：以混二甲苯为原料，先用98%硫酸磺化，使间二甲苯生成间二甲苯磺酸盐。从磺化反应物中分离出含邻、对二甲苯的油层，水洗、干燥，减压蒸馏出邻、对二甲苯。间二甲苯磺酸盐经水解可得副产品间二甲苯。由邻、对二甲苯经氯化即得1，4-双（三氯甲基）苯：在反应锅中投入邻、对二甲苯，再加入过氧化苯甲酰和三乙醇胺。加热到70℃后，在光照射下导入氯气，于70-80℃反应6h，再升温至100-120℃继续反应，至反应液相对密度达到1.560-1.580（65℃），即为反应终点，停止通氯，减压脱除余氯。降温至5℃，过滤，洗涤得粗品，重结晶，活性炭脱色得成品。
用途：抗血吸虫病药物。对肝吸虫病、阿米巴原虫病、疟疾以及肠道线虫有一定疗效。但对神经系统的不良反应较多见，且延迟反应持续较久。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条