Más alto (en. Higher)
Translation into Spanish
The software involves a collection of higher-order test problems in TPTP and higher-order problem solutions in TSTP, as well as a result and output ontology for higher-order ATP.
El software en cuestión comprende un conjunto de problemas de prueba de orden superior en la TPTP y de soluciones a problemas de orden superior en la TSTP, así como una ontología de salida para la ATP de orden superior.
Example taken from data source: ELRC-CORDIS_Results_v1 Finally, these results are also far higher than those obtained by students in Spain on English knowledge tests.
Finalmente, estos resultados también son muy superiores a los que los alumnos en España obtienen en la prueba de conocimientos de Inglés.
Example taken from data source: ELRC-government_websites_v1 In fermented meat products, the presence of L. monocytogenes is probably lower although its survival ability is higher (FSAI, 2005).
En los derivados cárnicos fermentados, la presencia de L. monocytogenes es posiblemente menor aunque su supervivencia es mayor (FSAI, 2005).
Example taken from data source: ELRC-government_websites_v1 Phytosterol absorption in females is described as being slightly higher than in males (Tilvis and Miettinen, 1986) and higher in children than in adults (Mellies et al., 1976).
La absorción de fitosteroles en las mujeres se ha descrito que es un poco más alta que en los hombres (Tilvis y Miettinen, 1986) y mayor en los niños que en los adultos (Mellies et al., 1976).
Example taken from data source: ELRC-government_websites_v1 These allusions belong to a linguistic register which is higher than the level of knowledge held by most Spanish pupils.
Dichas alusiones pertenecen a un registro lingüístico que es superior al nivel de conocimientos de la gran mayoría de los alumnos españoles.
Example taken from data source: ELRC-1076-EUIPO_law_v1 Human value is always higher than any market value.
El valor humano siempre será superior al valor del mercado.
Example taken from data source: RF_v1 A lower actual level of de-commitments would translate into higher payment needs.
Un importe real de liberaciones inferior se traduciría en mayores necesidades de pago.
Example taken from data source: ELRC-3571-EUR_LEX_covid_v1