No label defined (Q3041157)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    publication date
    1984
    0 references
    zbMATH Keywords
    complete rules of inference
    0 references
    universal sentences
    0 references
    universal Horn sentences
    0 references
    positive universal sentences
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B20
    0 references
    08C15
    0 references
    08B05
    0 references
    zbMATH DE Number
    3833923
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3041157&oldid=27453185"
    Powered by MediaWiki