subsumption-elimination

There are 0 repository under subsumption-elimination topic.

first-order-predicate-logic-theorem-prover
yakuza8 / first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
theorem-proving theorem-prover first-order-logic first-order-substitution first-order-unification most-general-unifier tautology tautology-checking subsumption subsumption-elimination ai artificial-intelligence
Language:Python 10
plazajan / Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
prolog propositional propositional-calculus propositional-logic propositional-resolution theorem-prover classical-logic logic subsumption-elimination pure-literal-elimination educational-software
Language:Prolog 0