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
Finding and Certifying Loops - MaRDI portal

Finding and Certifying Loops (Q3401124)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finding and Certifying Loops
scientific article

    Statements

    title
    Finding and Certifying Loops (English)
    0 references
    author
    Harald Zankl
    0 references
    Christian Sternagel
    0 references
    Dieter Hofbauer
    0 references
    Aart Middeldorp
    0 references
    publication date
    28 January 2010
    0 references
    zbMATH Keywords
    rewriting
    0 references
    nontermination
    0 references
    certification
    0 references

    Identifiers

    zbMATH DE Number
    5664099
    0 references
    OpenAlex ID
    W1495249746
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3401124&oldid=32365636"
    Powered by MediaWiki