Semantic Resolution for Horn Sets (Q4096462)

From MaRDI portal
scientific article; zbMATH DE number 3518303
Language Label Description Also known as
English
Semantic Resolution for Horn Sets
scientific article; zbMATH DE number 3518303

    Statements

    title
    Semantic Resolution for Horn Sets (English)
    0 references
    publication date
    1976
    0 references
    zbMATH DE Number
    3518303
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4096462&oldid=28327833"
    Powered by MediaWiki