Paramodulation with non-monotonic orderings and simplification (Q352977)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Paramodulation with non-monotonic orderings and simplification
scientific article

    Statements

    Paramodulation with non-monotonic orderings and simplification (English)
    0 references
    0 references
    0 references
    5 July 2013
    0 references
    automated theorem proving
    0 references
    equational reasoning
    0 references
    ordered paramodulation
    0 references
    Knuth-Bendix completion
    0 references

    Identifiers