problem type

URI: https://gptkb.org/prop/problem_type
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Generalized_PushPush motion planning
gptkb:Generalized_PushPush gptkb:puzzle
gptkb:Ibero-American_Mathematical_Olympiad proof-based