which scientist is known for the kruskal's tree theorem and the kruskal's algorithm ?
select distinct var_uri where brack_open var_uri dbo_knownFor dbr_Kruskal's_tree_theorem sep_dot var_uri rdf_type dbo_Scientist sep_dot var_uri dbo_knownFor dbr_Kruskal's_algorithm sep_dot brack_close