Better answers to real questions (Q898260)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Better answers to real questions
scientific article

    Statements

    title
    Better answers to real questions (English)
    0 references
    author
    Marek Košta
    0 references
    Thomas Sturm
    0 references
    Andreas Dolzmann
    0 references
    publication date
    8 December 2015
    0 references
    zbMATH DE Number
    6517843
    0 references
    zbMATH Keywords
    existential problems
    0 references
    extended quantifier elimination
    0 references
    virtual substitution
    0 references
    OpenAlex ID
    W2129922110
    0 references
    arXiv ID
    1501.05098
    0 references
    cites work
    Q3639048
    0 references
    Q4797829
    0 references
    Q4232480
    0 references
    Q4247790
    0 references
    Conflict Resolution
    0 references
    Q2702025
    0 references
    Q3838772
    0 references
    Q4234321
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q898260&oldid=36217289"
    Powered by MediaWiki