Proof tree preserving tree interpolation (Q286737)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof tree preserving tree interpolation
scientific article

    Statements

    title
    Proof tree preserving tree interpolation (English)
    0 references
    author
    Jürgen Christ
    0 references
    Jochen Hoenicke
    0 references
    publication date
    25 May 2016
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    03B35
    0 references
    03C40
    0 references
    zbMATH DE Number
    6585212
    0 references
    zbMATH Keywords
    tree interpolation
    0 references
    proof tree preservation
    0 references
    SMT
    0 references
    describes a project that uses
    FOCI
    0 references
    z3
    0 references
    SMTInterpol
    0 references
    SLAB
    0 references
    Princess
    0 references
    OpenAlex ID
    W2293154396
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q286737&oldid=31836004"
    Powered by MediaWiki