hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Gatopardo (revista)
Gatopardo es una revista mexicana de periodismo narrativo, cultural, opinión y estilo de vida que inició como una revista de crónicas y reportajes con la fuerte convicción de que hay cronistas en el continente con grandes habilidades de investigación y escritura, capaces de retratar los distintos matices de la región.

A partir del número 70 (julio de 2006) Gatopardo cambió su domicilio de Bogotá, Colombia, a la Ciudad de México, cuando fue adquirida por la editorial mexicana Travesías Media. A partir de 2020 pertenece a Acacia Capital.

En la revista han colaborado renombrados periodistas y escritores como Leila Guerriero, Carlos Fuentes, Alma Guillermoprieto, Carlos Monsiváis, Lydia Cacho, Rossana Fuentes Berain y Juan Villoro, entre otros.

Lydia Cacho
Lydia María Cacho Ribeiro (Ciudad de México, 12 de abril de 1963), más conocida como Lydia Cacho, es una periodista, escritora, conferenciante y activista por los derechos humanos mexicana, naturalizada española.

Ha recibido 30 reconocimientos internacionales por investigar crímenes y desarrollar herramientas sociales y por su labor en enseñar nuevas técnicas de cómo enfrentar la esclavitud y la trata de personas en todo el mundo. Fundó un refugio para mujeres de alta seguridad en México: el Centro Integral de Atención a las Mujeres CIAM Cancún A.C. Logró la primera sentencia por tráfico sexual de niños y pornografía infantil en México y en América Latina (112 años de prisión).

En noviembre de 2021 el Gobierno español le concedió la nacionalidad española por carta de naturaleza.
Tamar Novas
Tamar Novas Pita (Santiago de Compostela, 3 de octubre de 1986) es un actor español ganador del Premio Goya como mejor actor revelación por su interpretación como Javi en la película de Alejandro Amenábar Mar adentro (2004). Posteriormente ha trabajado en películas como Los abrazos rotos (2009) de Pedro Almodóvar, La playa de los ahogados (2015) de Gerardo Herrero o Elisa y Marcela (2019) de Isabel Coixet.

Gerardo Herrero
Gerardo Herrero (Madrid, 28 de febrero de 1953) es un director de cine, guionista y productor cinematográfico español. Impulsor de establecer puentes con Latinoamérica y fomentar las coproducciones, es fundador de la productora Tornasol. Ha participado en casi 180 películas como productor, coproductor o director, que han logrado 34 premios Goya, la Palma de Oro del Festival de Cannes por El viento que agita la cebada, de Ken Loach, y el Óscar por El secreto de sus ojos, de Juan José Campanella.
Formación Los Alamitos
La Formación Los Alamitos es una formación geológica del Cretácico Superior (Campaniense tardío–Maastrichtiense temprano) que aflora en la provincia de Río Negro, en el norte de la Patagonia argentina, dentro del Macizo Norpatagónico.  
La unidad es ampliamente conocida por su **excepcional contenido fósil continental**, que incluye dinosaurios, aves, reptiles y una de las asociaciones de mamíferos mesozoicos más diversas de Sudamérica.

Campaniense
El Campaniense o Campaniano es el quinto piso y edad del Cretácico Superior/Cretácico Tardío, en la escala temporal geológica. Sucede al Santoniense  y precede al Maastrichtiense. Se inició hace unos 83,6 millones de años y terminó hace unos 72,2 millones de años.

El Campaniense se introdujo en la literatura científica por el geólogo y paleontólogo francés Henri Coquand en 1857. Recibe su nombre de la ciudad de Champagne (departamento de Charente Marítimo, Francia).
Anarchist from Colony
Anarchist from Colony (en hanga 박열; hanja: 朴烈; lit. «Park Yeol») es una película surcoreana de 2017 dirigida por Lee Joon-ik y protagonizada por Lee Je-hoon y Choi Hee-seo. Narra algunos episodios de la vida de los militantes anarquistas Park Yeol y Fumiko Kaneko, que lucharon por la independencia de Corea durante la ocupación japonesa. Se estrenó en Corea del Sur el 28 de junio de 2017.

