most-general-unifier

There are 0 repository under most-general-unifier 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