In this paper, we describe KoMeT, a theorem prover for full first order logic. KoMeT is based on the connection method. Our main goal is to develop an adequate proof procedure by integrating a variety of different proof techniques.
CITATION STYLE
Bibel, W., Brüning, S., Egly, U., & Rath, T. (1994). Komet. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 814 LNAI, pp. 783–787). Springer Verlag. https://doi.org/10.1007/3-540-58156-1_60
Mendeley helps you to discover research relevant for your work.