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(x),-p(a) q(f(y)),-q(f(g(z)))
Proof
There is no proof of the empty clause Proof duration (in seconds): 1.59740447998e-05
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019