Conclusion

Summary

• SZS success ontology (validated)
• SZS no-success ontology
• SZS dataform ontology
• Presentation standards

Usage

• TPTP and TSTP
• ATP systems: Darwin, E, Metis, Paradox, ...
• Inference steps in derivations - useful for verification

The Future

• SZS ontologies for computations
• SZS standards for Q&A systems

• Use encouraged, feedback invited