Novelty

Novelty

• The theorem holds distinguished information
• Techniques
  • Require formulae to be non-tautologous
  • Require formulae to be non-redundant
    • Subsumption checking
    • Inter-reduce formulae
    • Find proofs of theorems from others
• Examples