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
Extracting information from resolution proof trees - MaRDI portal

Extracting information from resolution proof trees (Q2547494)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extracting information from resolution proof trees
scientific article

    Statements

    title
    Extracting information from resolution proof trees (English)
    0 references
    author
    David C. Luckham
    0 references
    Nils J. Nilsson
    0 references
    publication date
    1971
    0 references

    Identifiers

    zbMATH DE Number
    3351215
    0 references
    OpenAlex ID
    W2044919352
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2547494&oldid=34538488"
    Powered by MediaWiki