firstProvedPSPACECompleteBy

URI: https://gptkb.org/prop/firstProvedPSPACECompleteBy
7 triples
GPTKB property
Random triples
Subject Object
gptkb:Generalized_Rush_Hour gptkb:David_S._Johnson
gptkb:Generalized_Rush_Hour gptkb:Richard_E._Stearns
gptkb:Generalized_Rush_Hour gptkb:Herbert_Edelsbrunner
gptkb:Generalized_Rush_Hour gptkb:John_Hopcroft
gptkb:Generalized_Sokoban gptkb:Schaeffer
gptkb:Generalized_Rush_Hour gptkb:Michael_R._Garey
gptkb:Generalized_Sokoban gptkb:Culberson