InKa swMATH ID: 19610 Software Authors: Serge Autexier, Susanne Biundo, Birgit Hummel, Dieter Hutter, Claus Sengler, Christoph Walther Description: InKa - an inductive theorem prover. InKa: INduktionsbeweiser KArlsruhe is a semi-automated inductive theorem prover actively developed from 1985 till 1999. It is written in LISP (two versions: CMU-Lisp and Allegro-Lisp) and TCL/TK. Homepage: https://github.com/theoremprover-museum/InKa Source Code: https://github.com/theoremprover-museum/InKa Related Software: CLAM; NQTHM; Oyster; PLAGIATOR; ACL2; RRL; TPS; SPIKE; ABSFOL; KIV; Zipperposition; AVATAR; E Theorem Prover; HipSpec; QuickCheck; z3; TPTP; SPASS; VAMPIRE; VeriFun Cited in: 18 Publications all top 5 Cited by 32 Authors 3 Basin, David A. 3 Kolbe, Thomas H. 3 Walther, Christoph 2 Bronsard, Francois 2 Hasker, Robert W. 2 Hutter, Dieter 2 Reddy, Uday S. 2 Sengler, Claus 1 Ahrendt, Wolfgang 1 Aoto, Takahito 1 Autexier, Serge 1 Barnett, Richard C. 1 Beckert, Bernhard 1 Benzmüller, Christoph Ewald 1 Brauburger, Jürgen 1 Bundy, Alan 1 Cruanes, Simon 1 Dietrich, Dominik 1 Franke, Andreas 1 Hähnle, Reiner 1 Hesketh, Jane 1 Kohlhase, Michael 1 Kraan, Ina 1 Meier, Andreas 1 Menzel, Wolfram 1 Protzen, Martin 1 Reif, Wolfgang 1 Schellhorn, Gerhard 1 Schmitt, Peter H. 1 Schweitzer, Stephan 1 Walsh, Toby 1 Wirth, Claus-Peter Cited in 5 Serials 3 Journal of Automated Reasoning 1 Artificial Intelligence 1 Journal of Symbolic Computation 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 17 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Citations by Year