which awards have been given to both michael dummett and saul kripke ?
SELECT DISTINCT var_uri where brack_open dbr_Michael_Dummett dbo_award var_uri sep_dot dbr_Saul_Kripke dbo_award var_uri brack_close