hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Lógica de Hoare
La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.

Esta lógica fue publicada por Hoare en 1969 donde mencionó las contribuciones de Robert Floyd, que había publicado un sistema similar para los diagramas de flujo.

La principal característica de esta lógica es la terna o triplete “{Q} S {R}”, donde Q y R son predicados lógicos que deben cumplirse para que el programa S funcione. Es decir, que si el programa S comienza en un estado válido en Q, entonces el programa termina y lo hace en un estado válido para R.

Este método de precondición(Q) - postcondición(R) es la base del diseño de software por contrato.

Precondición
Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método).

Por ejemplo: el factorial de un número sólo está definido para valores positivos (o cero). Por tanto, un subprograma que calcule el factorial de un número exigirá que dicho número sea mayor o igual que cero.

Existen lenguajes de programación que incorporan construcciones sintácticas para reflejar las precondiciones de sus subprogramas o métodos. El cálculo del factorial en el lenguaje Eiffel, por ejemplo, quedaría así:

En donde la palabra require introduce la precondición del método factorial.
Rodolfo Dorador Pérez Gavilán
Rodolfo Dorador Pérez Gavilán (Victoria de Durango, Durango, 13 de febrero de 1969). Es un político mexicano, abogado egresado de la Universidad Juárez del Estado de Durango (UJED), con maestría en Derecho Administrativo por la Universidad Panamericana, miembro del Partido Acción Nacional donde milita desde el año de 1987.

Rodolfo Dorador ha tenido diversos cargos dentro del Partido Acción Nacional en todos sus distintos niveles, así como cargos de elección popular que lo han llevado a formar parte de la LVIII Legislatura y LXII Legislatura del Congreso de la Unión de México además de haber sido Senador durante las LX y LXI Legislaturas del Senado de la República.

Universidad Juárez del Estado de Durango
La Universidad Juárez del Estado de Durango (UJED) (llamada también La máxima casa de estudios en el estado de Durango), es una institución educativa pública de nivel superior, creada en el año 1856, localizada en el estado de Durango.
Magdalena Max Neef
Magdalena Max-Neef de Amesti (Berkeley, 28 de julio de 1961) es una actriz chilena, conocida por su trabajo en el teatro comercial, especialmente en su labor con el Teatro Aparte, y en la comedia de situaciones Los Venegas.

Los Venegas
Los Venegas es una serie de televisión chilena de comedia de situación, producida por Chilefilms y emitida por Televisión Nacional de Chile (TVN) desde 1989 hasta el segundo trimestre de 2011 (dejando los capítulos estreno en diciembre de 2010). La serie recreaba situaciones vividas por la familia Venegas, de estrato socioeconómico medio, junto a sus vecinos y amigos. Sus protagonistas fueron Jorge Gajardo y Mónica Carrasco, quienes son matrimonio en la serie y en la vida real.
Segura de los Baños
Segura de los Baños es un municipio y localidad española de la provincia de Teruel, en la comunidad autónoma de Aragón. El término municipal, ubicado en la comarca de las Cuencas Mineras, tiene una población de 55 habitantes (INE 2025).

Cuencas Mineras (Teruel)
Las Cuencas Mineras es una comarca aragonesa situada en el norte de la provincia de Teruel (España). Tiene capitalidad compartida: su capital administrativa es Utrillas y la histórico-cultural es Montalbán.
Estoy azulado
«Estoy azulado» es una canción creada por Gustavo Cerati y Richard Coleman e interpretada por el grupo musical de Argentina Soda Stereo, la canción fue incluida en el álbum de estudio Nada personal de 1985 y en el álbum en vivo Ruido blanco de 1987. Esta canción fue interpretada como demo en la Gira Soda Stereo durante el primer semestre de 1985 y de forma definitiva desde la Gira Nada Personal desde 1985 hasta la finalización de la Gira Languis en marzo de 1990.
La intención del grupo de explorar nuevos sonidos se vio reflejada en esta canción que comienza con una extensa introducción de saxofón creada e interpretada por Gonzalo Palacios.
Un sample de la canción fue agregada en la versión en vivo del tema solista de Cerati, Jugo de luna, en la gira Ahí Vamos.

