What is the {theorem} for {proved by} of {Grigori Perelman}
What was Grigori Perelman's proven theory?
What theory did Grigori Perelman prove?
SELECT DISTINCT ?k WHERE { ?k property:proved_by resource:Grigori_Perelman . ?k rdf:type ontology:theorem }
select distinct ?subj where { ?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> ?subj . ?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://www.wikidata.org/entity/P1318> . ?statement <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://wikidata.dbpedia.org/resource/Q117346> . ?subj <http://www.wikidata.org/entity/P31> <http://wikidata.dbpedia.org/resource/Q65943> } 
 select distinct ?sbj where { ?sbj wdt:P1318 wd:Q117346 . ?sbj wdt:P31 wd:Q65943 } 
Poincaré conjecture soul