what is the alma mater of rudolf e . kálmán and johan håstad ?
SELECT DISTINCT var_uri where brack_open dbr_Rudolf_E._Kálmán dbo_almaMater var_uri sep_dot dbr_Johan_Håstad dbo_almaMater var_uri brack_close