Thu, 10 Dec 2020 15:48:07 +0100 generate unique variable names in tptp
desharna [Thu, 10 Dec 2020 15:48:07 +0100] rev 72920
generate unique variable names in tptp
Thu, 10 Dec 2020 13:49:49 +0100 proper handling of true and false in tptp
desharna [Thu, 10 Dec 2020 13:49:49 +0100] rev 72919
proper handling of true and false in tptp
Thu, 03 Dec 2020 18:27:24 +0100 proper eta-expansion to avoid lambdas in tptp fool
desharna [Thu, 03 Dec 2020 18:27:24 +0100] rev 72918
proper eta-expansion to avoid lambdas in tptp fool
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip