超表

（计算机科学技术）

超表（hyper tableaux），计算机科学技术名词，处理一阶逻辑的一种有效和完备的推理演算。在保留语义表中众多特性的同时，拥有超归结的能力。