RETRPROV. A system that looks for axioms
From MaRDI portal
Publication:2565056
DOI10.1007/s002360050069zbMath0861.68085OpenAlexW1982340990WikidataQ114692829 ScholiaQ114692829MaRDI QIDQ2565056
Andrzej Biela, Jakub Borowczyk
Publication date: 7 January 1997
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360050069