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
Default reasoning using classical logic - MaRDI portal

Default reasoning using classical logic (Q2171265)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Default reasoning using classical logic
scientific article

    Statements

    title
    Default reasoning using classical logic (English)
    0 references
    author
    Rachel Ben-Eliyahu
    0 references
    Rina Dechter
    0 references
    publication date
    23 September 2022
    0 references
    Mathematics Subject Classification ID
    68T27
    0 references
    03B60
    0 references
    68Q25
    0 references
    68T20
    0 references
    zbMATH DE Number
    7591265
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2171265&oldid=36855466"
    Powered by MediaWiki