column value
英文名稱 theorem proving by resolution
中文名稱 按分解律的定理証明