A fast saturation strategy for set-theoretic tableaux (Q4610319)
From MaRDI portal
scientific article; zbMATH DE number 7002272
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A fast saturation strategy for set-theoretic tableaux |
scientific article; zbMATH DE number 7002272 |
Statements
A fast saturation strategy for set-theoretic tableaux (English)
0 references
15 January 2019
0 references
saturation process
0 references
satisfiability problem
0 references
finite collection
0 references
model checking technique
0 references
0 references
0 references
0 references
