DOI10.1305/ndjfl/1093883175zbMath0416.03049OpenAlexW2052898195MaRDI QIDQ754195
Richard Statman
Publication date: 1980 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1093883175
zbMATH Keywords
proof theoryresolution with paramodulation
Mathematics Subject Classification ID
Proof theory and constructive mathematics (03F99)