First Order Clause

MaRDI QIDQ7361364FDO

Authors Balazs Toth

Publication date 17 January 2025

Cited in

(3)

• Typed Ordered Resolution
• A Modular Formalization of Superposition
• SCL Simulates Nonredundant Ground Resolution

This page was built for software: First Order Clause