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.
CITATION STYLE
Hutter, D., & Sengler, C. (1996). INKA: The next generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1104, pp. 288–292). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_92
Mendeley helps you to discover research relevant for your work.