Semantically guided first-order theorem proving using hyper-linking (Q5210771)

From MaRDI portal
scientific article; zbMATH DE number 7154547
Language Label Description Also known as
English
Semantically guided first-order theorem proving using hyper-linking
scientific article; zbMATH DE number 7154547

    Statements

    Semantically guided first-order theorem proving using hyper-linking (English)
    0 references
    0 references
    0 references
    21 January 2020
    0 references
    0 references
    0 references
    0 references
    0 references