Exploring partial models with SCL

DOI10.29007/8BR1MaRDI QIDQ7025227zbMATH OpenFDO

Authors Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Publication date 19 February 2025

zbMATH Keywords

first-order reasoningSCLfirst-order model buildingnon-redundant learning

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Exploring partial models with SCL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025227)