is a theorem that is often used in conjunction with
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Hilbert's_completeness_theorem | the Löwenheim-Skolem theorem |