Simplification logic for the management of unknown information (Q6127881)
From MaRDI portal
scientific article; zbMATH DE number 7832118
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplification logic for the management of unknown information |
scientific article; zbMATH DE number 7832118 |
Statements
Simplification logic for the management of unknown information (English)
0 references
14 April 2024
0 references
implications
0 references
unknown information
0 references
formal concept analysis
0 references
simplification logic
0 references
automated reasoning
0 references
