A Modular Splitting Framework for Saturation Theorem Proving

From MaRDI portal


MaRDI QIDQ7361910FDO


Authors Ghilain Bergeron, Florent Krasnopol, Sophie Tourret

Publication date 18 June 2025



Cites work





This page was built for software: A Modular Splitting Framework for Saturation Theorem Proving

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Modular_Splitting_Framework_for_Saturation_Theorem_Proving&oldid=105370286"
Powered by MediaWiki