3 research outputs found
A Time Efficient KE Based Theorem Prover
this paper. Informally we obtain KE' from KE by restricting the application of beta rules to literals as minor premises, with one exeption: directly after every application of P
3 research outputs found