supportsHybridModelChecking
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:PRISM_model_checker | yes |
Subject | Object |
---|---|
gptkb:PRISM_model_checker | yes |