超归结

（计算机科学技术）

超归结（hyper-resolution），计算机科学技术名词，语义归结的一个特例，分正超归结（使用的解释中谓词函数恒取真值）和负超归结（使用的解释中所有的谓词函数恒取假值）。