Model Elimination
Max time of proof
Max length of proof
Clauses
p,-p
Proof
1: p Hypothesis 2: [p]^0 Expansion on literal 1 with hypothesis -p 3: F Remove Proof duration (in seconds): 0.00279712677002
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019