SchematicExtendedHerbrandSequent
SequentsListLatexExporter
SipGrammarMinimizationFormula
SkolemQuantResolutionRule
SquareDiagonalExampleProof
SquareEdges2DimExampleProof
SubsumptionInterreduction
simpleUnitResolutionNormalization
stripUniversalQuantifiers