hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Forma normal prenexa
En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz».

Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si
, , y  son fórmulas sin cuantificar con las variables libres mostradas, luego

está en forma normal prenexa, con la matriz , mientras que

es lógicamente equivalente pero no en forma prenexa.

El término «prenexa» viene del latín praenexus, pasado participio de praenectere, que significa «atado» o «atado en el frente».

Cuando una fórmula en forma normal prenexa solo posee cuantificadores universales, se dice que está en forma normal de Skolem. Toda fórmula en forma normal prenexa es lógicamente equivalente a una en forma normal de Skolem, y la manera de llegar de una a otra se denomina skolemización.

Cuantificador
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están:

Cuantificador universal

Para todo x, y...

Cuantificador existencial

Existe al menos un x, y...

Cuantificador existencial único

Existe exactamente un x, y...

Negación del cuantificador existencial

No existe ningún x, y...
Club Voleibol Almoradí
El Club Voleibol Almoradí es un equipo de voleibol de la ciudad de Almoradí situado en la provincia de Alicante, en la Comunidad Valenciana. Fue fundado en 1967 y actualmente cuenta con un equipo en Superliga Masculina.

Superliga de voleibol
La Superliga Masculina de Voleibol, más conocida como Superliga, es la máxima categoría de las ligas masculinas de voleibol en España. El campeonato comenzó en la temporada 1964-1965 con una liga de dos grupos y play-off final por el título. En 1984 se intentó dar un primer cambio a la competición pero no es hasta 1989 cuando se creó la competición tal como se realiza actualmente.

El primer campeonato de liga se disputó en el año 1965 y hasta 1983 se denominó Primera División, para pasar a denominarse posteriormente División de Honor en la temporada 1984, hasta 1988. A partir de la temporada 1988-90, tomó su actual denominación de Superliga. Desde la temporada 2006-07 compiten en esta categoría 12 equipos.
Hitachi Sundiva
Los Hitachi Sundiva (日立サンディーバ, Hitachi Sandība?) son un equipo de sóftbol femenino de Japón con sede en Yokohama, Kanagawa. Compiten en la East Division de la Japan Diamond Softball League (JD.League).

Japan Diamond Softball League
La Japan Diamond Softball League,  más conocida como JD.League, es la principal liga de sóftbol femenino de Japón. La liga se encuentra compuesta por 16 equipos repartidos en la East Division y en la West Division, con 8 equipos en cada una. La mayoría de los equipos pertenecen a las principales empresas japonesas.
Canadian Soccer Club
El Canadian Soccer Club es un club de fútbol uruguayo, fundado el 14 de febrero de 2011. Es originario de la ciudad de Montevideo, pero representa a la colectividad de uruguayos radicados en Canadá.

Participa en la tercera categoría, la Primera División Amateur.

Primera División Amateur de Uruguay
La Primera Divisional C, conocida popularmente simplemente como "la C", y nombrada hasta el año 2024 Primera División Amateur, es el torneo de clubes de tercera categoría del fútbol uruguayo, organizado por la Asociación Uruguaya de Fútbol. Es la principal categoría de carácter amateur.

Fundada originalmente en 1972 como Primera División "C", fue renombrada como Liga Metropolitana Amateur entre 1997 y 2007 (y limitada a equipos de Montevideo y su área metropolitana), posteriormente llamada Segunda División Amateur (a partir de la temporada 2008-09), denominada como Segunda B Nacional a partir del año 2017 (y abierta para clubes de todo el país), a partir de 2019 cambió el nombre a Primera División Amateur y en 2025 fue renombrada como Primera Divisional C.
Causa Von Wernich
Se conoce como causa Von Wernich al juicio por delitos de lesa humanidad llevado a cabo en Argentina por el por Tribunal Oral en lo Criminal n.º 1 de La Plata contra el sacerdote Christian Von Wernich, que fue capellán de la Dirección de Investigaciones de la Policía de la Provincia de Buenos Aires. El sacerdote había sido acusado durante el Juicio a las Juntas de haber participado en las torturas de víctimas que permanecieron secuestradas en los centros clandestinos de detención del circuito Camps. Con la declaración de inconstitucionalidad de las leyes de impunidad, los procesos en su contra fueron reabiertos. Fue condenado a prisión perpetua por 34 casos de privación ilegal de la libertad, 31 casos de tortura y 7 homicidios calificados.