Gira Soda Stereo
La Gira Soda Stereo fue la primera gira de conciertos a nivel nacional realizada por la banda de rock argentina Soda Stereo. La gira promocionaba su primer álbum Soda Stereo (1984), y presentó nuevas canciones antes del lanzamiento de Nada Personal (1985). La gira comenzó el 7 de septiembre de 1984 en Metró de Buenos Aires, Argentina, y terminó el 1 de septiembre de 1985 en el Halley Club de la misma ciudad.
Naruhisa Arakawa
Naruhisa Arakawa (荒川 稔久, Arakawa Naruhisa?, Nagoya, Prefectura de Aichi, 14 de marzo de 1964) es un guionista y letrista japonés que trabaja principalmente en anime y dramas tokusatsu. Se ha desempeñado como escritor principal de animes como Blue Seed, Spice and Wolf, Yosuga no Sora, Kingdom, Terra Formars: Revenge, Sōsei no Onmyōji, Island o Fūfu Ijō, Koibito Miman..

Sōsei no Onmyōji
Sōsei no Onmyōji (双星の陰陽師, ''Sōsei no Onmyōji''?  lit. Exorcistas de las estrellas gemelas), también conocida como Twin Star Exorcists, es una serie de manga shōnen escrita e ilustrada por Yoshiaki Sukeno. La serie está publicada por Shueisha en su revista Jump Square. Tuvo una adaptación a anime que omenzó a emitirse el 6 de abril de 2016, fue producido por TV Tokyo y escrito por Pierrot, la cual finalizó el 29 de marzo de 2017.
Iglesia de Jesús Nazareno (Santa Fe de Antioquia)
La  Iglesia de Jesús Nazareno  es un templo de culto católico, bajo la advocación de Jesús Nazareno. Está ubicado a un costado de la  Plazuela Jesús Nazareno a tres cuadras del parque principal del municipio colombiano de Santa Fe de Antioquia (Antioquia) y pertenece a la jurisdicción eclesiástica de la arquidiócesis de Santa Fe de Antioquia.

El edificio, más conocido como la Iglesia de Mi Padre Jesús, data de 1828, de estilo neoclásico con detalles barrocos, de planta rectangular y de una sola nave. El sector histórico (incluyendo la Iglesia de Jesús Nazareno) de Santa Fe de Antioquia, antigua capital del departamento de Antioquia, fue declarado Monumento Nacional de Colombia por la Ley 163 del 30 de diciembre de 1959.

Santa Fe de Antioquia
Santa Fe de Antioquia es un municipio de Colombia, ubicado en la subregión Occidente de Antioquia, departamento del que fue capital hasta el 17 de abril de 1826. Limita por el norte con los municipios de Giraldo y Buriticá; por el nororiente con los municipios de Buriticá, Liborina y Olaya; por el oriente con los municipios de Olaya y Sopetrán; por el sur con los municipios de Ebéjico, Anzá y Caicedo; y por el occidente con los municipios de Caicedo, Abriaquí y Giraldo.

Santa Fe es monumento nacional por su admirable y hermosa arquitectura de la época colonial; posee siete iglesias y una gran cantidad de casas de los siglos XVI, XVII y XVIII. Hace parte de la Red de pueblos patrimonio de Colombia.
En carne viva (película de 1955)
En carne viva es una película en blanco y negro de Argentina dirigida por Enrique Cahen Salaberry sobre el guion de Ariel Cortazzo y Carlos Adén, sobre argumento de Ariel Cortazzo que se estrenó el 24 de marzo de 1955 y que tuvo como protagonistas a Ana Mariscal, Alberto Closas, Jorge Rivier y Nelly Meden. También colaboró como camarógrafo el futuro director de cine y director de fotografía, Aníbal Di Salvo.

Ana Mariscal
Ana María Rodríguez-Arroyo Mariscal, conocida artísticamente como Ana Mariscal (Madrid, 31 de julio de 1923-ibíd., 28 de marzo de 1995), fue una actriz, directora, productora cinematográfica y escritora española. Los críticos la valoran como una de las mejores directoras del cine europeo del siglo XX.
Complot de noviembre de 1936
El complot de noviembre de 1936, también conocido como complot de Estat Català contra Companys, fue una trama desarrollada a inicios de la guerra civil española para supuestamente proclamar la independencia de Cataluña tras apartar de su cargo o terminar con la vida del presidente de la Generalidad de Cataluña Lluís Companys. El intento de golpe se enmarcaba en un momento en que la hegemonía de la CNT-FAI sobre el orden público, a pesar de la disolución del Comité Central de Milicias Antifascistas de Cataluña, era absoluta.

