is a theorem that has been explored in
3
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Koebe's_one-quarter_theorem | the context of mathematical modeling. |
| gptkb:Koebe's_one-quarter_theorem | the context of theoretical mathematics. |
| gptkb:Hilbert's_completeness_theorem | the context of non-classical logics |