which scientist is known for the ml and the isabelle ?
select distinct var_uri where brack_open var_uri dbo_knownFor dbr_ML_ attr_open programming_language attr_close sep_dot var_uri rdf_type dbo_Scientist sep_dot var_uri dbo_knownFor dbr_Isabelle_ attr_open proof_assistant attr_close sep_dot brack_close