Experiments with semantic paramodulation

From MaRDI portal

Publication:1820597

Jump to:navigation, search

DOI10.1007/BF00244271zbMath0615.68064OpenAlexW2027765010MaRDI QIDQ1820597

Lawrence J. Henschen, William W. McCune

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00244271

zbMATH Keywords

equality automated theorem proving paramodulation Horn sets semantic inference rules set of support

Mathematics Subject Classification ID

Related Items (2)

MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Completeness issues in RUE-NRF deduction: The undecidability of viability

This page was built for publication: Experiments with semantic paramodulation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1820597&oldid=14183204"