No label defined (Q4385439)
From MaRDI portal
scientific article; zbMATH DE number 1140674
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1140674 |
Statements
20 July 1998
0 references
combination of satisfiability procedures
0 references
Nelson-Oppen combination procedure
0 references
first-order theories
0 references
theory combination
0 references
nondeterministic version
0 references
correctness
0 references
equality sharing
0 references
consistency
0 references
