Lemmatization for Stronger Reasoning in Large Theories (Q2964472)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lemmatization for Stronger Reasoning in Large Theories
scientific article

    Statements

    Lemmatization for Stronger Reasoning in Large Theories (English)
    0 references
    0 references
    0 references
    0 references
    27 February 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references