Lee Je-hoon
Lee Je-hoon (en hangul, 이제훈; Seúl, 4 de julio de 1984) es un actor surcoreano, más conocido por haber interpretado a Lee Seung-min en la película Architecture 101 y por haber dado vida a Yoo Jo Soon en Tomorrow With You.
Playa de Fontaniecha
La playa de Fontaniecha está en el concejo de Valdés, en el occidente del Principado de Asturias (España) y pertenece al pueblo de Cadavedo. Forma parte de la Costa Occidental de Asturias, en el tramo que se enmarca en el conocido Paisaje Protegido de la Costa Occidental de Asturias

Cadavedo
Cadavedo (en asturiano y oficialmente, Cadavéu) es una parroquia del concejo asturiano de Valdés, en España, y un lugar de dicha parroquia.

La parroquia, con una extensión de 10,26 km², está situada sobre la rasa costera, entre el cabo Vidio y el cabo Busto. Tiene una población de 438 habitantes (INE, 2022) y una densidad de 42,69 hab./km².

El lugar de Cadavedo se encuentra a una altitud de 90 m y dista 18,20 km de Luarca, la capital del concejo.

Además del citado lugar, la parroquia comprende las aldeas de Ribón y Villademoros.

Cadavedo ha ganado el concurso provincial Pueblo más bonito de Asturias en el año 1954 y recibió el premio al Pueblo Ejemplar de Asturias en 2022.
Natalie Obkircher
Natalie Obkircher (Geldern, RFA, 7 de febrero de 1971) es una deportista italiana que compitió en luge en la modalidad individual.

Ganó cinco medallas en el Campeonato Mundial de Luge entre los años 1991 y 1997, y seis medallas en el Campeonato Europeo de Luge entre los años 1990 y 2000.

Participó en cuatro Juegos Olímpicos de Invierno, entre los años 1992 y 2002, ocupando el quinto lugar en Nagano 1998, en la prueba individual.

Campeonato Mundial de Luge
El Campeonato Mundial de Luge es la competición internacional más importante del deporte de luge. Es organizado desde 1955 por la Federación Internacional de Luge (FIL). Actualmente el campeonato se realiza cada año a excepción de los años en que se celebran los Juegos Olímpicos.

En el año 1989 se introdujo la competición de equipo mixto, en 2022 la prueba de dobles femenino y en 2025 las pruebas de individual mixto y doble mixto. Entre 2016 y 2024 se realizaba además de la carrera estándar una prueba de velocidad.
Obligación de dar
Obligación de dar es en derecho, aquella obligación jurídica en que las partes transfieren el dominio o la mera tenencia de una cosa, o constituyen un derecho real sobre ella.

En algunos países como Chile, esta definición resulta de una combinación entre la definición legal y los aportes de la doctrina, pero en otras naciones la definición es exacta, por ejemplo en Argentina, cuyo artículo 724 del Código Civil establece que «La obligación de dar, es la que tiene por objeto la entrega de una cosa, mueble o inmueble, con el fin de constituir sobre ella derechos reales, o de transferir solamente el uso o la tenencia, o de restituirla a su dueño».[cita requerida]

Derecho real
Un derecho real es un poder jurídico que ejerce una persona (física o jurídica) sobre una cosa; regula la Propiedad, y los derechos y obligaciones concernientes a la propiedad.  Este poder puede ser directo e inmediato o indirecto y mediato, y puede suponer un aprovechamiento total o parcial, siendo este derecho oponible a terceros. La figura proviene del Derecho romano ius in re o derecho sobre la cosa (ver Derecho de cosas). Es un término que se utiliza en contraposición a los derechos personales o de crédito. Los principales derechos reales son la propiedad, el usufructo, la servidumbre, la hipoteca, la prenda, la anticresis, la enfiteusis y el censo. La posesión puede ser o no un derecho real según el ordenamiento jurídico.
Grandes éxitos (álbum de Revólver)
Grandes éxitos es un álbum recopilatorio del grupo español de rock Revólver, publicado por Warner Music en octubre de 2003.

El álbum incluye los principales éxitos de Carlos Goñi bajo la formación de Revólver, procedentes de los álbumes de estudio Revólver, Si no hubiera que correr, El Dorado, Calle Mayor, Sur y 8:30 a.m., así como temas extraídos de los álbumes en directo Básico y Básico 2. Además, incluye dos temas nuevos: una adaptación al español de «Old Time Rock 'n Roll», canción popularizada por Bob Seger, y una versión del tema de José Feliciano «Qué será», ambos grabados en los estudios Mojave que Goñi posee en La Eliana, Valencia.

