is a theorem that has applications in
2
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Euler's_formula_for_polyhedra | gptkb:robotics |
| gptkb:Hilbert's_completeness_theorem | gptkb:computer_science |