Model Elimination
Max time of proof
Max length of proof
Clauses
p(x) l(x) q,-q l(y),-l(z) -m(s) r(z),-r(b) -l(t) -s(b),s(b),m(a) r(b),-p(b)
Proof
Proof not found Proof duration (in seconds): 0.0372779369354
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019