Ramón Camps
Ramón Juan Alberto Camps (Paraná, Entre Ríos, 25 de enero de 1927 - Buenos Aires, 22 de agosto de 1994) fue un militar argentino perteneciente al Ejército, general de brigada, jefe de la Policía Federal (1977-1979) y jefe de la Policía de la Provincia de Buenos Aires (1976-1977). Es uno de los mayores responsables de la represión en la Provincia de Buenos Aires durante la dictadura militar autodenominada Proceso de Reorganización Nacional. Por ello fue condenado en 1986 por delitos de lesa humanidad y destituido de su rango. En 1990 fue indultado por el presidente Carlos Menem y murió en libertad en 1994.

Fue jefe del Circuito Camps, una estructura represiva de 29 centros clandestinos de detención en Buenos Aires. Esta red fue responsable del Caso Timerman, el Caso Graiver y la Noche de los Lápices, entre otros.
Alejandro Guglielmo
Alejandro Guglielmo (Buenos Aires, Argentina, 4 de enero de 1992) es un futbolista argentino. Juega de volante y actualmente milita en el Platense de la Liga Nacional de Honduras. Su primer club fue Deportivo Armenio.

Club Deportivo Armenio
El Club Deportivo Armenio es un club de fútbol argentino, fundado el 2 de noviembre de 1962. Es originario de la Ciudad de Buenos Aires; pero tiene su estadio en la localidad de Ingeniero Maschwitz, ubicada en el partido de Escobar, perteneciente a la provincia de Buenos Aires. Participa en la Primera B, tercera división para los clubes directamente afiliados a la AFA.

El logro futbolístico más importante del club fue la obtención del campeonato del primer Nacional B de la historia el de la temporada 1986/87, que le permitió ascender a Primera División, donde se mantuvo por dos temporadas. Allí su mejor desempeño fue finalizar 13°, lo que le permitió acceder a la Liguilla de Clasificación a la Copa Libertadores, en la cual superó en Primera Fase a Ferro y luego cayó en la segunda ante Platense.

Su estadio lleva el nombre de Armenia y tiene una capacidad para alrededor de 8000 espectadores.
Club Sportivo Limpeño (femenino)
El Club Sportivo Limpeño es un club de fútbol de Paraguay de la ciudad de Limpio en el Departamento Central. Participa en la Primera División del Campeonato Paraguayo de Fútbol Femenino desde la temporada 2009. Ha ganado el título de campeón de la máxima categoría en los años 2015 y 2016.

En su primera participación en la Copa Libertadores Femenina 2016, gana su grupo accediendo a la semifinal del certamen y luego logrando el título de campeón en forma invicta tras ganar la final al club venezolano Estudiantes de Guárico por el marcador de 2 a 1, con goles de Liz Peña y Damia Cortaza. El equipo campeón estuvo conformado por Kimika Forbes, Laurie Cristaldo, Stephanie Lacoste, Carmen Benítez, Damia Cortaza, Joana Galeano, Rosa Aquino, Liz Peña, Jessica Martínez, Griselda Garay y Marta Agüero, también ingresaron Liza Larrea y Dulce Quintana, bajo la dirección técnica de Rubén Subeldía.

Campeonato Anual FEM
El Campeonato Paraguayo de Fútbol Femenino, Liga Femenina de Fútbol o llamado oficialmente Campeonato Anual FEM desde la edición 2024, es el torneo nacional de mayor relevancia correspondiente a la rama femenina del fútbol paraguayo, y es organizado por la Asociación Paraguaya de Fútbol desde el año 1997. El campeón y vicecampeón de esta división clasifica a la Copa Libertadores Femenina. La Unión del Fútbol del Interior organiza los campeonatos de fútbol femenino del interior.
Arquidiócesis de Mbandaka-Bikoro
La arquidiócesis de Mbandaka-Bikoro (en latín: Archidioecesis Mbandakana-Bikoroënsis y en francés: Archidiocèse de Mbandaka-Bikoro) es una circunscripción eclesiástica de la Iglesia católica en la República Democrática del Congo. Se trata de una arquidiócesis latina, sede metropolitana de la provincia eclesiástica de Mbandaka-Bikoro. Desde el 23 de noviembre de 2019 su arzobispo es Ernest Ngboko Ngombe, de la Congregación del Inmaculado Corazón de María.

