which scientist is known for the separation logic and the system f ?
select distinct var_uri where brack_open var_uri dbo_knownFor dbr_Separation_logic sep_dot var_uri rdf_type dbo_Scientist sep_dot var_uri dbo_knownFor dbr_System_F sep_dot brack_close