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
Proof
There is no proof of the empty clause Proof duration (in seconds): 9.53674316406e-07
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019