Congregación del Inmaculado Corazón de María
La Congregación del Inmaculado Corazón de María (oficialmente en latín: Congregatio Immaculati Cordis Mariae) es una congregación religiosa católica masculina, clerical, misionera y de derecho pontificio, fundada por Teófilo Verbist, en un suburbio de Bruselas llamado Scheut, el 28 de noviembre de 1862. A los religiosos de este institutos se les conoce como misioneros del Corazón Inmaculado de María, misioneros de Scheut, o simplemente como scheutistas. Sus miembros posponen a sus nombres las siglas C.I.C.M.
Nobody's Listening!
"Nobody's Listening!" es el noveno episodio de la primera temporada de la serie de televisión estadounidense Andor, basada en Star Wars, creada por George Lucas, y spin-off precuela de Rogue One. Fue escrito por Beau Willimon y dirigido por Toby Haynes.

El episodio está protagonizado por Diego Luna como Cassian Andor, quien repite su papel de la película Rogue One (2016). Haynes fue contratado en septiembre de 2020 después de un retraso en la producción debido a la pandemia de COVID-19, y Tony Gilroy se unió a la serie como showrunner a principios de 2019, reemplazando a Stephen Schiff. Ambos son productores ejecutivos junto a Luna y Kathleen Kennedy.

"Nobody's Listening!" se lanzó en Disney+ el 2 de noviembre de 2022.

Showrunner
Showrunner, también llamado supervisor, supervisor general o autor-productor, designa en el argot estadounidense y canadiense a la cabeza creativa de una serie. Es la persona que asume la doble función de productor ejecutivo y de guionista jefe de una serie de televisión.
DSA-362
La DSA-362 es una carretera perteneciente a la Red Secundaria de la Diputación Provincial de Salamanca, que une la carretera  DSA-359   con el Límite de la C. A. de Extremadura en la provincia de Salamanca.

Atraviesa las localidades de La Encina, Herguijuela de Ciudad Rodrigo y El Sahugo.

DSA-359
La DSA-359 es una carretera perteneciente a la Red Secundaria de la Diputación Provincial de Salamanca, que une la carretera  CL-526  con el Límite de la C. A. de Extremadura en la provincia de Salamanca.

Atraviesa las localidades de Pastores y Martiago.
Club Deportivo Guerreros de Xico
El Club Deportivo Guerreros de Xico fue un equipo de fútbol de la Ciudad de México. Participaba en la Serie B de la Segunda División de México. Jugaba sus partidos de local en el Estadio Jesús Martínez "Palillo".

Serie B de México
La Serie B de México, antes llamada Liga de Nuevos Talentos de México, es el torneo de tercer nivel de fútbol profesional dentro del sistema de ligas de fútbol en México. Fue creada en la segunda mitad del año 2008, con la participación y aprobación de los dueños de los equipos de Segunda y Tercera División, siendo junto a la Serie A parte de la Segunda División de México.
Hemidictyaceae
Ver Pteridophyta para una introducción a las plantas vasculares sin semilla

La familia de las hemidictiáceas (nombre científico Hemidictyaceae) con su único género Hemidictyum y su única especie Hemidictyum marginatum, son helechos del clado de Eupolipoides II del orden Polypodiales, en la moderna clasificación de Rothfels et al. 2012, en la que se circunscribe con el mismo género que en su predecesora, el sistema de Christenhusz et al. 2011 (en su versión corregida), que en la versión corregida del escrito la nombra y describe por vez primera. La familia no había sido reconocida por su antepredecesor sistema de Smith et al. (2006) que ubicaba a su género en un muy amplio y débil Woodsiaceae.

