Intensity

Intensity

• Extent of information summary
• Techniques
  • Limit ratios of axioms' and theorem's weights
  • Limit proof tree bushiness
• Examples
  • To prove
    SWC031+1 requires use of 29 of the axioms
    SWC032+1 requires use of 4 of the axioms

Implementation

• Limit ratio of information summary for LC vs its leaf ancestors
• Plurality = NumberOfSymbols / NumberOfUniqueSymbols
• Intensity = PluralityOfLeafSet / PluralityofLC
• High intensity is good