1) Binary tree theory
二又树理论
2) first-order theory of a complete binary tree
完全二叉树的一阶理论
1.
The first-order theory of a complete binary tree is decidable by the quantifier elimination, we also know the CB rank of elements of a complete binary tree.
完全二叉树的一阶理论已被证明具有量词消去的性质,进而计算了完全二叉树模型中元素的CB秩。
3) fruit tree theory
果树理论
4) theoretical achievement
理论建树
1.
This paper introduces his theoretical achievements from four aspects.
本文从四个层面介绍了其理论建树。
5) trunk theory
树干理论
补充资料：1,3-二硫戊环-2-叉-丙二酸二异丙酯
分子式：C12H18O4S2
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条