8:30 a.m.
8:30 a.m. es el sexto álbum de estudio del grupo español de rock Revólver, publicado por Warner Music en octubre de 2002. El álbum mantiene la temática habitual del grupo, con un sonido menos elaborado y más introspectivo en comparación con su antecesor, aunque supone un cambio en el modo de trabajar de Carlos Goñi, que a diferencia de anteriores trabajos, ejerció como productor musical.
Clase letal
Clase letal (en inglés: Deadly Class) es una serie de televisión estadounidense de acción y drama basada en la novela gráfica homónima de Rick Remender y Wesley Craig. La serie se estrenó en Syfy el 16 de enero de 2019 y finalizó el 20 de marzo de 2019. Está protagonizada por Benedict Wong, Benjamin Wadsworth, Lana Condor, María Gabriela de Faría, Luke Tennie, Liam James y Michel Duval.

El 4 de junio de 2019, se anunció que la serie fue cancelada después de una temporada. Sin embargo, la serie se tratará de vender a otras cadenas.

Benedict Wong
Benedict Wong (Eccles, Inglaterra, 3 de junio de 1971) es un actor británico de ascendencia china, conocido por interpretar a Kublai Khan en la serie Marco Polo (2014) de Netflix, a Bruce Ng en The Martian (2015) y a Wong en el Universo cinematográfico de Marvel. Wong no solo ha tenido una ilustre carrera en el cine y la televisión, sino también en teatro.
20th Century Masters - The Millennium Collection: The Best of Asia
20th Century Masters - The Millennium Collection: The Best of Asia es un álbum recopilatorio de la banda británica de rock progresivo Asia y fue publicado en 2003. Fue relanzado en el 2007 por la compañía discográfica A&M.

Este recopilatorio contiene todos los éxitos de la banda (los cuales fueron remasterizados) como «Heat of the Moment», «Only Time Will Tell», «Don't Cry» y «The Smile Has Left Your Eyes». Además, incluye otros temas que aparecen en los álbumes Asia, Alpha, Astra y Then & Now.

Alpha (álbum de Asia)
Alpha es el segundo álbum de estudio de la banda británica de rock progresivo Asia y fue publicado en formato de disco de vinilo y casete en 1983 por Geffen Records. Fue relanzado en 1988, 1995 y 2011 por la misma discográfica.
Villa San Pedro
La Villa San Pedro, o simplemente La Villa, es junto con San Pedro Viejo uno de los barrios residenciales y comerciales más antiguos de la comuna chilena de San Pedro de la Paz, perteneciente al Gran Concepción en la Región del Biobío. Representa el núcleo administrativo de la comuna, y en ella está ubicada la Ilustre Municipalidad de San Pedro de la Paz.

Este barrio se caracteriza por sus lagunas y sus conjuntos habitacionales conformados por casas y edificios bajos de la década de los sesenta. Dichas lagunas son la Laguna Chica y la Laguna Grande, en la cual está presente el Anfiteatro de San Pedro de la Paz.

Gran Concepción
El Gran Concepción es una conurbación o una «gran área urbana» ubicada en la zona centro sur de Chile, compuesta por once comunas: Concepción, Coronel, Chiguayante, Hualpén, Hualqui, Lota, Penco, San Pedro de la Paz, Talcahuano, Tomé, y Santa Juana, todas ellas de la provincia de Concepción (región del Biobío).

El concepto, cuyo nombre se debe a la ciudad de Concepción, capital provincial y sede del Gobierno Regional del Biobío alrededor de la cual se sitúan las demás comunas, es utilizado por organismos gubernamentales, medios de comunicación y población en general, estando regulado por un Plano Regulador Metropolitano de Concepción (PRMC), cuya última versión fue de 2002.

Cuenta con los puertos de Coronel, Lirquén, Talcahuano y San Vicente, el Aeropuerto Internacional Carriel Sur y cuatro accesos hacia la ruta 5 Panamericana. El núcleo de esta conurbación es la ciudad de Concepción, denominada usualmente «Concepción centro».
Bifrenaria aureofulva
Bifrenaria aureofulva Lindl. (1843), es una especie de orquídea epifita originaria de Brasil.

