No label defined (Q4702593)
From MaRDI portal
scientific article; zbMATH DE number 1368949
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1368949 |
Statements
24 November 1999
0 references
free models
0 references
data type specification
0 references
partial first-order logic
0 references
error algebras
0 references
order-sortedness
0 references
conditional fragments
0 references
algebraic frameworks
0 references