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
What Is Essential Unification? - MaRDI portal

What Is Essential Unification? (Q3305325)

From MaRDI portal
scientific article
Language Label Description Also known as
English
What Is Essential Unification?
scientific article

    Statements

    title
    What Is Essential Unification? (English)
    0 references
    publication date
    6 August 2020
    0 references
    zbMATH Keywords
    \(E\)-unification
    0 references
    order relations for unification
    0 references
    most general unifiers
    0 references
    essential unifiers
    0 references
    unification theory
    0 references
    cites work
    Q4515867
    0 references
    Q2751360
    0 references
    Q5277870
    0 references
    Q4266519
    0 references
    Q4385532
    0 references
    Q3970984
    0 references
    Q4376048
    0 references
    Q4273676
    0 references
    Q5607226
    0 references
    Q5607227
    0 references
    Q5607228
    0 references
    Essential unifiers
    0 references
    Q4126563
    0 references
    Q4484328
    0 references
    Q5620583
    0 references
    Q4619820
    0 references
    Q5686240
    0 references
    Q5625457
    0 references
    Q3659988
    0 references
    Q4529547
    0 references
    Q5613949
    0 references
    Q5678447
    0 references
    Q3883563
    0 references
    Q3338215
    0 references
    Unification theory
    0 references
    Q3682461
    0 references
    Q3313256
    0 references
    Nominal unification
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T27
    0 references
    03B35
    0 references
    68V15
    0 references
    zbMATH DE Number
    7229025
    0 references
    OpenAlex ID
    W2584691322
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305325&oldid=36605528"
    Powered by MediaWiki