Overview

SZS Success Ontology

• What is known?
• What has successfully been established?
• Relates axioms to conjecture in logical data

SZS No-success Ontology

• Why no success ontology value?

SZS Dataform Ontology

• What is the nature of the logical data?

SZS Presentation Standards

• "OneWord" values and TLAs
• Standard presentation