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
Note on the Benefit of Proof Representations by Name - MaRDI portal

Note on the Benefit of Proof Representations by Name (Q3305625)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Note on the Benefit of Proof Representations by Name
scientific article

    Statements

    title
    Note on the Benefit of Proof Representations by Name (English)
    0 references
    author
    Matthias Baaz
    0 references
    publication date
    10 August 2020
    0 references

    Identifiers

    zbMATH DE Number
    7229607
    0 references
    OpenAlex ID
    W2981852497
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305625&oldid=36605976"
    Powered by MediaWiki