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细胞拮抗性模拟肽的筛选

The value of antimitochondrial antibody and its subtypes in the diagnosis of primary biliary cirrhosis

抗线粒体抗体亚型在原发性胆汁性肝硬化中的诊断价值

Quantitation of antigen specific T lymphocytes in peripheral blood of patients with primary biliary cirrhosis using tetramer technology

四聚体技术检测原发性胆汁性肝硬化患者血循环中抗原特异性T细胞

Decoction Invigorating Yang for Recuperation in the Treatment of Primary Biliary Cirrhosis: 30 Cases

补阳还五汤加味治疗原发性胆汁性肝硬化30例

Altered monocyte responses to defined TLR ligands in patients with primary biliary cirrhosis

单核细胞对原发性胆汁性肝硬化患者体内特定的TLR配体反应性的改变

Primary biliary cirrhosis of liver

原发性胆汁性肝硬变（化）妊娠肝内胆汁淤积症

The Ultrastructure of Intrahepatic Bile Ducts in Primary Biliary Cirrhosis

原发性胆汁性肝硬化肝内小胆管的超微病理学研究

Objective: To explore the clinical and pathological features of primary biliary cirrhosis ( PBC).

目的：总结原发性胆汁性肝硬化（PBC）患者的临床及肝组织病理特征，以提高对本病的认识。