Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (Q4884668)
From MaRDI portal
scientific article; zbMATH DE number 897303
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case |
scientific article; zbMATH DE number 897303 |
Statements
Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (English)
0 references
4 November 1996
0 references
hereditarily finite sets
0 references
hypersets
0 references
pointed graphs
0 references
algorithmic data structures
0 references
first-order axioms
0 references
decision algorithm
0 references
unification algorithm
0 references
satisfiability
0 references
