KoMeT (Q5210812): Difference between revisions

From MaRDI portal
← Older edit
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
 
Property / cites work
 
Property / cites work: An automatic proof of Gödel's incompleteness theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692618 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3833651 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving Theorems with the Modification Method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997615 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282603 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorem proving using equational matings and rigid <i>E</i> -unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: SETHEO: A high-performance theorem prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structure-preserving clause form translation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Schubert's steamroller problem: Formulations and solutions / rank
 
Normal rank

Latest revision as of 12:23, 21 July 2024

scientific article; zbMATH DE number 7154593
Language Label Description Also known as
English
KoMeT
scientific article; zbMATH DE number 7154593

    Statements

    title
    KoMeT (English)
    0 references
    author
    Wolfgang Bibel
    0 references
    Stefan Brüning
    0 references
    Uwe Egly
    0 references
    Thomas Rath
    0 references
    publication date
    21 January 2020
    0 references

    Identifiers

    zbMATH DE Number
    7154593
    0 references
    OpenAlex ID
    W4254134740
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5210812&oldid=36553886"
    Powered by MediaWiki