is a problem that has been formalized in terms of
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:P_vs_NP_problem | mathematical logic |