Structuring resolution proofs by introducing new lemmata or how to improve the readability of ATP-generated proofs

From MaRDI portal

(Redirected from Structuring resolution proofs by introducing new lemmata or how to improve the readability of ATP-generated proofs)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Structuring_resolution_proofs_by_introducing_new_lemmata_or_how_to_improve_the_readability_of_ATP-generated_proofs&oldid=77988764"