FOLExpressionClosedUnderFOLSub
FOLExpressionSubstitutable
FOLFormulaClosedUnderFOLSub
FactorialFunctionEqualityExampleProof
FactorialFunctionEqualityExampleProof2
FormulaNotExistsException
findAuxOptionInAntecedent
findDerivationViaResolution
findGrammarFromDeltaTable
findIndicesOrFormulasInPremise
findNonTrivialTSTPExamples
fol_refutation_expansion_proof
formulaOccurrenceToFormula
formulaOccurrenceToLatexString