Resolution
Chosen clause
size
length
height
Max time of proof
Max size of clauses
notrace
trace
Support Clauses
a b,-a b
Usable Clauses
-b
Proof
(1) [-a b] Hyp (2) [a b] Hyp (3) [-b] Hyp (4) [a] Res Bin 2, 3 (5) [b] Res Bin 1, 4 (6) [] Res Bin 5, 3 Proof duration (in seconds): 3.57627868652e-05
examples
|
syntax
|
info
|
home
|
download
Last Modified : 18-Dec-2019