Decidability and complexity analysis by basic paramodulation (Q1281494)

From MaRDI portal
Revision as of 20:15, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Decidability and complexity analysis by basic paramodulation
scientific article

    Statements

    title
    Decidability and complexity analysis by basic paramodulation (English)
    0 references
    author
    Robert Nieuwenhuis
    0 references
    publication date
    29 November 1999
    0 references
    zbMATH Keywords
    Horn clauses
    0 references
    basic paramodulation
    0 references

    Identifiers

    zbMATH DE Number
    1267923
    0 references
    OpenAlex ID
    W1966042322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1281494&oldid=31714800"
    Powered by MediaWiki