Larry Wos: visions of automated reasoning (Q2102922)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Larry Wos: visions of automated reasoning
scientific article

    Statements

    title
    Larry Wos: visions of automated reasoning (English)
    0 references
    author
    Michael J. Beeson
    0 references
    Maria Paola Bonacina
    0 references
    Geoff Sutcliffe
    0 references
    Michael K. Kinyon
    0 references
    publication date
    12 December 2022
    0 references
    zbMATH DE Number
    7632080
    0 references
    zbMATH Keywords
    Larry Wos
    0 references
    automated reasoning
    0 references
    Wikidata QID
    Q114264016
    0 references
    describes a project that uses
    EQP
    0 references
    iProver
    0 references
    Prover9
    0 references
    AURA
    0 references
    VAMPIRE
    0 references
    SPASS
    0 references
    Waldmeister
    0 references
    OTTER
    0 references
    OpenAlex ID
    W4214565566
    0 references
    cites work
    Proofs from THE BOOK
    0 references
    Q4000281
    0 references
    Q4524792
    0 references
    Q4941840
    0 references
    Q4847004
    0 references
    Q4816538
    0 references
    Citius altius fortius
    0 references
    Q3786024
    0 references
    Q3028369
    0 references
    Q5581665
    0 references
    Q2751359
    0 references
    Q4345253
    0 references
    Playing with AVATAR
    0 references
    Q5624683
    0 references
    Q5541351
    0 references
    Q4003525
    0 references
    Q4229404
    0 references
    A Wos Challenge Met
    0 references
    Q3994754
    0 references
    Q5507984
    0 references
    Q2754067
    0 references
    Q4297316
    0 references
    Q4792019
    0 references
    Q4443194
    0 references
    Q3433180
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2102922&oldid=37471510"
    Powered by MediaWiki