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
Relational data across mathematical libraries - MaRDI portal

Relational data across mathematical libraries (Q2287899)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relational data across mathematical libraries
scientific article

    Statements

    title
    Relational data across mathematical libraries (English)
    0 references
    author
    Andrea Condoluci
    0 references
    Michael Kohlhase
    0 references
    Dennis Müller
    0 references
    Florian Rabe
    0 references
    Claudio Sacerdoti Coen
    0 references
    Makarius Wenzel
    0 references
    publication date
    22 January 2020
    0 references
    zbMATH DE Number
    7154811
    0 references
    describes a project that uses
    Whelp
    0 references
    Isabelle/PIDE
    0 references
    SPARQL
    0 references
    Coq
    0 references
    Isabelle/jEdit
    0 references
    Isabelle
    0 references
    OpenAlex ID
    W2954163388
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2287899&oldid=32036688"
    Powered by MediaWiki