Es la especie más común y también la más fácilmente reconocible por sus flores de color naranja de colores brillantes muy intensos, prácticamente sin manchas, excepto en las listas que de vez en cuando aparecen en los pétalos y los sépalos y las pequeñas manchas oscuras del centro del labio,  también por sus flores estrechas que apenas se abren.

John Lindley
John Lindley (Catton, cerca de Norwich, Inglaterra (Gran Bretaña), 5 u 8 de febrero de 1799; Turnham Green, Londres (Gran Bretaña), 1 de noviembre de 1865) fue un paleontólogo, naturalista y botánico británico.
Adriana Cerezo
Adriana Cerezo Iglesias (Alcalá de Henares, 24 de noviembre de 2003) es una deportista española que compite en taekwondo.

Participó en dos Juegos Olímpicos de Verano, obteniendo una medalla de plata en Tokio 2020, en la categoría de –49 kg, y el noveno lugar en París 2024, en la misma categoría.

Ganó una medalla de bronce en el Campeonato Mundial de Taekwondo de 2023, tres medallas en el Campeonato Europeo de Taekwondo entre los años 2021 y 2024, y una medalla de oro en los Juegos Europeos de Cracovia 2023.

Campeonato Europeo de Taekwondo de 2021
El XXIV Campeonato Europeo de Taekwondo se celebró en Sofía (Bulgaria) entre el 8 y el 11 de abril de 2021 bajo la organización de la Unión Europea de Taekwondo (ETU) y la Federación Búlgara de Taekwondo.

Las competiciones se realizaron en las instalaciones del Grand Hotel Millennium Sofia de la capital búlgara.
Juan Hidalgo Codorniu
Juan Hidalgo Codorniu (Las Palmas de Gran Canaria, 14 de octubre de 1927- Ayacata, Gran Canaria, 26 de febrero de 2018) fue un artista multidisciplinar vanguardista español, compositor, fotógrafo, pintor, escultor y poeta, también experimentado con las performances. Se definía a sí mismo como "El hijo de John Cage y el nieto de Marcel Duchamp". En 2016 recibió el Premio Nacional de Artes Plásticas.

Marcel Duchamp
Marcel Duchamp (Blainville-Crevon, 28 de julio de 1887-Neuilly-sur-Seine, 2 de octubre de 1968) fue un artista y ajedrecista francés. Especialmente conocido por su actividad artística, su obra ejerció una fuerte influencia en la evolución del dadaísmo. Al igual que el citado movimiento, abominó la sedimentación simbólica en las obras artísticas como consecuencia del paso del tiempo y exaltó el valor de lo coyuntural, lo fugaz y lo contemporáneo. Duchamp es uno de los principales valedores de la creación artística como resultado de un puro ejercicio de la voluntad, sin necesidad estricta de formación, preparación o talento.

Duchamp, que no pertenece a ninguna corriente artística precisa, tiene un estilo único. Rompiendo los códigos artísticos y estéticos entonces vigentes, es considerado como el precursor de algunos aspectos más radicales de la evolución del arte desde 1945.
Søby
Søby es una localidad situada en el municipio-isla de Ærø, en la región de Dinamarca Meridional (Dinamarca), con una población estimada a principios de 2018 de unos 445 habitantes.

Se encuentra ubicada al sur de la región, cerca de la frontera con Alemania y de la costa del mar Báltico.

Dinamarca del Sur
Dinamarca del Sur (en danés: Region Syddanmark; en alemán: Region Süddänemark, pronunciado /ʁeˈɡi̯oːn zyːtˈdɛːnəˌmaʁk/; en frisón septentrional: Regiuun Syddanmark) es una región administrativa de Dinamarca, establecida el 1 de enero de 2007 por la reforma municipal danesa, que sustituyó la anterior división administrativa en distritos (amter) por cinco grandes regiones. Situada al sur del país, está formada principalmente por la península de Jutlandia y la isla de Fionia. Su capital es Vejle, de unos 51.000 habitantes, aunque la mayor ciudad es Odense, con una población de 188.000 habitantes.
Instituto de Investigación Espacial Asher
El Instituto de Investigación Espacial Asher (en hebreo: מכון אשר לחקר החלל) es un instituto especializado dedicado a la investigación científica multidisciplinar en el Instituto de Tecnología Technion - Israel localizado en Haifa, al norte de Israel.

