【摘 要】
：
Two inference rules are discussed in boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear
【机 构】
：
Max-Planck-Institut fur Informatik,Institute of Systems Science
论文部分内容阅读
Two inference rules are discussed in boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear strategy. Moreover, by introducing a partial ordering on atoms, pseudo O-linear and O-linear strategies are presented. The former is complete, the latter, however, is complete for clausal theorem proving.
其他文献
A numerical simulation was performed to study the roll-up of vortex sheet behind a slender delta-wing and the evolution of vortex layer shed by a plunging airfo
A method is described for coating fine iron particles(～1μm) with a uniform silica layer,produced by the hydrolysis of tetraethyl orthosilicate.The presence of a
Active metal bismuth is produced in situ via Sm/BiCl3 system in aqueous media. Promoted by this active species, β-aminoesters and α-selenoesters are synthesiz
The fluid catalytic cracking(FCC) is the principal gasoline-producing process in the refinery. Considerable amounts of harmful sulfur oxides and nitrogen oxides
By making use of variational method,the authors obtain some results about existence of multiple positive solutions and their asymptotic behavior as the paramete
In our study on the soft coral,Alcyonium patagonicum,a new hydroxylated sterol,24-methylenecholest-4-en-3β,6α-diol(1) exhibiting a potent activity to murine l
用阳极腐蚀的方法制备了多孔硅样品，用电化学方法在多孔硅中注入Er3+、In3+等金属离子，并对注入离子后多孔硅的光致荧光光谱进行了研究，结果表明：注入Er3+及In3+后的多孔硅在588n
利用相关函数（CF）-超球谐（HH）-广义Laguerre(GLF)方法直接求解类氦离子n1,3P（n=1,2,3）低躺激发态的Schrodinger方程，得氦原子的本征能量分别为-2.13317Eh (13P),-2.12383Eh(11P),-2.
A novel dimer-tungstovanadate,(H3O)4［VW12O40Na(H2O)4］2,was hydrothermally synthesized and structurally characterized by single crystal X-ray diffraction,IR spectr
NMR studies of some chiral 3-acyclcamphor were conducted.A complete assignment was given to 3-(4-pyridyl)carbonylcamphor by the 2D NMR technology.Assignments we