Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Efficient Reasoning for Inconsistent Horn Formulae - MaRDI portal

Efficient Reasoning for Inconsistent Horn Formulae (Q2835881)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient Reasoning for Inconsistent Horn Formulae
scientific article

    Statements

    title
    Efficient Reasoning for Inconsistent Horn Formulae (English)
    0 references
    author
    Alexey Ignatiev
    0 references
    Carlos Mencía
    0 references
    Rafael Peñaloza
    0 references
    João P. Marques-Silva
    0 references
    publication date
    30 November 2016
    0 references
    describes a project that uses
    HgMUS
    0 references
    BEACON
    0 references
    ELK
    0 references
    Ltur
    0 references
    EL2MCS
    0 references
    cites work
    Q5503674
    0 references
    Q2741528
    0 references
    Q3221403
    0 references

    Identifiers

    zbMATH DE Number
    6658170
    0 references
    OpenAlex ID
    W2540198404
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2835881&oldid=36291160"
    Powered by MediaWiki