Superposition for Bounded Domains (Q4913861)

From MaRDI portal
Revision as of 08:33, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 6154720
Language Label Description Also known as
English
Superposition for Bounded Domains
scientific article; zbMATH DE number 6154720

    Statements

    title
    Superposition for Bounded Domains (English)
    0 references
    author
    Th. Hillenbrand
    0 references
    Christoph Weidenbach
    0 references
    publication date
    16 April 2013
    0 references
    describes a project that uses
    MiniSat
    0 references
    Darwin
    0 references
    Mace4
    0 references
    Prover9
    0 references
    Isabelle
    0 references
    SATCHMO
    0 references
    E-Darvin
    0 references
    Sledgehammer
    0 references
    SPASS
    0 references
    OTTER
    0 references
    YAGO
    0 references

    Identifiers

    zbMATH DE Number
    6154720
    0 references
    OpenAlex ID
    W1897269102
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4913861&oldid=35329745"
    Powered by MediaWiki