The problem of demodulation during inference rule application

DOI10.1007/BF00247829zbMath0784.68080OpenAlexW1993144713WikidataQ114267059 ScholiaQ114267059MaRDI QIDQ688553

Larry Wos

Publication date: 10 December 1993

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

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

zbMATH Keywords

automated reasoningdemodulationhyperparamodulationhyperresolutionunsolved research problemUR-resolution

Mathematics Subject Classification ID

This page was built for publication: The problem of demodulation during inference rule application