Eupolypodiales II
Eupolypods II es un subgrupo de helechos dentro del orden Polypodiales, nombrado informalmente desde el sistema de clasificación de Smith et al. 2006, 2008)), en su sucesor Christenhusz et al. 2011), y actualizada en la clasificación de Rothfels et al. 2012.

Su posición en Polypodiales y su circunscripción según Smith et al. 2006:

La clasificación aclaraba que ese sector del árbol era sólo tentativo, en especial en el muy amplio Woodsiaceae.

La actualización al 2012, basada en Lehtonen, 2011, y Rothfels & al., 2012:

Véase más detalle de familias y géneros que las componen en: Sistema de clasificación de helechos eupolipoides II de Rothfels et al. 2012, o ingresando en los artículos de las familias respectivas, que trazan la historia de la familia hasta el 2006 al menos.
Locura divina
La locura divina, también conocida como theia mania y sabiduría loca, se refiere a un comportamiento poco convencional, escandaloso, inesperado o impredecible vinculado a actividades religiosas o espirituales. Se pueden encontrar ejemplos de locura divina en el budismo, el cristianismo, el helenismo, el hinduismo, el islam, el judaísmo y el chamanismo.

Generalmente se explica como una manifestación de comportamiento iluminado por parte de personas que han trascendido las normas sociales, o como un medio de práctica espiritual o enseñanza entre mendicantes y maestros. Estos comportamientos pueden parecer síntomas de enfermedad mental para la sociedad en general, pero son una forma de éxtasis religioso o "actividad estratégica y decidida" deliberada  "por parte de individuos altamente conscientes de sí mismos que hacen un uso estratégico del tema de la locura en la construcción de sus personajes públicos".

Transverberación
Transverberación (del latín: transverberatĭo, que significa "traspasar") es una experiencia mística que, en el contexto de la religiosidad católica, ha sido descrita como un fenómeno en el cual la persona que logra una unión íntima con Dios siente traspasado el corazón por un fuego sobrenatural. El ejemplo más conocido es el éxtasis de Santa Teresa.
Pedro Charpin Rival
Pedro Charpín Rival (Santiago, 29 de junio de 1876-ibidem, 17 de marzo de 1958) fue un militar chileno que ocupó el cargo de comandante en jefe del Ejército y también el de ministro de Guerra durante el gobierno de Carlos Ibáñez del Campo.

Comandante en jefe del Ejército de Chile
El comandante en jefe del Ejército de Chile es la máxima autoridad del ejército de ese país. Ostenta el grado de general de ejército, cuyo distintivo es un galón de cuatro estrellas blancas sobre fondo rojo en la tenida de salida, y cuatro estrellas igualmente blancas sobre ramas de olivo doradas en la tenida de oficina. Desde el 9 de marzo de 2022, ejerce el cargo el General de Ejército Javier Iturriaga del Campo.
Juan 20:1
Juan 20:1 es el primer Versículo de el vigésimo capítulo del Evangelio de Juan en el Nuevo Testamento. Juan 20 trata de la resurrección de Jesús después de su crucifixión. En este Versículo María Magdalena visita la tumba de Jesús y la encuentra abierta.

Juan 20
Juan 20 es el vigésimo capítulo del Evangelio de Juan del Nuevo Testamento. Relata la historia de Jesús resucitado. Relata cómo María Magdalena fue a la tumba de Jesús y la encontró vacía. Jesús se le aparece y le habla de su resurrección y despacha a María para que cuente la noticia a los discípulos. Jesús se aparece entonces a sus discípulos. Los acontecimientos relatados en Juan 20 se describen de forma algo diferente en Mateo 28, Marcos 16 y Lucas 24.

