Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pull da função de Relevancia para critério de demonstração #1

Merged
merged 4 commits into from
Apr 2, 2012
Merged

Pull da função de Relevancia para critério de demonstração #1

merged 4 commits into from
Apr 2, 2012

Commits on Apr 2, 2012

  1. Adicionando condição para relevancia: cada fórmula das premissas deve… 

    … partilhar ao menos um átomo com a

fórmula da conclusão
    Patrick Terrematte committed Apr 2, 2012
    Configuration menu
    Copy the full SHA
    fef43b5 View commit details
    Browse the repository at this point in the history

  2. Update generate.php

    Patrick Terrematte committed Apr 2, 2012
    Configuration menu
    Copy the full SHA
    a0e2caa View commit details
    Browse the repository at this point in the history

  3. Update vH/Connective.php

    Patrick Terrematte committed Apr 2, 2012
    Configuration menu
    Copy the full SHA
    4cc0de4 View commit details
    Browse the repository at this point in the history

  4. Update vH/Connective.php

    Patrick Terrematte committed Apr 2, 2012
    Configuration menu
    Copy the full SHA
    11905d9 View commit details
    Browse the repository at this point in the history