Axiom Pinpointing in General Tableaux (Q3406682)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiom Pinpointing in General Tableaux
scientific article

    Statements

    title
    Axiom Pinpointing in General Tableaux (English)
    0 references
    DOI
    10.1093/logcom/exn058
    0 references
    author
    Franz Baader
    0 references
    Rafael Peñaloza
    0 references
    publication date
    19 February 2010
    0 references
    Mathematics Subject Classification ID
    68T27
    0 references
    03B35
    0 references
    68T15
    0 references
    68T30
    0 references
    zbMATH DE Number
    5673414
    0 references
    zbMATH Keywords
    explanation
    0 references
    tableau methods
    0 references
    automated reasoning
    0 references
    pinpointing
    0 references
    Wikidata QID
    Q57383694
    0 references
    OpenAlex ID
    W2140061645
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3406682&oldid=31244881"
    Powered by MediaWiki