No label defined (Q5458154)

From MaRDI portal
scientific article; zbMATH DE number 5262135
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 5262135

    Statements

    11 April 2008
    0 references
    quantifier elimination
    0 references
    quantifier-free heirs of quantifier-free types
    0 references
    quantifier-free coheirs of quantifier-free types
    0 references
    0 references

    Identifiers