No label defined (Q4539595)

From MaRDI portal
scientific article; zbMATH DE number 1765659
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1765659

    Statements

    author
    Andrei Voronkov
    0 references
    publication date
    10 July 2002
    0 references
    zbMATH DE Number
    1765659
    0 references
    describes a project that uses
    VAMPIRE
    0 references
    SCOTT
    0 references
    SystemOnTPTP
    0 references
    SETHEO
    0 references
    SPASS
    0 references
    MBase
    0 references
    Roo
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4539595&oldid=28715606"
    Powered by MediaWiki