Local reductions for the modal cube (Q2104538)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Local reductions for the modal cube
scientific article

    Statements

    title
    Local reductions for the modal cube (English)
    0 references
    author
    Cláudia Nalon
    0 references
    Ullrich Hustadt
    0 references
    Fabio Papacchini
    0 references
    Clare Dixon
    0 references
    publication date
    7 December 2022
    0 references
    zbMATH DE Number
    7628205
    0 references
    describes a project that uses
    GitHub
    0 references
    TABLEAUX
    0 references
    Leo-III
    0 references
    QMLTP
    0 references
    SPASS
    0 references
    E Theorem Prover
    0 references
    MOIN
    0 references
    embed_modal
    0 references
    MleanCoP
    0 references
    LoTREC
    0 references
    OpenAlex ID
    W4289104020
    0 references
    cites work
    Q3408862
    0 references
    Q3867808
    0 references
    Q2753601
    0 references
    Q3086941
    0 references
    Q3842793
    0 references
    Modal Resolution
    0 references
    Q2751373
    0 references
    Q4028821
    0 references
    Q2751379
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2104538&oldid=37468647"
    Powered by MediaWiki