1. data.gov.tw
  2. 國家教育研究院-電子計算機學術名詞
  3. 62192189
column value
英文名稱 theorem proving by resolution refutation
中文名稱 按分解律反演的定理証明