On using ground joinable equations in equational theorem proving (Q1404987): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Waldmeister / rank
 
Normal rank

Revision as of 14:35, 29 February 2024

scientific article
Language Label Description Also known as
English
On using ground joinable equations in equational theorem proving
scientific article

    Statements

    On using ground joinable equations in equational theorem proving (English)
    0 references
    0 references
    0 references
    0 references
    25 August 2003
    0 references
    rewriting
    0 references
    completion
    0 references
    equational theorem proving
    0 references
    ground joinable equations
    0 references

    Identifiers