SOLAR: An automated deduction system for consequence finding (Q3568229)

From MaRDI portal
Revision as of 14:20, 1 March 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q2460296)
scientific article
Language Label Description Also known as
English
SOLAR: An automated deduction system for consequence finding
scientific article

    Statements

    SOLAR: An automated deduction system for consequence finding (English)
    0 references
    0 references
    0 references
    0 references
    17 June 2010
    0 references
    consequence finding
    0 references
    theorem proving
    0 references
    SOL calculus
    0 references
    connection tableaux
    0 references
    first-order logic
    0 references

    Identifiers