Random triples
| Subject | Object |
|---|---|
| gptkb:Post_correspondence_problem | there exists a sequence of dominoes such that the concatenation of the top strings equals the concatenation of the bottom strings |
| Subject | Object |
|---|---|
| gptkb:Post_correspondence_problem | there exists a sequence of dominoes such that the concatenation of the top strings equals the concatenation of the bottom strings |