at
.
logic
.
gapt
.
proofs
.
lk
subsumption
package
subsumption
Content Hierarchy
Learn more about scaladoc diagrams
SubsumptionAlgorithm
StillmanSubsumptionAlgorithmFOL
StillmanSubsumptionAlgorithmHOL
Visibility
Public
All
Type Members
trait
SubsumptionAlgorithm
extends
AnyRef
Value Members
object
StillmanSubsumptionAlgorithmFOL
extends
SubsumptionAlgorithm
object
StillmanSubsumptionAlgorithmHOL
extends
SubsumptionAlgorithm
package
managers
Ungrouped