6,140 followers
#Publication - A First Class Boolean Sort in First-Order Theorem Proving and TPTP | To support reasoning about pro… http://t.co/IKWlxEkJtA
#Publication - A First Class Boolean Sort in First-Order Theorem Proving and TPTP | To support reasoning about pro… http://t.co/IKWlxEkJtA
A first class boolean sort in first-order theorem proving and TPTP ~ E. Kotelnikov, L. Kovács & A. Voronkov http://t.co/sJITtJ0rFY #ATP