归结语义树

（计算机科学技术）

归结语义树（resolution semantic tree），计算机科学技术名词，用归结法证明定理时，相应的子句集中出现的所有原子命题构成的二叉树。它用于说明归结过程。