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
Logic programming with default, weak and strict negations - MaRDI portal

Logic programming with default, weak and strict negations (Q3422418)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Logic programming with default, weak and strict negations
scientific article

    Statements

    Logic programming with default, weak and strict negations (English)
    0 references
    0 references
    13 February 2007
    0 references
    three-valued logic
    0 references
    negation in logic programming
    0 references

    Identifiers