比格犬

Beagle——一个层次叠加定理证明器。Beagle是一阶逻辑模内置理论的自动定理证明器。它实现了层次叠加演算的精化版本。该系统描述了Beagle的证明过程、背景推理设施、实现和实验结果。