Proceedings-Artikel
INKA: The Next Generation
Dieter Hutter; Claus Sengler
In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. July 30 - August 3, New Brunswick, NJ, United States, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.
Abstract
The INKA system is a first-order theorem prover with induction based on the explicit induction paradigm Since 1986 when a first version of the INKA system was developed there have been many improvements . In this description we will give a short overview of the current system state and its abilities .