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