The lengths of unit refutations from Horn sets in the worst case are discussed.

Supervised Learning of Heuristic Function for Refutation

反演启发函数的监督学习算法

As a kind of ideology, it is a refutation of the traditional realistic drama;

作为一种观念，它是对传统的写实性戏剧的反拨；

Refutation, as one of the important logical methods to explore and develop truth is often used in debates.

反驳作为人们探求和发展真理不可或缺的重要逻辑方法之一，在论辩中经常被运用。

Trial-and-Error Method in Thinking Experiment: Hypotheses and Refutation in Jurisprudential Studies

思想实验中的试错：法理学研究方法中的猜想与反驳

Ten Years' Developments of Refutation Systems

否证法十年来的发展

Refutation on the Circulation of State-owned Stock to Redefine the State-owned Enterprise

从国有股流通的争论谈国有企业的再定位

A Fast Counterexample Minimization Algorithm with Refutation Analysis and Incremental SAT

基于悖论分析和增量求解的快速反例压缩算法

How to strengthen the Power of Refutation in a Debate

如何加强论辩中反驳的力度

Experiences without scientific refutation cannot replace conclusions;

无科学证伪的经验阐发不能代替结论；

In order to strengthen the power of refutation, it is necessary to master some methods.

为了加强反驳的力度，掌握一定的方法是十分必要的。

New methods of logic inference of Petri net based on resolution refutation

基于归结反演的Petri网推理新方法

Hence, a refutation of Acheson may benefit many Chinese by widening their horizon.

驳斥了艾奇逊，就有可能使得广大的中国人获得打开眼界的益处。

Secondly, the international coordination and cooperation is the keynote of international relations, It will remain to be seen whether G20 will become the center of global governance or not.

第二，国际协调与合作是国际关系的基调，G20能否成为全球治理中心还有待观察。

It remain to be seen whether the same is ture of his philosophical trial.

他的哲学审判是否也同样如此，至今不得而知。

It will remain to be seen exactly how many new professional camcorders and products Sony plans to announce in the coming months.

这将仍然有待观察究竟有多少新的专业摄录一体机及产品的索尼公司计划宣布在未来几个月内。

The practical implications of that remain to be seen.

此举的现实意义仍有待观察。

He identifies himself with its centre of gravity, Autoantibody Profile of Primary Biliary Cirrhosis and Treatment Response

他把自身和物体重心、原发性胆汁性肝硬化自身抗体特征及其对药物治疗的反应

Significance of anticentromere antibody in primary biliary cirrhosis

抗着丝点抗体在原发性胆汁性肝硬化中的意义

Measurement of granulysin gene expression levels on peripheral blood of the patients with primary biliary cirrhosis by real-time quantitative RT-PCR

定量RT-PCR检测PBC患者外周血中颗粒溶素的基因表达水平

Screening of analogue peptides antagonizing PDC-E2 specific T cells in patients with primary biliary cirrhosis

原发性胆汁性肝硬化PDC-E2特异性T细胞拮抗性模拟肽的筛选