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
Math Literate Knowledge Management via Induced Material - MaRDI portal

Math Literate Knowledge Management via Induced Material (Q3453114)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Math Literate Knowledge Management via Induced Material
scientific article

    Statements

    title
    Math Literate Knowledge Management via Induced Material (English)
    0 references
    author
    Mihnea Iancu
    0 references
    Michael Kohlhase
    0 references
    publication date
    20 November 2015
    0 references
    describes a project that uses
    OMDoc
    0 references
    SACHS
    0 references
    PlanetMath
    0 references
    MathWebSearch
    0 references
    Mizar
    0 references
    MMT
    0 references
    LATIN
    0 references

    Identifiers

    zbMATH DE Number
    6512418
    0 references
    Wikidata QID
    Q57389314
    0 references
    OpenAlex ID
    W802316330
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3453114&oldid=37929120"
    Powered by MediaWiki