Different Proofs are Good Proofs

Introduction

• Motivation
• We Claim ...
• The TSTP Context

Difference is Quality

• No Counting
• FOF Axioms
• Inferred Formulae
• Inference Steps
• Sets of Proofs

Result Data

• Problems and Proofs
• Maximal Jaccard Distances
• Clustering Coefficients
• A Case Study

The End - Any Questions?