On the generation of quantified lemmas

HIGHLIGHTS

• who: Gabriel Ebner from the Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Vienna, Austria have published the Article: On the Generation of Quantified Lemmas, in the Journal: (JOURNAL)
• what: This work has, for example, led to automated classification results of isomorphism classes and isotopy classes in finite algebra. The previous work in this direction has started with where the authors presented a basic algorithm for the introduction of a single cut with a single universal quantifier in pure firstorder logic. The authors aim to find a decomposition of minimal size that covers . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.