Werner Kernig

  • Citations Per Year
Learn More
3T AP is an acronym for 3–valued tableau–based theorem prover. It is based on the method of analytic tableaux. 3T AP has been developed at the University of Karlsruhe in cooperation with the Institute for Knowledge Based Systems of IBM Germany in Heidelberg. Despite its name 3T AP is able to deal with “classical” — i.e. two– valued — first–order predicate(More)
  • 1