Extensional higher-order paramodulation in Leo-III (Q2666959)

From MaRDI portal
Revision as of 01:10, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Extensional higher-order paramodulation in Leo-III
scientific article

    Statements

    Extensional higher-order paramodulation in Leo-III (English)
    0 references
    0 references
    0 references
    23 November 2021
    0 references
    higher-order logic
    0 references
    Henkin semantics
    0 references
    extensionality
    0 references
    Leo-III
    0 references
    equational reasoning
    0 references
    automated theorem proving
    0 references
    nonclassical logics
    0 references
    quantified modal logics
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references