Independentismo catalán
El independentismo, secesionismo o separatismo catalán es la posición política que defiende la separación o independencia de Cataluña, con sus actuales límites administrativos como comunidad autónoma de España, o bien por la correspondiente a una visión pancatalanista que incluye: Andorra, la Franja de Aragón, la Comunidad Valenciana, El Carche en la Región de Murcia, las Islas Baleares, la denominada «Cataluña Norte» en el departamento francés de los Pirineos Orientales (antiguos territorios catalanes cedidos por España a Francia en el Tratado de los Pirineos del siglo XVII) y Alguer en Cerdeña (Italia). En ocasiones, el nacionalismo catalán también se entrelaza con el occitano para reclamar la independencia de Occitania de Francia, más sus pequeñas regiones en Italia, España y Mónaco, anexionándola con los denominados «Países Catalanes».
Distrito escolar independiente de Manor
Distrito Escolar Independiente de Manor (Manor Independent School District, MISD) es un distrito escolar independiente del Condado de Travis, Texas. Tiene su sede en Manor.

A partir de 2016, tenía 8.000 estudiantes. Con una superficie de aproximadamente 100 millas cuadradas, sirve Manor y partes de Austin y el área cercana de Elgin. Gestiona 8 escuelas primarias, dos escuelas secundarias, dos escuelas preparatorias (high schools), y una escuela alternativa.

Manor (Texas)
Manor es una ciudad ubicada en el condado de Travis en el estado estadounidense de Texas. En el Censo de 2010 tenía una población de 5.037 habitantes y una densidad poblacional de 264,02 personas por km².
Mamacuna
Las mamaconas o mamakuna era la suma sacerdotisa que instruía y vigilaba a las ñustas, acllas o «vírgenes del Sol» durante el Imperio inca para que se dedicaran a la religión o al estado inca.Por extensión se llama también así al edificio en el que se recluía a las muchachas y a la institución de enseñanza en general.

Ñusta
«Ñusta» (quechua: ñust’a) era el nombre para las princesas en el Imperio inca. Los tipos de parentesco de las ñustas eran dos: las que eran hijas (usualmente vírgenes) del Inca, o las que eran las esposas secundarias del Inca, siendo el equivalente a concubinas. Las ñustas - en especial las que eran hijas de la Coya (la esposa principal del Inca) - vivían temporalmente en el Acllahuasi, templo donde eran entrenadas las acllas, mujeres elegidas en diferentes partes del Tahuantinsuyo para recibir una educación avanzada.
Tony Martin (cantante británico)
Anthony Philip Harford (Birmingham, 19 de abril de 1957) es un vocalista británico de heavy metal, conocido por su trabajo con Black Sabbath desde 1987 hasta 1991 y otra vez desde 1993 hasta 1997, siendo, de esta manera, el segundo vocalista que más tiempo ha permanecido en la banda después de Ozzy Osbourne. Martin ha estado involucrado en varios proyectos (Tony Martin Band, M3, The Alliance, Misha Calvin, The Cage, Giuntini Project II, Phenomena) sin embargo es recordado por su paso por Black Sabbath.

A pesar de actuar casi exclusivamente como vocalista, Martin es un multiinstrumentista que toca guitarra, bajo, batería, violín, teclados, armónica, gaitas y flauta dulce. En su álbum en solitario "Scream" de 2005, Martin interpretó voces, bajo, batería, violín y partes adicionales de guitarra.

