first-order-substitution

There are 0 repository under first-order-substitution 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

• battila7 / first-order-substitution

  Substituion in first order logic.

  first-order-logicfirst-order-substitutionsubstitution
  Language:F#