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
Theorem Proving with Analytic Tableaux and Related Methods - MaRDI portal

Theorem Proving with Analytic Tableaux and Related Methods (Q4645221)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Theorem Proving with Analytic Tableaux and Related Methods
scientific journal

    Statements

     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4645221&oldid=9110028"
      Powered by MediaWiki