An extension of pointwise circumscription (Q2676573)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An extension of pointwise circumscription
scientific article

    Statements

    An extension of pointwise circumscription (English)
    0 references
    0 references
    0 references
    27 September 2022
    0 references
    0 references
    circumscription
    0 references
    pointwise circumscription
    0 references
    approximation
    0 references
    equivalent transformation
    0 references
    existential formulas
    0 references
    computation
    0 references