parameters
Proof
parser
skeptik
PercentMeasure
compression
pivot
Resolvent
pivotLiterals
defs
PNCToMap
help
polarity
L
position
formula
expression
position
ImpIntroCK
AllL
ExR
positionIsStronglyPositive
IntuitionisticSoundnessCondition
PredicatePosition
position
premise
GenUnary
ImpIntro
ImpIntroCK
AllL
AllR
AndL
ExL
ExR
WeakeningL
premises
GenBinary
GenNullary
GenUnary
Proof
printDigraph
help
productArity
DeletableNode
OrdinaryNode
PseudoUnit
Abs
App
Arrow
AtomicType
i
o
Var
NamedE
LeftArrow
RightArrow
L
Timed
productElement
DeletableNode
OrdinaryNode
PseudoUnit
Abs
App
Arrow
AtomicType
i
o
Var
NamedE
LeftArrow
RightArrow
L
Timed
productPrefix
DeletableNode
OrdinaryNode
PseudoUnit
Abs
App
Arrow
AtomicType
i
o
Var
NamedE
LeftArrow
RightArrow
L
Timed
proof
ProofParser
SimplePropositionalResolutionProofFormatParser
skeptik
oldResolution
proof
ProofFixing
compressor
proofName
ProofParser
SimplePropositionalResolutionProofFormatParser
ProofNodeCollection
proof
ProofParser
parser
prove
Prover
SimpleProver
Prover
skeptik
prover
ProverExperiment
proving
proving
experiment
PseudoUnit
pseudoUnits
pseudoUnits
combinedRPILU
PseudoUnitsAfter
combinedRPILU
PseudoUnitsBefore
combinedRPILU
PseudoUnitsDuringFixing
combinedRPILU
PseudoUnitsNotDuringFixing
combinedRPILU
psunLo1
WrappedAlgorithmFactory
psunLow
WrappedAlgorithmFactory
psunOne
WrappedAlgorithmFactory
psunReg
WrappedAlgorithmFactory