m
Report
AbstractSubstitution
Substitution
Substitution
main
skeptik
Main
mainFormula
AllL
AllR
AndL
AndR
ExL
ExR
WeakeningL
SingleMainFormula
mainFormulas
Left
Axiom
AxiomTaut
NoMainFormula
Right
SequentProof
mainLeft
AxiomTaut
mainRight
AxiomTaut
mapFixedProofs
UnitsCollectingBeforeFixing
MartelliMontanari
unifier
Measure
compression
Measurer
compression
MeasurerFactory
compression
mgu
R
MinConclusionHeuristic
compressor
MinEval
combinedRPILU
MinLoweringChoice
combinedRPILU
minMap
MinEval
MinProofHeuristic
compressor
MinRegularizationChoice
combinedRPILU
MinRegularizationEvaluation
combinedRPILU
mutable
substitution
judgment