MizAR 40 for Mizar 40 (Q286800)

From MaRDI portal
Revision as of 23:53, 25 July 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q59428699, #quickstatements; #temporary_batch_1721947978549)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
MizAR 40 for Mizar 40
scientific article

    Statements

    MizAR 40 for Mizar 40 (English)
    0 references
    0 references
    0 references
    26 May 2016
    0 references
    automated reasoning
    0 references
    formal mathematics
    0 references
    Mizar
    0 references
    large theories
    0 references
    machine learning
    0 references
    artificial intelligence
    0 references
    premise selection
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers