Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069)

From MaRDI portal
Revision as of 09:44, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6155883
Language Label Description Also known as
English
Harald Ganzinger’s Legacy: Contributions to Logics and Programming
scientific article; zbMATH DE number 6155883

    Statements

    title
    Harald Ganzinger’s Legacy: Contributions to Logics and Programming (English)
    0 references
    author
    Deepak Kapur
    0 references
    Robert Nieuwenhuis
    0 references
    Andrei Voronkov
    0 references
    Christoph Weidenbach
    0 references
    Reinhard Wilhelm
    0 references
    publication date
    19 April 2013
    0 references
    Mathematics Subject Classification ID
    68-03
    0 references
    01A70
    0 references
    03B70
    0 references
    68N30
    0 references
    68T15
    0 references
    zbMATH DE Number
    6155883
    0 references
    describes a project that uses
    Saturate
    0 references
    SPASS
    0 references
    E Theorem Prover
    0 references
    YAGO
    0 references
    VAMPIRE
    0 references
    OpenAlex ID
    W1608222211
    0 references
    cites work
    Q4255513
    0 references
    Q4249896
    0 references
    Q4524792
    0 references
    Q2751353
    0 references
    Q4264723
    0 references
    Basic paramodulation
    0 references
    Q3817580
    0 references
    Q4249897
    0 references
    Q4246725
    0 references
    Q4282593
    0 references
    Q4094350
    0 references
    Q3048295
    0 references
    Q3048294
    0 references
    Q3664415
    0 references
    Q3817656
    0 references
    Q3753472
    0 references
    Q4329239
    0 references
    Computer Science Logic
    0 references
    Theory Instantiation
    0 references
    Q2762631
    0 references
    Q4539609
    0 references
    Q4138064
    0 references
    Q3838762
    0 references
    Q5581665
    0 references
    Labelled Clauses
    0 references
    Q4264721
    0 references
    Q3150300
    0 references
    Q5624683
    0 references
    Q3150301
    0 references
    Q2723441
    0 references
    Q2702595
    0 references
    Q4938422
    0 references
    Q4539608
    0 references
    Q4263167
    0 references
    Q3789100
    0 references
    Q3696496
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4916069&oldid=35330122"
    Powered by MediaWiki