Generalizing theorems in real closed fields (Q1899140): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4304753 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4283227 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3140629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997615 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The number of proof lines and the size of proofs in first order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Efficient Unification Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Results on the Length of Proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sets of theorems with short proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof theory. 2nd ed / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some results on speed-up / rank
 
Normal rank

Latest revision as of 16:30, 23 May 2024

scientific article
Language Label Description Also known as
English
Generalizing theorems in real closed fields
scientific article

    Statements

    Generalizing theorems in real closed fields (English)
    0 references
    0 references
    0 references
    21 January 1996
    0 references
    Artin-Schreier axiomatization
    0 references
    Gentzen's sequent calculus
    0 references
    proof length
    0 references
    real closed fields
    0 references

    Identifiers