hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Sección final
En matemáticas, sección final (también llamado sección final abierta) de un conjunto parcialmente ordenado (X,≤) es un subconjunto U con la propiedad tal que, si x está en U y x≤y, entonces y está en U.

La idea dual sería el sección inicial (alternativamente, conjunto decreciente, segmento inicial, semi-ideal; el conjunto es un sección inicial cerrada), el cual es un subconjunto L con la propiedad tal que, si x está en L y y≤x, entonces y está en L.

Los términos orden ideal o ideal se usan normalmente como sinónimos para referirse a la sección inicial. La elección de esta terminología no refleja la noción del ideal del retículo porque un conjunto inferior de un retículo no es necesariamente un sub retículo.

Conjunto parcialmente ordenado
En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado (a veces abreviado como copo) o simplemente conjunto ordenado (o poset, del inglés partially ordered set) es un conjunto equipado con una relación binaria de orden parcial, que formaliza el concepto intuitivo de orden, secuencia, o arreglo de los elementos del conjunto. Tal orden no necesariamente debe ser total, es decir, no necesariamente deben poder compararse todos los elementos con todos los otros elementos del conjunto, sin embargo esto puede ocurrir en algunos casos (en otras palabras, el orden total es un caso particular del orden parcial).
Consecuente
En lógica matemática, un consecuente es un tipo muy general de afirmación condicional.

Un consecuente puede tener cualquier número m de las fórmulas de condición Ai (llamadas "antecedentes") y cualquier número n de fórmulas Bj declaradas (llamadas "sucedentes" o "secuentes"). Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos una de las fórmulas consecuentes es verdadera. Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes.

