Documents

Introductory

• ReadMe
• History

Synopses

• CNFSynopsis
• FOFSynopsis
• TFFSynopsis
• THFSynopsis
• OverallSynopsis

Lists

• AxiomList
• ProblemList
• ReverseIndex
• VerySimilarProblemsLists/, e.g., AGT_PlanT
• ProblemAndSolutionStatistics

Structures

• SZSOntology
• SyntaxBNF
• Bibliography.bib