利用归结原理证明定理时，若得到的归结式为（），则结论成立。
参考答案：空集
档案被称为“历史文明之母”，“文明之母”是因为档案具有（）
A.信息加工功能
B.信息回溯功能
C.知识贮存与传播功能
D.查考备用功能
一般来讲，主板上有2个IDE接口，每个IDE接口可以连接一个主盘和一个（）。
