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
Complete and Terminating Tableau Calculus for Undirected Graph - MaRDI portal

Complete and Terminating Tableau Calculus for Undirected Graph (Q6728802)

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Complete and Terminating Tableau Calculus for Undirected Graph
scientific article from arXiv

    Statements

    arXiv classification
    math.LO
    0 references
    publication date
    2024
    0 references
    author
    Yuki Nishimura
    0 references
    Tsubasa Takagi
    0 references

    Identifiers

    arXiv ID
    2405.09162
    0 references
     
      Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q6728802&oldid=40376589"
      Powered by MediaWiki