Headless Cross
Headless Cross es el decimocuarto álbum de estudio de la banda de heavy metal Black Sabbath, lanzado al mercado el 24 de abril de 1989 a través de I.R.S. Records. Es el primer álbum con la participación del baterista Cozy Powell y la única grabación del músico de sesión Laurence Cottle como bajista, además también incluyó la participación de Brian May, guitarrista de Queen, en el tema «When Death Calls» ejecutando y componiendo el solo de guitarra. El álbum, producido por el guitarrista Tony Iommi y Powell, tuvo un mejor desempeño en el UK Albums Chart que sus dos antecesores y llegó al puesto 31, sin embargo, fue un fracaso en los Estados Unidos, donde únicamente llegó a la posición 115 del Billboard 200, debido a una mala promoción por parte de la discográfica.
Juan de Alarcón
Juan de Alarcón (Alarcón, Cuenca h. 1395 - ¿?, 1451) fue un escritor español.

Fue de familia noble y perteneció a la Orden de San Agustín. Viajó por Italia y mantuvo contactos con la corte literaria de Juan II de Castilla, iniciando una amistad con Álvaro de Luna, a quien dedicó su Libro del regimiento de señores, un manual para la educación de príncipes que aúna enseñanzas espirituales, consejos para el uso de la autoridad y normas de gobierno.

Juan II de Castilla
Juan II de Castilla (Toro, 6 de marzo de 1405-Valladolid, 21 de julio de 1454) fue rey de Castilla durante cuarenta y ocho años, casi la primera mitad del siglo XV, entre 1406 y 1454. Fue hijo del rey Enrique III «el Doliente» (1379-1406) y de la reina Catalina de Lancaster (1373-1418), y padre de los reyes Enrique IV de Castilla (de su primera esposa, María de Aragón), e Isabel la Católica y Alfonso el Inocente (de la segunda, Isabel de Portugal). No debe confundirse con su contemporáneo, el rey Juan II de Aragón (1398-1479).
Estación de Pont de Fusta
Pont de Fusta, antiguamente denominada como estación de Santa Mónica, estación del Puente de Madera y estación Valencia - Pont de Fusta, fue (desde 1892 hasta 1995), la estación cabecera de la zona norte del Trenet de Valencia. En la actualidad es una estación de la línea 4 de Metrovalencia que fue inaugurada el 21 de mayo de 1994. Se encuentra en el centro de la calle de Almassora.

Línea 3 (Metrovalencia)
La Línea 3 del metro de Valencia es un servicio de ferrocarril metropolitano integrado en la red de Metrovalencia. Su trazado es de 25 kilómetros, divididos por un tramo en superficie (Rafelbunyol-Almássera) y otro soterrado que comprende desde Alboraia-Peris Aragó hasta el aeropuerto de Valencia.

Tiene sus orígenes en la antigua línea de tren suburbano de FEVE (conocidas popularmente como el trenet) que conectaba la estación de «Valencia-Pont de Fusta» con la localidad de Rafelbuñol. El 5 de mayo de 1995 fue reinaugurada como parte de la nueva red de metro de Valencia.
Ériu
Ériu (/ˈeːrʲu/), también conocida como Éire o Erin, en la mitología irlandesa, hija de Ernmas de los Tuatha Dé Danann, era la matrona epónima diosa de Irlanda. Su marido era Mac Gréine (hijo del sol). Con el príncipe Elatha de los Fomorianos fue la madre de Bres. El nombre inglés para Irlanda viene del nombre Ériu y «land» que procede del germánico, el antiguo noruego o el anglosajón.

