first-order-unification

There are 0 repository under first-order-unification topic.

• first-order-predicate-logic-theorem-prover

  yakuza8 / first-order-predicate-logic-theorem-prover

  Autonomous Theorem Prover for First Order Predicate Logic

  theorem-provingtheorem-proverfirst-order-logicfirst-order-substitutionfirst-order-unificationmost-general-unifiertautologytautology-checkingsubsumptionsubsumption-eliminationaiartificial-intelligence
  Language:Python 10

• wenkokke / FirstOrderUnificationInAgda

  Implementation of McBride's "First-order unification by structural recursion" in Agda.

  libraryfirst-order-unificationunification
  Language:Agda 8