El capítulo es aparentemente la conclusión del Evangelio de Juan, pero le sigue un capítulo aparentemente «suplementario», Juan 21. Algunos eruditos bíblicos sugieren que Juan 20 fue la conclusión original del Evangelio, y Juan 21 fue una adición posterior, pero no hay evidencia manuscrita concluyente para esta teoría.
Antinatalismo
El antinatalismo es la posición filosófica, política o demográfica contraria a la reproducción y el nacimiento de nuevos seres humanos. El antinatalismo atribuye un valor negativo a la procreación. Los antinatalistas argumentan que las personas deben abstenerse de procrear ya que es un acto éticamente incorrecto. Algunos también reconocen la procreación de otros seres sintientes como moralmente incorrecta.

El antinatalismo puede tener fundamentos filosóficos, de carácter ético y moral, políticos y demográficos. Puede ser defendido a título individual, por asociaciones, o por gobiernos y organismos internacionales que desarrollen políticas de población antinatalistas para alcanzar objetivos socioeconómicos y estratégicos que requieren un óptimo de población.

El término «antinatalismo» se establece en oposición al término «natalismo» o «pro-natalismo».

Reproducción
La reproducción es un proceso biológico que puede ser sexual o asexual, que permite la formación de nuevos individuos, y es una propiedad común de todas las formas de vida conocidas con el propósito de preservar las especies.
Gert Rosenthal
Gert Rosenthal Königsberger (Ámsterdam, 11 de septiembre de 1935) es un economista y diplomático guatemalteco. Fue Secretario Ejecutivo de la Comisión Económica para América Latina y el Caribe, Ministro de Relaciones Exteriores de Guatemala y Representante Permanente de Guatemala ante la Organización de las Naciones Unidas. Desde 2015 Rosenthal es asesor independiente de las Naciones Unidas en el tema de la arquitectura de la construcción de paz.

Ministerio de Relaciones Exteriores (Guatemala)
El Ministerio de Relaciones Exteriores (MINEX) es el ente encargado de la formulación de las políticas y aplicación del régimen jurídico a las relaciones internacionales del Estado de Guatemala con otros Estados, siendo dependencia del Organismo Ejecutivo. El Ministerio de Relaciones Exteriores puede otorgar también la nacionalidad guatemalteca, vela por que se cumpla la Ley de Migración, demarca y preserva los límites del territorio nacional, negocia y resguarda los tratados y convenios internaciones, defiende los intereses del país, entre otras funciones que tiene y se le es asignado por la Ley del Organismo Ejecutivo y otras leyes del país; actualmente forma parte del Sistema Nacional de Seguridad.
Angela Bassett
Angela Evelyn Bassett (Nueva York, 16 de agosto de 1958) es una actriz, directora de cine y productora estadounidense. Ganadora de dos Premios Globos de Oro, un Emmy; también ha sido nominada hasta en dos ocasiones a los Premios Óscar  y una a los Premios BAFTA. En 2023, la revista Time la incluyó entre las 100 personas más influyentes del año. Fue reconocida por su trayectoria con el Óscar Honorífico (2023) e incluida dentro de la denominada Leyendas Disney (2024). Además, posee una estrella en el paseo de la fama de Hollywood.

Es reconocida por sus papeles en películas biográficas, entre las cuales destaca su actuación como Tina Turner en What's Love Got to Do with It, gracias a la cual obtuvo un Globo de Oro y una nominación al Óscar. Además, Bassett interpretó a Betty Shabazz en Malcolm X, a Rosa Parks en The Rosa Parks Story, a Coretta Scott King en Betty and Coretta, a Katherine Jackson en The Jacksons: An American Dream y a Voletta Wallace en Notorious, entre otras.

Premios Primetime Emmy
Los premios Primetime Emmy son uno de los Premios Emmy presentados por la Academia de Artes y Ciencias de la Televisión en reconocimiento a la excelencia en la programación televisiva estadounidense en horario primetime. Entregados por primera vez en 1949, eran conocidos simplemente como los "Premios Emmy" hasta la primera ceremonia de los premios Daytime Emmy en los años 1970. La palabra primetime se agregó para diferenciarlos.

