Löwenheim–Skolem property
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:first-order_logic_with_equality | has |