查询词典 make a proof

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

With ZINK Zero Ink printing technology from Zink Imaging, this sleek and stylish instant mobile printer prints smudge-proof, water-resistant and tear-proof photo in about 60 seconds without a drop of ink.

与zink零油墨印刷技术从zink成像，这圆滑和时尚的即时移动印表机列印防污渍证明，耐水性和催泪证明，照片，在约60秒，没有一个辍学的油墨。

Analysis is made on current water-proof materials and LECB water-proof sheets are prepared by three-roller calendering process.

随着我国城市建设和城际交通的大力发展，尤其是地下铁路建设的大规模开展，对地下工程防水材料的需求也随之扩大，同时也对防水材料提出了新的、更高的要求。

Sponge filter mesh is frothed by polyester and aether with 97% of porous.Polyester sponge has the excellent performance of oil-proof and attrition-proof.

海绵过滤网以聚酯和聚醚为主要材料，发泡而成，开孔率达到97%以上，聚酯型海绵具有优越的耐油，耐磨擦性能。

The first chapter illustrates that production burden is the derivation or reflection ofburden of proof through the analysis of"double meaning doctrine about bur-den of proof"and at the same time introspects"double meaning doctrine aboutproduction burden monism".

第一章通过&'证明责任'双重含义说&的剖析，阐明提供证据责任是证明责任的派生或&投影&；同时对我国学者主张的&提供证据责任一元论的双重含义说&进行了反省。

Bio Armor Anti-bacterial Company is an international enterprise concentrating on design, detection,production and sales, engaging in the developing and expanding in the field of humidity proof, mildew proof and anti-bacterial. It has developed the BIO DRY, mold preventive, anti-bacterial preventive, positive ion anti-mildew packing paper and all kinds of anti-mildewpackaging, and has resolved the problem of damping, mildewing and smelling strangely of leather products,textile, furniture, toy and precise electronic products. It provides effective guarantee for the transportation and storage of the exported products and obtains the fame of protection god of international trade

贝傲有限公司是一家集设计、检测、生产、销售于一体国际化企业，并致力于防潮，防霉，抗菌领域的研发推广，开发了 BIO DRY 生化干燥剂，防霉抗菌剂，阳离子防霉包装纸及各类防霉包装，解决了皮革制品、纺织品、家具、玩具、高精电子制品的受潮、霉变、产生异味的困扰，为出口产品的运输，仓储提供了有效的保障，被誉为出口贸易的保护神。

In chapter three,that is the basic content of burden of proof,firstly,the dissertation totally repudiates the view that case facts are the object of bur-den of roof and also maintains that the objects of burden of proof of Chinais requirement facts.

在第三章证明责任基本内容中，其一，对案件事实作为证明责任对象的观点进行了全面否定，并认为我国证明责任对象为要件事实；其二，在比较两大法系证明责任适用条件的基础上，对我国证明责任适用条件所涉及的理论基础和条件进行了新的解释；其三，主张证明责任的性质是一种法定的风险分配，并与当事人的诉讼活动无关；其四，主张在当事人主义和职权主义诉讼中都存在着适用证明责任裁判的可能性。

Of course this way of showing that the propositions of logic are tautologies is not at all essential to logic, if only because the propositions from which the proof starts must show without any proof that they are tautologies.

意义。但是对于等式来说，具有根本意义的一点是：为了显示用等号连接的两个表达式有相同的指谓，等式并非必要，因为这一点从两个表达式本身即可以看出来。

More and more seismic damages have attracted more and more experts, at home and abroad, to study on collapse-proof systems, and acquire many achievements, but there are many problems about new damping material and restrainers'study, the mechanical ability of restrainers and unseating prevention devices, the design methods of the collapse-proof system etc.

但是在限位装置的设计方法、连梁装置的设计及实用化、缓冲装置的研究与开发等方面还有许多问题，并且此系统的研究在国内还处于空白阶段，虽然有些工程应用，还仅仅是定性的使用，没有相应的计算理论，更没有与国内抗震规范相适应的计算方法。

After female worker is borne or aborting, by oneself or the family planning proof that is in an enterprise to hold branch of local family planning to sign and issue, baby is born card, death or abortive proof, to local society insurance agency orgnaization deals with formalities, get birth allowance and submit an expense account medical treatment cost.

女职工生育或流产后，由本人或所在企业持当地计划生育部门签发的计划生育证实、婴儿出生证、死亡或流产证实，到当地社会保险经办机构办理手续，领取生育津贴和报销医疗费。

The use of the web to spread fears that flicking the switch on the LHC could create a Black Hole that could swallow up the Earth particularly concerned him, he said.

他说，使用互联网散布恐慌说启动LHC会生成一个可能吞噬地球的黑洞的做法让他感到忧虑。

Not a single word have I written down.

我一个字也没有写下来。