La ASRI fue establecida en 1984. Sus miembros provienen de cinco facultades Technion, y tiene un personal técnico de los científicos del Technion en una variedad de campos relacionados con el espacio (Física, Ingeniería Aeroespacial, Ingeniería Mecánica, Ingeniería Eléctrica, Sistemas Autónomos y Ciencias de la Computación). ASRI es un importante centro de investigación espacial en Israel y está involucrado en el desarrollo de los sistemas espaciales basados en tecnologías avanzadas e innovadoras, así como la educación, a través de grados avanzados.

Technion
El Technion - Instituto Tecnológico de Israel está ubicado en Haifa (Israel) y es el principal y más antiguo instituto científico y tecnológico israelí.

Fundado en 1912 en Haifa bajo el Imperio otomano, antes de la fundación del moderno Estado de Israel, su primer curso tuvo lugar en  1924; el Technion ha sido desde sus comienzos un importante y activo líder en el desarrollo y establecimiento de Israel. Fue instituido con un foco en ciencias físicas, ingeniería y arquitectura, pero se ha convertido también en una de las mejores facultades de Medicina a nivel mundial, presumiendo de más premios Nobel en medicina que cualquier otra escuela médica del mundo.

La facultad de Ingeniería Eléctrica, la escuela más grande del Technion, fue clasificada entre los 10 mejores departamentos de Ingeniería Eléctrica del mundo, y sus facultades de Ingeniería/Tecnología y Ciencias de la Computación fueron catalogadas entre las 40 mejores del mundo.
Castle & Castle
Castle and Castle es una serie de televisión web nigeriana distribuida por Netflix. Creada por Mo Abudu y Heidi Uys, se trata de la primera serie de drama legal de Nigeria y de África, la cual presenta la historia de una familia de abogados caracterizada por el amor, el drama y la traición.

Rodada en Lagos, fue lanzada el 1 de julio de 2018 en Ebonylife ON. Está protagonizada por Richard Mofe-Damijo, Dakore Akande, Deyemi Okanlawon y Daniel Etim Effiong. Tras su estreno recibió buenas calificaciones de la audiencia. A inicios de 2020 se confirmó que Netflix había adquirido los derechos de la serie, y encargado una nueva temporada. La misma fue estrenada el 15 de septiembre de 2021 en dicha plataforma, y contó con la incorporarción de Bisola Aiyeola, Bimbo Ademoye, Mimi Chaka, y Elozonam Ogbolu al elenco.

Richard Mofe-Damijo
Richard Eyimofe Evans Mofe-Damijo (nacido el 6 de julio de 1961), conocido popularmente como RMD, es un actor, escritor, productor y abogado nigeriano. También es ex comisionado de Cultura y Turismo en el estado de Delta. En 2005 ganó el Premio de la Academia Africana de Cine al Mejor Actor en un Papel Protagónico. Recibió el premio a los logros de vida en los 12th Africa Movie Academy Awards 2016.
Peñón de Zaframagón
El peñón de Zaframagón es una formación rocosa de Andalucía (España) situada en los términos municipales de Olvera (Cádiz) y Coripe (Sevilla), en el límite de ambas provincias.

El 28 de julio de 1989 se declaró un área de 448 ha como «Reserva Natural del Peñón de Zaframagón».

Coripe
Coripe es un municipio y localidad de España en la provincia de Sevilla, comunidad autónoma de Andalucía. En 2016 contaba con 1337 habitantes. Su extensión superficial es de 52 km² y tiene una densidad de 28,29 hab/km². Se encuentra situada a una altitud de 325 metros y a 77 kilómetros de la capital de provincia, Sevilla.
Desastre de la tormenta de nieve en Nepal de 2014
El desastre de la tormenta de nieve en Nepal de 2014 se produjo en el centro del país durante el mes de octubre y se saldó con la muerte de al menos 43 personas de diversas nacionalidades, entre ellas al menos 21 senderistas. Los heridos y las víctimas mortales fueron consecuencia de tormentas de nieve y avalanchas inusualmente fuertes en las montañas de Annapurna y Dhaulagiri y sus alrededores.

