complexity of model checking
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:alternation-free_μ-calculus | polynomial time |