Disyunción lógica
En razonamiento formal y lógica proposicional, una disyunción lógica () (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo  valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos donde se utiliza la disyunción lógica.

En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica, en inglés se utiliza "or". Se debe distinguir entre el "o" inclusivo y el  "o" exclusivo; este artículo se refiere al "o" inclusivo. La noción equivalente en la teoría de conjuntos es la unión (). En álgebra Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo de más (+).

En electrónica, una puerta OR es una puerta lógica que implementa la disyunción lógica.
Historia de la automoción
La  historia de la automoción, en sentido estricto, comienza en el siglo XVII. La palabra deriva del griego αὐτός autós, «a sí mismo», y del latín mobilis, «que se mueve», sobre todo para distinguir entre los vehículos a motor y los de tracción animal. De estos vehículos autopropulsados se conocieron muchos tipos diferentes a través de las épocas.

Una forma de clasificarlos sería el método empleado para la propulsión; desde este punto de vista, los más significativos fueron los impulsados por vapor del siglo XVIII.

Carl Benz
Carl Friedrich Benz (Karlsruhe, 25 de noviembre de 1844-Ladenburg 4 de abril de 1929), más conocido como Karl Benz o Carl Benz, fue un ingeniero e inventor alemán, conocido por haber creado el Benz Patent-Motorwagen en 1886 junto con su esposa, este fue considerado como el primer vehículo de la historia diseñado para ser impulsado por un motor de combustión interna.
Rafael Marín Trechera
Rafael Marín Trechera (Cádiz, 3 de febrero de 1959) es un profesor, escritor, traductor y guionista de cómics español. Ha desarrollado también una gran actividad como crítico de cine, cómics y de literatura de ciencia ficción, participando en numerosas publicaciones.

Dolmen Editorial
Dolmen Editorial es una editorial española de libros, revistas y sobre todo cómics, tanto de autores nacionales como extranjeros, ubicada en Palma de Mallorca. Fue fundada por Vicente García en 2001, en torno a la revista homónima, y contó durante algunos años con la colaboración de Carlos Pacheco, Francisco Pérez Navarro y el coleccionista Jaume Vaquer.
Club Recreativo Los Indios
Club Recreativo Los Indios es un club deportivo ubicado en la ciudad de Moreno, provincia de Buenos Aires, Argentina. Fue fundado el 22 de septiembre de 1937. Posee un equipo de voleibol (Federación Metropolitana de Voleibol) y basquetbol masculino y femenino que participa en Torneo Federal de Básquetbol (liga A). Entre las actividades que se desarrollan en el club podemos nombrar Karate (Federación Argentina de Karate), Judo, Aikido, Gimnasia Artística y Acrobática, Natación y Buceo

La Liga Federal (básquetbol)
La Liga Federal de Básquetbol es un torneo de básquetbol profesional argentino gestionado por la Confederación Argentina de Básquetbol, correspondiente a la tercera categoría de este deporte en Argentina. Es sucesor de la Liga "B", la cual en 1992 pasó a ser la tercera división con la creación del Torneo Nacional de Ascenso.
A partir de la temporada 2022, cambió su denominación anterior (Torneo Federal de Básquet), por la actual, a fin de mantener una denominación similar a las dos categorías superiores del baloncesto argentino (La Liga Nacional y La Liga Argentina).
Cada año este torneo entrega plazas para disputar La Liga Argentina (ex TNA) en la temporada siguiente.
Iglesia (organización)
Una iglesia refiere tanto a una comunidad local como a una institución religiosa que agrupa a cristianos de una misma confesión. En sociología, este término designa a un grupo religioso institucionalizado y con vocación universalista.

Iglesias católicas orientales
Las Iglesias católicas orientales son las Iglesias cristianas de tradición oriental que reconocen la autoridad y primacía universal del papa —obispo de Roma— y están en plena comunión eclesiástica con él, por lo que forman parte de la Iglesia católica, que admite en su seno diversos ritos. De acuerdo a su número de fieles y desarrollo territorial e histórico, tienen diversos grados de organización y autonomía interna, conservando sus ritos particulares.

Algunos las llaman Iglesias uniatas, un término no preciso, ya que alude a uniones parciales con la Iglesia católica, pero no puede aplicarse a las Iglesias que siempre han estado en comunión con la Santa Sede. En la actualidad, el término subsiste entre los ortodoxos.[cita requerida]
Polesie Rowskie
Polesie Rowskie es un pueblo de Polonia, en Mazovia. Se encuentra en el distrito (Gmina) de Łaskarzew, perteneciente al condado (Powiat) de Garwolin. Se encuentra aproximadamente a 5 km al norte de Łaskarzew, 8 km al sur de Garwolin, y a 60 km al sureste de Varsovia.

Entre 1975 y 1998 perteneció al voivodato de Siedlce.

Łaskarzew
Łaskarzew es un municipio urbano (gmina miejska) situado en el distrito (powiat) de Garwolin, en Mazovia, Polonia. Según el censo de 2021, tiene una población de 4575 habitantes.

El municipio rural homónimo también tiene su sede en la localidad.
Iglesia de San Andrés (Villanueva del Arzobispo)
La iglesia de San Andrés de Villanueva del Arzobispo se ubica en el centro histórico de esta localidad de la provincia de Jaén. El actual templo, datado hacia el siglo XVI, fue levantado sobre otro anterior que hubo de ocupar el patio de armas de la fortaleza medieval, de la que aún hoy se conservan dos de las cuatro torres originarias, adosadas a la fábrica del templo. Este conjunto edilicio sintetiza a la perfección la arquitectura militar y religiosa.

Imposta
En arquitectura, se denomina genéricamente como imposta, palabra proveniente del latín imposta, a un saledizo que separa a los diferentes pisos de un edificio. Por regla general es un aparejo de sillares algo voladizo, a veces con moldura, sobre el cual va estribado un arco o una bóveda.

La imposta marca la línea divisoria entre un elemento arquitectónico que sustenta (columna, pilar o muro) y otro sustentado curvo (que puede ser un arco o bóveda). Es por esta última razón por la que a veces se denomina como línea de imposta (líneas molduradas horizontales).
StarFlyer
StarFlyer Inc. (株式会社スターフライヤー, Kabushiki-gaisha Sutāfuraiyā?) es una aerolínea con base en el Shin Kokura Building (新小倉ビル, 'Shin Kokura Biru'?) en Kokura Kita-ku, Kitakyūshū, Prefectura de Fukuoka, Japón. Sigue el ejemplo de JetBlue Airways como operadora de "bajo coste, alta calidad" centrados en los viajeros ejecutivos. La aerolínea comenzó a operar el 16 de marzo de 2006 y es una de las pocas de Japón que opera con aviones Airbus A320. En junio de 2007 se alcanzó un acuerdo de código compartido en la ruta Haneda-Kitakyushu con All Nippon Airways ampliando significativamente los números en esta ruta. En 2011 se trasladó la sede de la compañía al Aeropuerto de Kitakyushu.

JetBlue Airways
JetBlue Airways Corporation (estilizado como jetBlue) es una aerolínea estadounidense de bajo costo. La compañía tiene sus oficinas corporativas en Forest Hills, cerca del barrio de Queens en la ciudad de Nueva York. Su base principal está localizada en el Aeropuerto Internacional John F. Kennedy.

En 2001, JetBlue comenzó sus operaciones en el Aeropuerto Long Beach en Long Beach, California, y luego en el Aeropuerto Internacional Logan de Boston, Massachusetts, en 2004. También tiene operaciones en Fort Lauderdale y en Washington-Dulles, así como en el Aeropuerto Internacional de Orlando. La línea aérea principalmente sirve destinos en Estados Unidos, con vuelos a Puerto Rico, Bahamas, Bermudas, México, Colombia, Costa Rica, República Dominicana, Perú, Ecuador y Guatemala.

JetBlue mantiene una oficina corporativa en Cottonwods Heights, Utah, y una oficina satélite en Darién, Connecticut. JetBlue es una línea aérea no sindicada.
Kétpó
Kétpó es un pueblo húngaro perteneciente al distrito de Mezőtúr en el condado de Jász-Nagykun-Szolnok, con una población en 2012 de 682 habitantes.

Se conoce su existencia desde el siglo XIII, siendo mencionado por primera vez en el Regestrum Varadinense.

Se ubica unos 10 km al noroeste de la capital distrital Mezőtúr.

Mezőtúr
Mezőtúr es una ciudad húngara, capital del distrito homónimo en el condado de Jász-Nagykun-Szolnok, con una población en 2012 de 17 337 habitantes.

Se conoce su existencia desde la Edad Media, originalmente con el nombre de Túr. Entre los siglos XVI y XX, la ciudad fue un importante centro de alfarería, que actualmente se conserva principalmente como símbolo cultural.

Se ubica sobre la carretera 46, a medio camino entre Szolnok y Békéscsaba.
Ventaja Alta
Ventaja Alta es un barrio que pertenece al distrito Centro de la ciudad andaluza de Málaga, España. Según la delimitación oficial del ayuntamiento, limita al norte con La Manía; al este, con La Vaguada y Monte Sancha; al sur, con el monte de Gibralfaro; y al oeste con Barcenillas.

Gibralfaro
Gibralfaro (del árabe, gíbal al-faruh (del lat: pharo) -> giblafaruh,  'monte del faro') es un monte de 130 metros de altitud, situado en la ciudad de española de Málaga, en torno al cual los fenicios fundaron la ciudad de Malaka.
Museum de Fundatie
El Museum de Fundatie es un museo de artes visuales situado en Zwolle (Países Bajos). Forma parte de la Fundación Hannema de Stuer. Tiene una colección de artes visuales desde la Baja Edad Media hasta el presente, coleccionada por Dirk Hannema, el exdirector del Museo Boijmans Van Beuningen. Hay una colección permanente y cada tres meses una exposición temporal. En 2015, el museo acogió un récord de 310.000 visitantes.

Zwolle
Zwolle ([ˈzʋɔlə]ⓘ) es una ciudad y un municipio del este de los Países Bajos, capital de la provincia de Transisalania (Overijssel), a orillas del río IJssel. El 31 de enero de 2022 contaba con una población de 130.872 habitantes. Al norte se encuentra Giethoorn, una pequeña localidad conocida como "la Venecia verde" o "la Venecia del norte", una de sus atracciones turísticas.
Ruta Estatal de California 13
La Ruta Estatal de California 13, y abreviada SR 13 (en inglés: California State Route 13) es una carretera estatal estadounidense ubicada en el estado de California. La carretera inicia en el Sur desde la I 580     en Oakland hacia el Norte en la I 80  , I 580   en Berkeley. La carretera tiene una longitud de 15,7 km (9.73 mi).

Interestatal 80 (California)
La Interestatal 80 (abreviada I-80) es una autopista interestatal ubicada en el estado de California. La autopista inicia en el Oeste desde la I 80     en San Francisco hacia el Este en la I 80     en Verdi-Mogul, Nevada. La autopista tiene una longitud de 334 km (207.554 mi).
Calle del Conde
La calle del Conde es una pequeña e irregular vía de Madrid, del barrio de Palacio, en el distrito Centro, que discurre en sentido oriente/poniente desde la calle del Cordón a la travesía del Conde, junto a la calle de Segovia. Debe su nombre al desaparecido palacio del conde de Revillagigedo, virrey de la Nueva España.

Calle de Segovia (Madrid)
La calle de Segovia es una vía urbana del casco histórico de Madrid (España), en el barrio de Palacio, que discurre en línea recta y dirección este-oeste desde la plaza de Puerta Cerrada al puente de Segovia. Fue una de las principales vías de acceso a la Villa, por lo que conserva en su recorrido edificios y ambientes que relatan diversos capítulos de la historia de la capital de España y sus habitantes.
Ses Païsses de Artá
Ses Païsses es un poblado talayótico situado en el municipio español de Artá, Islas Baleares. Es uno de los yacimientos arqueológicos más completos y bien conservados de Mallorca. La singularidad e importancia de este conjunto se encuentra en la buena conservación de las construcciones que lo forman. En este poblado destaca la gran muralla ciclópea, que conserva todo el perímetro de 320 metros y su espectacular puerta monumental, que se ha convertido en uno de los símbolos de la prehistoria de Mallorca.

Artá
Artá (oficialmente en catalán: Artà) es una localidad y municipio español de la provincia y comunidad autónoma de las Islas Baleares. Ubicado en la isla de Mallorca, pertenece a la comarca de Levante y cuenta con una población de 8629 habitantes (INE 2025).
Tipo de dato elemental
Se llama tipo primitivo o tipo elemental a los tipos de datos originales de un lenguaje de programación, esto es, aquellos que nos proporciona el lenguaje y con los que podemos (en ocasiones) construir tipos de datos abstractos y estructuras de datos.

Generalmente ejemplos de tipos primitivos son:

Char (Carácter)

Int (Entero)

Float (Real - Coma flotante)

Otros tipos de datos que pueden ser considerados primitivos ya que la mayoría de lenguajes de programación así los proporcionan (aunque no todos) son:

Booleano (Lógico: Verdadero, Falso)

Puntero (Dirección de memoria - Int)

Tipo de dato real
El tipo de dato real es un tipo de dato en programas informáticos que representa la aproximación de un número real.

Al igual que los números enteros, el tipo real está limitado superior e inferiormente según la cantidad de memoria que haya disponible para almacenarlo. Otro elemento importante a tener en cuenta en este tipo de datos es la precisión con que se pueden representar números con decimales, cuántos decimales se pueden representar. Esta característica también está directamente relacionada con la cantidad de memoria disponible para almacenar un valor real.
Campeonato de Fútbol de Costa Rica 1957
El Campeonato de Fútbol de 1957, fue la edición número 37 de Liga de Fútbol de Costa Rica en disputarse, organizada por la FEDEFUTBOL.

A partir de este campeonato comenzó una hegemonía del Deportivo Saprissa y Liga Deportiva Alajuelense, hasta finales de los años 70. Además se da el primer descenso de un grande del fútbol costarricense, el Orión F.C., que volvería para 1959.

Se da nuevamente un campeonato con ocho equipos por el descenso de Moravia y Universidad de Costa Rica, situación que no se daba desde 1949.

Campeonato de Fútbol de Costa Rica 1949
El Campeonato de Fútbol de 1949 fue la edición número 29 de Liga de Fútbol de Costa Rica en disputarse, organizada por la FEDEFUTBOL.

El torneo se disputa por primera vez con 8 participantes gracias al ascenso del Deportivo Saprissa, por un acuerdo federativo, debido a su alto nivel demostrado en la promoción disputada un año antes contra Gimnástica Española.

Alajuelense alcanza su quinto campeonato y La Libertad disputa el descenso contra Uruguay de Coronado, la cual es ganada por los uruguayos, pero se le perdona el descenso a La Libertad.
Eupithecia lamata
Eupithecia lamata es una especie de polilla de la familia Geometridae. La especie fue descrita por primera vez por Mironov y Galsworthy, habiendo sido descrita en 2004, con distribución en China, específicamente descrita en la provincia de Qinghai. El holotipo de la especie fue descrita en los bosques Menyuanxianmi en la Haibei Tibetana, a aproximadamente 2800 metros (9186,4 pies) de altitud. Tiene similitud con otras especies de la región, todos parte del grupo de especies E. graphata.

Eupithecia graphata
Euphitecia graphata es una especie de polilla de la familia Geometridae. La especie fue descrita por primera vez por Georg Friedrich Treitschke habiendo sido descrita en 1828, con distribución en el sur de Europa y el Oriente Medio.

La especie es el tipo de un grupo de especies que include doce especies distribuidos en el Paleártico Occidental con enfoque en seis especies concentradas en los alrededores del Mar Mediterráneo.
Conrado II Duque de Baviera
Conrado II (Ratisbona, septiembre u octubre de 1052-Ratisbona, 10 de abril de 1055), llamado el Niño, fue duque de Baviera desde 1054 hasta 1055. Fue el segundo hijo del emperador Enrique III y de su segunda esposa, Inés de Poitou. Fue nombrado brevemente duque de Baviera, título que había sido ocupado por su hermano mayor, Enrique, como Enrique VIII. Murió poco después y fue reemplazado por su hermano Enrique de nuevo.

Cuando Conrado I no es numerado, sino que figura por su nombre alternativo, Cuno o Kuno; Conrado el Niño es numerado como Conrado I.

Enrique III el Negro
Enrique III (28 de octubre de 1017-5 de octubre de 1056), apodado el Negro, miembro de la dinastía salia, fue coronado rey alemán el 14 de abril de 1028 cuando su padre Conrado II aún vivía, pronto tomando parte en los asuntos del imperio, y a la muerte de su padre el 4 de junio de 1039 se convirtió en el único rey alemán. Fue coronado emperador por el papa Clemente II el 25 de diciembre de 1046. Fue un claro representante del cesaropapismo, al marcar la supremacía del emperador sobre el papa. Durante su reinado el Sacro Imperio llegó a su apogeo, punto al cual no retornaría hasta los tiempos del emperador Carlos V.
Banzo
Se denomina banzo a cada uno de los dos travesaños de madera a veces provistos de almohadillas que se utilizan como soporte para el armazón de madera sobre el que se sitúa las imágenes religiosas, y son cargados sobre los hombros de los hombres,  durante las procesiones religiosas.

En muchos sitios de España el derecho a llevar a las imágenes religiosas en hombros durante las procesiones se subastan entre los feligreses.

Procesión
Una procesión es un desfile religioso de personas, a veces con animales como pueden ser caballos, que hacen un recorrido de un lugar a otro (o bien partiendo de un sitio y volviendo a él) como muestra de su creencia y de su fe religiosa.

Las procesiones se llevan a cabo en la mayoría de las grandes religiones: hinduismo, sintoísmo, islam, catolicismo. En el protestantismo no se celebran procesiones con imágenes y esculturas, a diferencia de la Iglesia católica, debido a sus principios teológicos y hermenéuticos, como el principio de "sola scriptura" que contribuyó a su desacralización de las imágenes religiosas. Aunque existen variaciones entre denominaciones, en general, el protestantismo se distancia de las procesiones en favor de una adoración más centrada en la Palabra de Dios.

En la iglesia católica se lleva a cabo la celebración de procesiones en grandes eventos como Semana Santa o día de los santos, alcanzando así una vivencia cultural en cada país o región.
Campeonato colombiano 1995-96
El Campeonato colombiano 1995-96 (conocido como Copa Mustang 1995-96 por motivos de patrocinio) fue la cuadragésimo novena (49a) edición de la Categoría Primera A del fútbol profesional colombiano, siendo el primero en la historia del fútbol en Colombia en jugarse acorde al calendario europeo, es decir, con la entrega del título en el mes de junio.

El campeonato comenzó el 20 de agosto de 1995 y finalizó el 20 de junio de 1996, siendo parte de las temporadas 1995 y 1996.

Copa Conmebol 1996
La Copa Conmebol 1996 fue la quinta edición del torneo, organizado por la Confederación Sudamericana de Fútbol, en el que participaron dieciséis equipos de diez países sudamericanos: Argentina, Bolivia, Brasil, Chile, Colombia, Ecuador, Paraguay, Perú, Uruguay y Venezuela.

El campeón fue Lanús, de Argentina, que superó en la final al cuadro colombiano de Independiente Santa Fe con un marcador global de 2-1. Gracias al título, se clasificó de manera automática a la Copa Conmebol 1997.
Jrarbi
Jrarbi es una localidad del raión de Echmiadzin, en la provincia de Armavir, Armenia, con una población censada en octubre de 2011 de 1600 habitantes.

Se encuentra ubicada al este de la provincia, cerca del río Aras —el principal afluente del río Kurá— y a poca distancia al oeste de Ereván y al norte de la frontera con Turquía.

Provincia de Armavir
Armavir (en armenio: Արմավիրի) es una de las diez provincias (marz) de Armenia. Está al suroeste del país, junto a la frontera con Turquía. La capital es Armavir. Ocupa una superficie de 1.242 km², y en el año 2013 su población era de 267.100 habitantes.

La ciudad más grande es  Vagharshapat, también conocida como Echmiadzin (46.560 hab. en 2011), considerada capital espiritual del país, pues en ella se halla la catedral más antigua del mundo, la catedral de Ejmiatsin, del siglo IV, y es sede del catolicós, autoridad máxima, a modo de patriarca, de la Iglesia apostólica armenia. Se halla al oeste de Ereván, de la que se considera ciudad satélite, en el valle del río Kasagh, cerca del Aeropuerto Internacional de Zvartnots.

Al oeste se encuentra Metsamor (10.287 hab. en 2009), la tercera ciudad de la provincia, después de Armavir (33.268 hab. en 2009). Fue construida en 1979 para alojar al personal de la central nuclear.
Anneliese: The Exorcist Tapes
Anneliese: The Exorcist Tapes o Paranormal Entity 3: The Exorcist Tapes es una película estadounidense de terror de 2011 de estilo documental dirigida por Jude Gerard Prest. Se basa en el verdadero exorcismo de Anneliese Michel, una joven alemana que se creía que estaba poseída. La película fue estrenada directa a video el 1 de marzo de 2011. Es también un Mockbuster de Paranormal Activity 3 y una de varias películas basadas en el exorcismo de Anneliese Michel, entre ellas El exorcismo de Emily Rose (2005) y Réquiem: el exorcismo de Micaela (2006).

Paranormal Activity 3
Paranormal Activity 3 es una película de terror sobrenatural de metraje encontrado estadounidense de 2011, dirigida por Henry Joost y Ariel Schulman, y escrita por Christopher Landon. La película es la precuela de Paranormal Activity 2 y Paranormal Activity, iniciando 18 años antes de los sucesos acontecidos. El estreno de la película fue el 21 de octubre de 2011 en los Estados Unidos, España, Colombia, México y Ecuador, mientras que, el 20 de octubre del mismo año en Argentina, Chile y Bolivia.