Annapurna
Annapurna (en nepalí, अन्नपूर्णा) es un macizo montañoso situado en el centro de la cordillera del Himalaya que culmina en Annapurna I, con 8091 m. s. n. m. de altitud, siendo la décima montaña más alta de la Tierra y, posiblemente, la más difícil de escalar junto con el K2 y el Nanga Parbat.
Kahogo no Kahoko
Kahogo no Kahoko (過保護のカホコ, lit. Sobreprotegida Kahoko?) es una serie de televisión japonesa emitida por Nippon Television desde el 12 de julio hasta el 13 de septiembre de 2017, protagonizada por Mitsuki Takahata, Ryoma Takeuchi, Hitomi Kuroki y Saburō Tokitō. El guion fue escrito por Yukawa Kazuhiko, que trabajó en numerosos dramas exitosos como 'El aula de la reina' (2015) y 'Mita el ama de casa' (2011).

Mitsuki Takahata
Mitsuki Takahata (高畑 充希, Takahata Mitsuki?,  Higashiōsaka, Prefectura de Osaka, Japón, 14 de diciembre de 1991) es una actriz y cantante japonesa, representada por la agencia de talentos Horipro. Asistió a la Universidad Hosei como estudiante de pregrado.
Bernardo (obra perdida de Cervantes)
Bernardo es una obra perdida de Miguel de Cervantes, mencionada por este en abril de 1616, en su dedicatoria al Conde de Lemos de Los trabajos de Persiles y Sigismunda, calificándola de "el famoso Bernardo". Aquí, "famoso"  no quiere decir que ya era famoso, sino que era merecedor de fama.

Según esta dedicatoria, no le quedaron en el alma de Cervantes sino "ciertas reliquias y asomos"; es decir, estaba casi acabado.

El hispanista Daniel Eisenberg, en una ponencia ante la Asociación Internacional de Hispanistas en 1983, propuso que sólo podría ser una alusión al héroe castellano medieval Bernardo del Carpio. Dado que Cervantes creía que España necesitaba mejores libros de caballerías, con héroes nacionales en vez de extranjeros, y que había comenzado uno, como nos comunica su portavoz el Canónigo de Toledo, es lógico que esta obra perdida fuera su contribución al género.

Los trabajos de Persiles y Sigismunda
Los trabajos de Persiles y Sigismunda, historia setentrional es la última obra de Miguel de Cervantes, publicada de forma póstuma en Madrid en 1617. Se trata de una novela bizantina que no hay que confundir con la comedia Persiles y Sigismunda (1633) de Francisco de Rojas Zorrilla, inspirada en ella. El propio Cervantes la consideró su mejor obra; sin embargo la crítica da este título unánimemente a Don Quijote de la Mancha.
Billón
En la escala numérica larga utilizada tradicionalmente en español, y en la mayoría de los países de Europa continental[cita requerida], un billón equivale a 1012, esto es, un millón de millones.
En el Sistema Internacional de Unidades se representa con el prefijo «tera».

Millardo
Un millardo es el número natural equivalente a mil millones (1 000 000 000) o, en notación científica, 109. En el Sistema Internacional de Unidades equivale al prefijo giga. En español, la palabra «millardo» es un extranjerismo adaptado que no forma parte del sistema de adjetivos numerales; está recogido por la Real Academia Española desde 1995 a instancias de la Academia Venezolana de la Lengua.

Ya que no es parte del sistema de adjetivos numerales, sino un sustantivo que opera de modo similar a «docena», «centena» o «millar», este vocablo no puede ir seguido de adjetivos numerales. Así, no es apropiado leer 100 000 200 000 como «cien millardos doscientos mil», siendo lo correcto «cien mil millones doscientos mil».
Coeficiente trinomial
Partiendo de la definición de coeficiente binomial y de su expresión algebraica (véase coeficiente binomial, apartado definición algebraica), se puede extender la idea de coeficientes binomiales a lo que se denominan coeficientes trinomiales, con los cuales se puede desarrollar el teorema del trinomio.

Fórmula (expresión)
Una fórmula es una secuencia o cadena de caracteres cuyos símbolos pertenecen a un lenguaje formal, de tal manera que la expresión cumple ciertas reglas de buena formación y que admite una interpretación consistente en alguna área de la matemática y en otros sistemas formales. Esta tiene la finalidad de expresar una relación general entre los términos expresados en la fórmula.

En un sistema formal, una fórmula bien formada es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado. Un lenguaje formal se define como el conjunto de todas sus fórmulas bien formadas.