who develops the computation platform of pat ?
SELECT DISTINCT var_uri where brack_open dbr_PAT_ attr_open model_checker attr_close dbo_computingPlatform var_x sep_dot var_x dbo_developer var_uri brack_close