SETHEO: A high-performance theorem prover
From MaRDI portal
Publication:1189726
DOI10.1007/BF00244282zbMath0759.68080MaRDI QIDQ1189726
Publication date: 27 September 1992
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Prolog; preprocessing; first order logic; connection method; abstract machine technology; model elimination
DB lookup for MSC labels failed
Related Items
Uses Software