FOLExpressionClosedUnderFOLSub
FOLExpressionSubstitutable
FOLFormulaClosedUnderFOLSub
FactorialFunctionEqualityExampleProof
FactorialFunctionEqualityExampleProof2
findAuxOptionInAntecedent
findDerivationViaResolution
findGrammarFromDeltaTable
findIndicesOrFormulasInPremise
findMinimalCounterexample
findNonTrivialTSTPExamples
fol_refutation_expansion_proof