Mitología irlandesa
La mitología de la Irlanda precristiana no sobrevivió completamente a la conversión al cristianismo, pero gran parte de ella se conservó, si bien recortada de sus significados religiosos, en la literatura medieval irlandesa, la cual representa la más amplia y preservada de todas las ramas de la mitología celta. Aunque muchos de los manuscritos no han logrado sobrevivir y muchos más materiales probablemente nunca llegaron a ser escritos, hay suficientes restos para permitir la identificación de cuatro ciclos distintos, aunque superpuestos: el Ciclo mitológico, el Ciclo del Úlster, el Ciclo feniano y el Ciclo histórico. También hay cierto número de ciertos textos mitológicos que no encajan en ningún otro ciclo. Asimismo, hay un vasto número de cuentos populares conservados que, aunque no estrictamente mitológicos, protagonizan personajes de uno o más de estos cuatro ciclos.
Abakán
Abakán (en ruso: Абакан (del jakasio: Ағбан) es la capital de Jakasia en Rusia. Se ubica en la zona central de Minusinsk, al sur de Rusia, cercana a Mongolia, China y Kazajistán, en la confluencia de los ríos Abakán y Yeniséi, que la separa del krai de Krasnoyarsk. Abakán se encuentra en un valle y sufre inviernos extremadamente fríos.

Minusinsk (depresión)
La Depresión de Minusinsk (en ruso: Минусинская котловина) está localizada entre las montañas de la región sur de la Siberia central: Kuznetsk Alatáu, montes Sayanes orientales y montes Sayanes occidentales. Su elevación varía entre los 200—700 m, con escasas colinas.

Los ríos Yeniséi y Abakán fluyen por este valle. Los poblados principales son Minusinsk y Abakán. La depresión es un área importante para la agricultura, también posee depósitos de carbón.
Máquina analítica
La máquina analítica es el diseño de un computador moderno de uso general realizado por el profesor británico de matemática Charles Babbage, que representó un paso importante en la historia de la informática. Fue inicialmente descrita en 1837, aunque Babbage continuó refinando el diseño hasta su muerte en 1871. La máquina no pudo construirse debido a razones de índole política, pues hubo detractores por un posible uso de la máquina para fines bélicos.
Algunos piensan que las limitaciones tecnológicas de la época eran un obstáculo para construir la máquina de haberse obtenido financiación y apoyo político al proyecto.

Número de Bernoulli
En matemáticas, los números de Bernoulli (denotados por  y, a veces, por  con el fin de distinguirlos de los números de Bell) constituyen una sucesión de números racionales con profundas conexiones en teoría de números.

Fueron llamados así por Abraham de Moivre, en honor de Jacob Bernoulli, primer matemático que los estudió. 
Los números de Bernoulli también aparecen en la expansión de las funciones tangente y tangente hiperbólica mediante series de Taylor, en la fórmula de Euler-Maclaurin y en las expresiones de ciertos valores de la función zeta de Riemann.
Vráble
Vráble es un municipio del distrito de Nitra en la región de Nitra, Eslovaquia, con una población estimada a final del año 2024 de 8262 habitantes.

Se encuentra ubicado en el centro-oeste de la región, en el valle del río Nitra (cuenca hidrográfica del Danubio) y cerca de la frontera con la región de Trnava.

Distrito de Nitra
El distrito de Nitra (en eslovaco Okres Nitra) es una unidad administrativa (okres) de Eslovaquia Occidental, situado en la región de Nitra, con 30 841 habitantes (en 2001) y una superficie de 584 km². Su capital es la ciudad de Nitra, que además es la capital de la región.
Daniela Seguel
Daniela Valeska Seguel Carvajal (San Joaquín, Santiago, 15 de noviembre de 1992) es una Extenista chilena.

En su carrera ha ganado tres títulos Challenger, uno individual y dos en dobles. Su mejor puesto en la Clasificación WTA individual fue el 162.º, alcanzado en 2018 y en dobles, el 110.º en 2014. Compitió por el equipo chileno de Copa Billie Jean King desde 2010 hasta su retirada y representó al Club Social y Deportivo Colo-Colo desde 2017.

Equipo de Copa Billie Jean King de Chile
El equipo chileno de Copa Billie Jean King es el representativo de dicho país en el campeonato mundial de tenis y en los torneos femeninos a nivel de naciones. Su organización está a cargo de la Federación de Tenis de Chile.

Ha participado en las ediciones de 1968, 1974, 1977, 1978, 1984 a 1987 y en todas desde 1991. Su mejor resultado ha sido llegar a los octavos de final en 1978.
Nizhni Baskunchak
Nizhni Baskunchak (ruso: Ни́жний Баскунча́к) es un asentamiento de tipo urbano de Rusia perteneciente al raión de Ajtúbinsk de la óblast de Astracán.

En 2021, el territorio del asentamiento tenía una población de 2299 habitantes, de los cuales 2106 vivían en la propia localidad y el resto en dos pedanías: Sredni Baskunchak y Zelioni Sad.

El asentamiento fue fundado en 1884 como poblado ferroviario final de un ramal de los Ferrocarriles del Volga que lleva al lago Baskunchak, en un área habitada mayoritariamente por kazajos. Antes de la Revolución rusa, el pueblo era conocido con el topónimo "Sredniaya Budka". Adoptó el estatus de asentamiento de tipo urbano en 1925. Su economía se basa en la extracción de sal y el turismo, ambos relacionados con el citado lago.

Se ubica en la orilla occidental del lago Baskunchak, unos 50 km al este de la capital distrital Ajtúbinsk.

Raión de Ajtúbinsk
El raión de Ajtúbinsk (ruso: Ахту́бинский райо́н) es un distrito administrativo y municipal (raión) ruso perteneciente a la óblast de Astracán. Se ubica en el norte de la óblast y es fronterizo al este con Kazajistán. Su capital es Ajtúbinsk.

En 2021, el raión tenía una población de 60 973 habitantes. Tres cuartas partes de los habitantes son étnicamente rusos, quienes conviven con una minoría importante de kazajos.

El raión es conocido por albergar en su territorio la reserva natural Bogdinsko-Baskunchakski. En la parte más septentrional del distrito se ubica la ciudad de Známensk, cuyo territorio no pertenece en la práctica al raión al estar organizada como ciudad cerrada bajo jurisdicción federal.
Secuestro del avión YS-11 de Korean Air Lines
El secuestro del avión YS-11 de Korean Air Lines ocurrió el 11 de diciembre de 1969. La aeronave NAMC YS-11, perteneciente a Korean Air Lines se encontraba volando desde la Base Aérea de Gangneung en Gangneung, Gangwon, Corea del Sur hacia el Aeropuerto Internacional Gimpo en Seúl, cuando fue secuestrado a las 12:25 PM por el agente norcoreano Cho Ch'ang-hŭi (조창희). Entre la tripulación y los pasajeros el avión transportaba a  46 personas (excluyendo a Cho); 39 de los pasajeros fueron devueltos dos meses después, pero la tripulación y siete pasajeros permanecen en Corea del Norte. El incidentes es visto en Corea del Sur como un ejemplo de los secuestros del Norte.

Secuestros de japoneses por Corea del Norte
Se conoce como secuestros de japoneses por Corea del Norte a una larga serie de secuestros de ciudadanos japoneses realizados por agentes del gobierno norcoreano que sucedieron durante un período de seis años, entre 1977 y 1983. Aunque el Gobierno de Japón de momento reconoce oficialmente 17 víctimas (ocho hombres y nueve mujeres), se cree que puede haber hasta 70 u 80 japoneses secuestrados.

Hay testimonios de que muchos ciudadanos no japoneses, entre ellos nueve ciudadanos de la UE, han sido secuestrados por Corea del Norte.
Neuhausen am Rheinfall
Neuhausen am Rheinfall es una ciudad y comuna suiza del cantón de Schaffhausen, situada en la rivera superior del Rin, de ahí su topónimo. Limita al norte con las comunas de Beringen y Schaffhausen, al este con Flurlingen (ZH), al sur con Laufen-Uhwiesen (ZH) y Jestetten (GER-BW), al oeste con Guntmadingen y Beringen.

Su nombre significa «Nuevas Casas de las Cataratas del Rin».

Flurlingen
Flurlingen es una comuna suiza del cantón de Zúrich, ubicada en el distrito de Andelfingen. Limita al norte con la comuna de Schaffhausen (SH), al este con Feuerthalen, al sur con Laufen-Uhwiesen, y al oeste con Neuhausen am Rheinfall (SH).
Brumov-Bylnice
Brumov-Bylnice es una localidad del distrito de Zlín en la región de Zlín, República Checa, con una población estimada a principio del año 2018 de 5561 habitantes.

Se encuentra ubicada en el centro-este de la región, al sureste de Praga, cerca de la orilla del río Morava —un afluente izquierdo del Danubio— y de la frontera con Eslovaquia.

Región de Zlín
La Región de Zlín (en checo: Zlínský kraj; en alemán: Zliner Region, pronunciado /ˈzlɪnɐ ʁeˈɡi̯oːn/) es una unidad administrativa (kraj) de la República Checa, situada mayoritariamente en la región histórica de Moravia. La capital es Zlín.