Generalmente, la ceremonia es celebrada a mediados de septiembre, el domingo antes del comienzo de la temporada televisiva de otoño en Estados Unidos. Las cadenas ABC, CBS, NBC y Fox rotan para emitir los premios por televisión cada año.
Anzoátegui Fútbol Club (2021)
El Anzoátegui Fútbol Club es un club de fútbol venezolano con sede en la ciudad de Barcelona, Anzoátegui. Fue fundado el 18 de diciembre de 2021 y actualmente participa en la Primera División de Venezuela desde 2025 tras lograr su ascenso desde la categoría de plata.

El equipo disputa sus partidos como local en el estadio José Antonio Anzoátegui, una de las sedes principales de la Copa América 2007, con capacidad para 37 485 espectadores. El club nació con el objetivo de devolver el fútbol de élite al oriente del país, ocupando el vacío deportivo dejado por anteriores franquicias en la región y adoptando los colores tradicionales del estado (amarillo y negro).

Bajo la presidencia de Víctor Hugo Mora, el conjunto "Acorazado" ha consolidado una estructura deportiva enfocada en el talento regional y la modernización institucional, logrando una rápida progresión en el sistema de ligas del fútbol venezolano.

Primera División de Venezuela
La Primera División de Venezuela (conocida como Liga FUTVE TriunfoBet por motivos de patrocinio) es la máxima categoría del sistema de ligas de fútbol de Venezuela organizado por la Liga FUTVE bajo la supervisión de la Federación Venezolana de Fútbol. Comenzó a disputarse en 1921 y se tornó profesional en 1957, siendo el Caracas Fútbol Club el equipo más laureado en 12 ocasiones. Su último campeón es Universidad Central, que conquistó su segundo título en 2025.
Elmer J. Faucett
Elmer James Faucett Clark[cita requerida] (Savona; 15 de marzo de 1891 - Lima; 10 de abril de 1960) fue un inmigrante estadounidense que se estableció en Perú. Fue fabricante de aviones y en territorio peruano se graduó también como piloto. En Perú, conjuntamente con técnicos peruanos, comenzó a construir aviones para la compañía de aviación que formó.

Piloto de aviación
Un piloto de aviación o piloto aviador es la persona cuya función es guiar aeronaves en vuelo El término original era el de aviador, especialmente en Francia, de donde surgió el término avión, que a su vez vino del Latín avis. Habitualmente se dividen en pilotos civiles y militares, si bien la permeabilidad entre ambas ramas profesionales ha sido tradicionalmente muy alta.
Alba Torrens
Alba Torrens Salom (Binisalem, Mallorca, 30 de agosto de 1989) es una baloncestista española que actualmente está sin equipo tras abandonar la disciplina del Valencia Basket. Fue nombrada «Mejor Jugadora de Europa» en 2011 y 2014. Ocupa la posición de alero y es internacional absoluta con España desde 2008, y con ella se ha proclamado entre otros éxitos, bicampeona continental en 2013 y 2017, subcampeona mundial en 2014 y subcampeona olímpica en 2016.

EuroBasket Femenino
El Campeonato Europeo de Baloncesto Femenino (conocido habitualmente como EuroBasket Femenino) es la máxima competición entre selecciones nacionales europeas de baloncesto femenino. Está organizado desde el año 1938 por la Federación Europea de Baloncesto (FIBA Europa). Actualmente se celebra todos los años impares.
Boris Kliúyev
Boris Vladímirovich Kliúyev (en ruso: Бори́с Влади́мирович Клю́ев) (Moscú; 13 de julio de 1944 - Ib.; 1 de septiembre de 2020) fue un profesor y actor de teatro y cine soviético y ruso. Artista popular de la Federación de Rusia (2002). Uno de los actores principales del Teatro Académico Estatal Maly. Jefe del Departamento de Habilidades de Actor. Miembro de la Junta del Gremio de Actores de Cine de Rusia.

Artista del Pueblo de la Federación Rusa
Artista del Pueblo de Rusia (en ruso: Народный артист Российской Федерации, Narodny artist Rossískoi Federatsii) es una distinción honorífica de la Federación Rusa. Se otorga por logros sobresalientes en el campo del teatro, música, circo, vodevil y el cine. Incluido en el sistema de primas estado de la Federación Rusa.