Sign In
insight - Automated Theorem Proving
SCL(FOL) Revisited: Refinement of First-Order Logic Calculus
Refinement and enhancement of SCL calculus for first-order logic without equality.
SCL(FOL) Revisited: Refinement of First-Order Logic Calculus Without Equality
Refinement and proof of soundness, completeness, and clause learning guarantees in SCL(FOL).
Products | Resources
© 2024 by Linnk AI