No label defined (Q4282516)
From MaRDI portal
scientific article; zbMATH DE number 516996
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 516996 |
Statements
23 June 1994
0 references
hereditarily finite sets
0 references
satisfiability problem
0 references
equivalent linear integer programming problem
0 references
set unification problem
0 references
