SCL Simulates Nonredundant Ground Resolution

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361805FDO

Authors Martin Desharnais-Schäfer

Publication date 31 October 2024

SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning

This page was built for software: SCL Simulates Nonredundant Ground Resolution

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=SCL_Simulates_Nonredundant_Ground_Resolution&oldid=105369632"