hasSolutionIf

URI: https://gptkb.org/prop/hasSolutionIf
1 triples
GPTKB property
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