canSolve

4 triples
GPTKB property

Random triples
Subject Object
gptkb:o-machine problems unsolvable by Turing machines
gptkb:MindCuber 3x3 Rubik's Cube
gptkb:A_DNA-based_Turing_machine computational problems
gptkb:oracle_Turing_machine decision problems