firstProvedUndecidableBy
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Wang_tile_problem | gptkb:Robert_Berger |