Resolution
Type of resolution
nor
pos
neg
Max time of proof
Max length of clauses
Max height of clauses
Max size of clauses
notrace
trace
Clauses
p,-p q,-q r,-r
Proof
(1) [p] Hyp (2) [-p q] Hyp (3) [q] Res Bin 1, 2 (4) [-q r] Hyp (5) [r] Res Bin 3, 4 (6) [-r] Hyp (7) [] Res Bin 5, 6 Proof duration (in seconds): 3.38554382324e-05
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019