Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (Q2751043)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability |
scientific article; zbMATH DE number 1664326
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability |
scientific article; zbMATH DE number 1664326 |
Statements
21 November 2001
0 references
modal logic
0 references
decision procedures
0 references
propositional modal satisfiability
0 references
0.9953104
0 references
0.88033664
0 references
0.8787807
0 references
0.87842655
0 references
0.8706061
0 references
0.8678684
0 references
0 references
0.86387384
0 references
Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (English)
0 references
