hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Favolagena
Favolagena es un género de foraminífero bentónico de la familia Lagenidae, de la superfamilia Nodosarioidea, del suborden Lagenina y del orden Lagenida. Su especie-tipo es Lagena atilai. Su rango cronoestratigráfico abarca desde el Maastrichtiense (Cretácico superior) hasta el Daniense (Paleoceno inferior).

Paleoceno
El Paleoceno es la primera serie y época del Paleógeno en la escala temporal geológica. Sucede al Cretácico Superior (última época del Cretácico) y precede al Eoceno. Comienza hace 66 millones de años y finaliza hace 56 millones de años.

El Paleoceno es inmediatamente posterior a la extinción masiva del final del Cretácico, conocido como límite K-Pg (Cretácico-Paleógeno), que marca la desaparición de los dinosaurios (la extinción masiva del Cretácico-Paleógeno). La desaparición de los dinosaurios dejó sin cubrir la mayoría de los nichos ecológicos en todo el mundo, y el nombre de "Paleoceno" proviene del griego παλαιός (palaios), que significa "viejo", y καινός (kainos), "nuevo" haciendo referencia a la fauna que apareció durante la época, antes de que los modernos órdenes de mamíferos surgieran en el Eoceno
Las 7 maravillas gastronómicas del Perú
Las 7 maravillas gastronómicas del Perú fue una votación internacional vía Internet realizada en Perú por la empresa ÁcidoUnGusto Comunicaciones y auspiciada por el Ministerio de Comercio Exterior y Turismo del Perú y la Sociedad Peruana de Gastronomía, inspirada en la lista de Las Nuevas Siete Maravillas del Mundo Moderno para elegir a los 7 platos más populares de la gastronomía peruana de entre 128 potajes.

Nuevas siete maravillas del mundo moderno
Se denominan las nuevas siete maravillas del mundo moderno  a los monumentos que resultaron los ganadores en un concurso público e internacional celebrado en 2007, inspirado en la lista de las siete maravillas del mundo antiguo y realizado por una empresa privada de nombre New Open World Corporation. Más de cien millones de votaciones, a través de Internet y SMS, dieron como resultado esta nueva clasificación. La iniciativa partió del empresario suizo Bernard Weber, fundador de la empresa, algo que podría expresar cierta parcialidad.

Las siete maravillas modernas son: Chichén Itzá, en Yucatán, México; el Coliseo de Roma, en Roma, Italia; la estatua del Cristo Redentor, en Río de Janeiro, Brasil; la Gran Muralla China, en China; Machu Picchu, en Perú; Petra, en Jordania; y el Taj Mahal, en Agra, India.
Francisco Lázaro Antigua Arencibia
Francisco Lázaro Antigua Arencibia (La Habana, Cuba, 30 de agosto de 1920-1983), cursó estudios desde 1938 a 1942 y desde 1956 a 1959 en la Escuela Nacional de Bellas Artes “San Alejandro”, de La Habana, Cuba.

En el año 1959 obtuvo la beca de Estudios de Escultura en Italia, otorgada por la Dirección General de Cultura, Ministerio de Educación.
A partir del año 1953 y hasta 1955 fue miembro fundador del Grupo “Los Once”, La Habana, CUBA.

Desde 1961 fue miembro fundador de la Unión de Escritores y Artistas de Cuba (UNEAC).

San Alejandro
San Alejandro'

El papa Alejandro I (¿?-105).

San Alejandro de los valles, soldado de la Legión Tebana (¿?–303).

San Alejandro de Alejandría, obispo de Alejandría (250-326).

San Alejandro Briant, mártir inglés (1556-1581).

San Alejandro Carbonero, obispo de Asia Menor (finales del s. II- c. 250).
Idioma tlingit
El idioma tlingit o coluchano es hablado por el pueblo tlingit de Alaska suroriental y de Canadá occidental. Es una rama de la familia de lenguas na-dené. El tlingit está en peligro de desaparecer, con menos de 140 hablantes vivos, todos los cuales son bilingües tlingit-inglés. El gran esfuerzo se está haciendo en programas de la revitalización en Alaska suroriental para restablecer y de preservar la lengua del tlingit y su cultura.

Tlingit
Los tlingit o tlinquit (endónimo: /ɬɪ̀ŋkɪ́t/) son una tribu amerindia del grupo Kolosh de las lenguas na-dené. Su nombre proviene de la palabra Tlingit que significa "pueblo". También les dicen kolosh, palabra que procede del aleutiano kalohs o kaluga. Se dividen en los grupos Auk, Chilkat, Gonaho, Hehl, Henya, Huna, Hutsnuwu, Kake, Kuiu, Sanya, Sitka, Stikine, Sumdum, Taku, Tongass, Tahltan y Yakutat. Son vecinos y amigos de los haida y tsimshian.
Vélytsk
Vélytsk (ucraniano: Ве́лицьк; polaco: Wielick) es un municipio rural y pueblo de Ucrania perteneciente al raión de Kóvel de la óblast de Volinia.

En 2022 el municipio tenía una población de 4000 habitantes, de los que unos seiscientos vivían en la capital municipal y el resto repartidos en once pedanías. El municipio fue fundado en 2015 mediante la fusión de los consejos rurales de Vélytsk, Mélnytsia, Pidrizhia y Siltsé. Además de estos cuatro pueblos, pertenecen al actual municipio otros ocho: Arsenóvychi, Kashivka, Kryvlyn, Kujarí, Myryn, Pidlisy, Rudka-Mýrynska y Uhly.

Se ubica unos 10 km al este de Holoby.

Óblast de Volinia
La óblast de Volinia (en ucraniano: Волинська область) es un óblast (provincia) en el oeste de Ucrania. Limita con Bielorrusia al norte y con Polonia al oeste. Es la más noroccidental de las oblasts (regiones) de Ucrania.

La capital es Lutsk.
(9141) Kapur
(9141) Kapur es un asteroide perteneciente al cinturón de asteroides, descubierto el 16 de octubre de 1977 por Cornelis Johannes van Houten en conjunto a su esposa también astrónoma Ingrid van Houten-Groeneveld y el astrónomo Tom Gehrels desde el Observatorio del Monte Palomar, Estados Unidos.

Ingrid van Houten-Groeneveld
Ingrid van Houten-Groeneveld (Berlín, 21 de octubre de 1921 - Oegstgeest, 30 de marzo de 2015), nombre de nacimiento: Ingrid Groeneveld fue una astrónoma neerlandesa.

Se casó con su compañero de trabajo, el astrónomo Cornelis Johannes van Houten (1920-2002), convirtiéndose en Ingrid van Houten-Groeneveld. Juntos se interesaron por los asteroides. Tuvieron un hijo, Karel.

Ambos formaron un grupo con Tom Gehrels y Bernhard Schmidt. Juntos descubrieron miles de asteroides.
Tom Gehrels hizo un estudio del cielo con el Telescopio Schmidt de 48 pulgadas en el Observatorio Palomar.
Más tarde se separaron del grupo.
Maria Quarra
Maria Quarra (Nápoles, 26 de enero de 1965) es una deportista italiana que compitió en vela en la clase 470.

Ganó una medalla de bronce en el Campeonato Mundial de 470 de 1992 y una medalla de plata en el Campeonato Europeo de 470 de 1992. Participó en los Juegos Olímpicos de Barcelona 1992, ocupando el séptimo lugar en la clase 470.

Campeonato Mundial de 470
El Campeonato Mundial de 470 es la máxima competición internacional de la clase de vela 470. Se realiza anualmente desde 1970 bajo la organización de la Federación Internacional de Vela (ISAF); hasta 1985 la competición era abierta a ambos sexos, a partir de este año se realizaron por separado regatas masculinas y femeninas, y desde 2022 solo se disputa una prueba mixta (un hombre y una mujer).

Este tipo de embarcación es una clase olímpica desde los Juegos Olímpicos de Montreal 1976; las regatas femeninas fueron añadidas en Seúl 1988, y en París 2024 se introdujo el formato mixto, en sustitución de las dos pruebas divididas por género.
Yaroslav Hrytsak
Yaroslav Hrytsak (Ярослав Грицак; nacido el 1 de enero de 1960) es un historiador ucraniano, doctor en Ciencias Históricas y profesor de la Universidad Católica Ucraniana. También es director del Instituto de Estudios Históricos de la Universidad Nacional Iván Frankó de Lviv.

Es redactor jefe de la revista académica Ucrania Moderna y miembro del consejo editorial de las revistas Ab Imperio, Krýtyka, y Slavic Review, y miembro del consejo de supervisión del Harvard Ukrainian Studies.

Es profesor honorario de la Universidad Nacional de Kiev-Academia Mohyla. Fue profesor invitado (1996-2009) en la Universidad Centroeuropea de Budapest y Vicepresidente Primero (1999-2005) de la Asociación Internacional de Ucranianos.

Slavic Review
Slavic Review (en español, Reseña eslava) es una revista académica trimestral revisada dedicada a la publicación de artículos, recensiones de libros y películas y ensayos sobre disciplinas relacionadas con Rusia, Eurasia central y Europa central y oriental.
Alto Comisariado de la Amaziguidad
El Alto Comisariado de la Amaziguidad (en árabe: المحافظة السامية للأمازيغية) (en cabilio: Asqamu Unnig n Timmuzɣa) (en francés: Haut commissariat à l'amazighité) (HCA) es un instituto académico del estado argelino, encargado del estudio y la promoción de las lenguas bereberes de Argelia.

Fue creado por decreto presidencial de 27 de mayo de 1995 bajo el mandato del presidente Liamine Zéroual. El HCA, fue el primer instituto oficial en el Magreb consagrado a la defensa de la cultura amazigh de Argelia y la promoción de las lenguas bereberes. El HCA depende directamente del Presidente de Argelia, desde su creación en 1995. El HCA Tiene su sede en Argel. En el Reino de Marruecos hay un organismo similar, el Instituto Real de la Cultura Amazigh (IRCAM).
El HCA, fue creado como resultado de un boicot escolar realizado por los padres de los niños de la Cabilia.

Presidente de Argelia
Presidente de Argelia es el cargo del jefe de Estado de Argelia, que también es el comandante en jefe de las fuerzas armadas del país. Preside en Consejo de Ministros y el Consejo de Alta Seguridad de Argelia.

La elección del presidente de Argelia se realiza cada 5 años y existe una limitación constitucional para que ninguna persona ocupe el cargo durante más de dos mandatos. Elige a un tercio de la cámara alta del poder legislativo, el Consejo de la Nación, así como al primer ministro, que sirve como jefe de Gobierno.
Gilberto Rodríguez (biólogo)
Gilberto Domingo Rodríguez Ramírez (Caracas, Venezuela, 12 de mayo de 1929-Ibídem, 16 de mayo de 2004) es un carcinólogo venezolano conocido en el ámbito internacional, regional y nacional. Gilberto Rodríguez es una de las personalidades contemporáneas de las ciencias naturales venezolanas que más ha contribuido al desarrollo de las mismas en el país. Sus estudios sobre ecología de sistemas estuarinos son reconocidos y referencias obligatorias a nivel mundial. De igual manera ocurre con sus estudios carcinológicos sobre la familia Pseudothelphusidae los cuales le han valido ser considerado un investigador internacional.

Biogeografía
La biogeografía es una disciplina científica que estudia la distribución de los seres vivos sobre la Tierra, así como los procesos que la han originado, que la modifican y que pueden contribuir a su desarrollo. Es además una ciencia interdisciplinar, que es tanto una rama de la geografía, como de la biología, recibiendo sus fundamentos de especialidades como la botánica, la zoología, la ecología, la biología evolutiva y de otras ciencias como la geología.
Vibrante simple alveolar sonora
La vibrante simple alveolar sonora o percusiva alveolar sonora es un sonido consonántico sonoro que se representa con el símbolo AFI [ɾ], como una erre minúscula en forma de gancho sin la vertical izquierda. En el idioma español se escribe con la letra «r» en posición intermedia o final, en contraposición con la erre en posición inicial, tras /n/ o /l/ y el dígrafo «rr» que representan a la vibrante alveolar múltiple, [r]. En muchas lenguas estas dos consonantes son alófonas, a diferencia de lo que sucede en español, albanés, asturiano, catalán, gallego o el portugués.

Dígrafo
En un sistema de escritura fonográfico, un dígrafo es un grupo de dos letras que representan un solo fono, incluyendo uno de articulación doble, tal como una consonante africada. Algunos dígrafos corresponden a sonidos no representados por una sola letra en el idioma correspondiente. La palabra dígrafo está formada por di- 'dos', y -grafo 'que escribe' o 'que describe', raíces provenientes del griego δι- di-, y -γράφος -gráphos, este último de la raíz de γράφειν gráphein 'escribir'.
Aitxuri
El Aitxuri, Atxurri, Aitz txuri o Aitzabal es una montaña de 1508 m de altitud perteneciente a la sierra de Aizcorri en los montes vascos. Está situado en Guipúzcoa, País Vasco, España.  Son dos cotas gemelas de altitud similar, una de 1508,66 m s. n. m. y de 1.508,72 m s. n. m. El buzón esta en la cumbre norte.
Es una de las siete cumbres de más de 1500 m s. n. m. que se alzan en la crestería del Aizcorri. Ha sido confundido con su vecino Aquetegui  con sus 1551 m s.n.m.

Montes Vascos
Montes vascos (en euskera Euskal Mendiak, Euskal Herriko atalasea o Euskal Herriko arkua, «arco vasco») es la denominación de una cordillera situada en el extremo septentrional de la península ibérica. Son la parte más oriental de cordillera Cantábrica, enlazando esta a los Pirineos. Componen las sierras interiores del Prepirineo vasco-navarro. Se extienden por el territorio del País Vasco y partes de Navarra y Burgos.
Asdente
Maestro Benvenuto, apodado Asdente por su boca sin dientes (... – ...), era un célebre mago y adivino medioeval del siglo XIII.

Era originario de Reggio Emilia (o quizás de Parma) y de profesión zapatero, pero en la segunda mitad del 1200 se hizo famoso gracias a sus predicciones. Sobre él se basaban por ejemplo, el obispo de Parma y también otros políticos y religiosos de su tiempo. Salimbene, su conciudadano, lo recuerda en su Crónica con estima y devoción. Fue también un discreto biblista.

Dante Alighieri lo citó primero en el Convivio como ejemplo de fama que no corresponde con la nobleza. Sucesivamente lo colocó en el Infierno (XX, vv. 18-20) entre los adivinos, en la cuarta fosa (bolgia) del octavo círculos (el de los fraudulentos), castigados como otros "colegas" con tener que caminar con la cabeza girada hacia atrás "por querer ver delante en demasía" (v. 38).

Diócesis de Parma
La diócesis de Parma (en latín: Dioecesis Parmensis y en italiano: Diocesi di Parma) es una circunscripción eclesiástica de la Iglesia católica en Italia. Se trata de una diócesis latina, sufragánea de la arquidiócesis de Módena-Nonántola. Desde el 19 de enero de 2008 su obispo es Enrico Solmi. Desde el 14 de agosto de 1892 los obispos llevan el título de abades de Fontevivo (en latín: Sancti Bernardi Fontis Vivi).
Secretaría de Cultura
El término Secretaría de Cultura puede aludir, en esta enciclopedia:

a la Secretaría de Cultura de Argentina;

a la Secretaría de Cultura, Artes y Deportes de Honduras;

a la Secretaría de Cultura de México, sucesora del Consejo Nacional para la Cultura y las Artes (Conaculta);

a la Secretaría de Cultura de la Ciudad de México.

Organismos similares:

Ministerio de Cultura (desambiguación)   (desambiguación)

Consejo Nacional de la Cultura y las Artes de Chile

Consejo Nacional para la Cultura y las Artes de México

Secretaría de Cultura (Argentina)
La Secretaría de Cultura es una secretaría presidencial dependiente del Poder Ejecutivo Nacional.Durante varios períodos (1983-2001, 2001-2014, 2018-2019) fue una secretaría que integraba el Ministerio de Educación. En otros períodos fue Ministerio de Cultura (1973, 1981, 2014-2018, 2019-2023).
Francisco Achurra Uscola
Francisco Achurra Uscola; (Valparaíso, 1775 - 1838). Hijo de José de Achurra y Valero y Francisca de Borja Uscola, heredero de un almacén comercial del puerto de Valparaíso. Hermano del también parlamentario, Pascual Achurra Uscola.

Fue educado en el Seminario, se instruyó en Leyes y Cánones. Miembro del bando pipiolo, fue elegido diputado por Melipilla y La Victoria (1825-1826.

Luego de su actividad parlamentaria, se dedicó a las labores comerciales en Valparaíso y en Melipilla, donde tenía algunos predios agrícolas.

Pipiolos
Pipiolo (idioma español: joven, ingenuo, sin experiencia) es una denominación coloquial, habitualmente despectiva, con el que se conocía en Chile durante la primera mitad del siglo XIX a los miembros del bando político liberal. Sus rivales conservadores, en tanto, eran llamados pelucones por los pipiolos.
Alyssa A. Goodman
Alyssa Ann Goodman (nacida el 1 de julio de 1962) es profesora Robert Wheeler Willson de Astronomía Aplicada en la Universidad de Harvard, ex codirectora de Ciencias en el Instituto Radcliffe de Estudios Avanzados, investigadora asociada del Instituto Smithsonian y directora fundadora de la Iniciativa Harvard en Computación Innovadora.

Instituto de Estudios Avanzados Radcliffe
El Instituto de Estudios Avanzados Radcliffe (Radcliffe Institute for Advanced Study en idioma inglés) es un centro docente de la Universidad Harvard.

Anteriormente fue una universidad femenina denominada Radcliffe College, también ubicada en Cambridge, Massachusetts (Estados Unidos). Era una institución para mujeres independiente en su fundación y adscrita posteriormente a la Universidad Harvard. Fue parte del conjunto de universidades para mujeres conocido en Estados Unidos como Seven sisters. Su absorción completa por Harvard tuvo lugar en 1999. Desde entonces el campus de Radcliffe funciona como un instituto de investigación dentro de Harvard, y las residencias de las alumnas han sido incorporadas como residencias de Harvard.
Liga Profesional Femenina de Fútbol 2020 (Colombia)
La Liga Profesional Femenina 2020 (oficialmente y por motivos de patrocinio, Liga Femenina Betplay Dimayor 2020) fue la (4a) edición de la Liga Profesional Femenina de Fútbol de Colombia.

En total se habían inscrito inicialmente 18 clubes de distintas regiones del país, pero únicamente 13 confirmaron su participación en el campeonato. El campeón y subcampeón de este torneo clasificaron a la Copa Libertadores Femenina 2020.

Debido a las medidas para contener la pandemia de coronavirus adoptadas por el Gobierno nacional el 12 de marzo de 2020, la Dimayor tomó la decisión de suspender temporalmente todos sus campeonatos, por lo que el torneo comenzó en el mes de octubre.

El Santa Fe  obtendría su segundo título luego de vencer en la final al América de Cali. El club se convirtió en el primer equipo en lograr dos títulos, otorgándole el honor de ser el club más laureado del campeonato.

Gobierno de Colombia
Colombia es un país  presidencialista, y un Estado unitario con separación de poderes ejecutivo, legislativo y judicial.
La Constitución política vigente fue promulgada el 7 de julio de 1991. El 61° Presidente de la República y los Gobernadores Departamentales son los que se encargan de hacer cumplir los reglamentos de la nación.
Lukov (Teplice)
Lukov es una localidad del distrito de Teplice en la región de Ústí nad Labem, República Checa, con una población estimada a principio del año 2018 de 122 habitantes.

Se encuentra ubicada en el centro-norte de la región, sobre los montes Metálicos, cerca de la orilla del río Bílina —un afluente izquierdo del río Elba— y del estado alemán de Sajonia.

Distrito de Teplice
El distrito de Teplice es uno de los siete distritos que forman la región de Ústí nad Labem, República Checa, con una población estimada a principio del año 2018 de 128 387 habitantes.

Se encuentra ubicado al noroeste del país, al noroeste de Praga, cerca de la frontera con Alemania. Su capital es la ciudad de Teplice.
Bezymiánnoye (Krasnodar)
Bezymiánnoye (del ruso: Безымя́нное) es un seló del ókrug urbano de Goriachi Kliuch del krai de Krasnodar, en las estribaciones noroccidentales del Cáucaso, en Rusia. Está situado en la desembocadura del arroyo Orlova Shchel en el Psékups, afluente del Kubán, 9 km al sur de Goriachi Kliuch, y 55 km al sur de Krasnodar. Tenía una población de 883 habitantes en 2010

Pertenece al municipio Bezymiannoye.

Río Psékups
El río Psékups (del ruso: Псекупс) es un río del krai de Krasnodar y de la república de Adiguesia, en Rusia, afluente por la izquierda del río Kubán. En su valle se encuentra la ciudad-balneario de Goriachi Kliuch.
Justine Greening
Justine Greening (30 de abril de 1969) es una política británica, miembro del Partido Conservador que fue secretaria de Estado para la Educación y ministra para la Mujer e Igualdad de 2016 a 2018.

Secretaria de Estado para la Ayuda exterior entre 2012 y 2016, Greening fue elegida por primera vez como miembro del Parlamento en 2005 por Putney (hasta 2019) y jurada del Consejo Privado del Reino Unido en 2011.

También se desempeñó en el gobierno de coalición conservador-liberal los cargos de secretaria de Económica del Tesoro y secretaria de Estado para el Transporte.

Fue precandidata conservadora a la alcaldía de Londres, siendo seleccionada finalmente Susan Hall en las próximas elecciones a la alcaldía de Londres de 2024.

Consejo Privado del Reino Unido
El Muy Honorable Consejo Privado de Su Majestad es un cuerpo de asesores del soberano británico. Sus miembros son en gran parte políticos de alto nivel, que han sido o son miembros de la Cámara de los Comunes o de la Cámara de los Lores del Reino Unido de Gran Bretaña e Irlanda del Norte.

El Consejo Privado, sucesor del Consejo Privado de Inglaterra, solía ser una institución poderosa, pero sus decisiones políticas son ahora controladas por uno de sus comités, el Gabinete del Reino Unido. Asesora al soberano sobre el ejercicio de las prerrogativas reales y emite órdenes ejecutivas conocidas como órdenes en el Consejo.
U.S. Route 1 (Nueva Jersey)
La U.S. Route 1 (US 1) es una carretera federal que pasa paralelamente en la Costa Este de Estados Unidos, desde Cayo Hueso, Florida en el sur, y Fort Kent, Maine en la frontera con Canadian en el norte. En toda su ruta, 66,06 millas (106,3 km) de ella pasa en Nueva Jersey. Entra el estado de Pensilvania en el Puente de Peaje Trenton-Morrisville sobre el  Río Delaware en la capital estatal Trenton,  pasa por la ciudad como la Autovía Trenton (Trenton Freeway). Desde aquí, la US 1 continua al noreste  por unas zonas suburbanas hasta el condado de Middlesex y pasa por Nuevo Brunswick y Edison. La U.S. 1 se une con la US 9 en Woodbridge, y las dos rutas continúan al norte de Nueva Jersey como la US 1/9 hasta el Puente George Washington sobre el Río Hudson en Fort Lee. En este punto, la carretera continua en la Ciudad de Nueva York junto con la I-95.

Fort Kent (Maine)
Fort Kent es un pueblo ubicado en el condado de Aroostook en el estado estadounidense de Maine. En el Censo de 2010 tenía una población de 4.097 habitantes y una densidad poblacional de 28,68 personas por km².
Krokeidet
Krokeidet es una localidad situada en el municipio de Bergen, en la provincia de Vestlandet, Noruega. Tiene una población estimada, a principios de 2020, de 385 habitantes.

Está ubicada al suroeste del país, cerca del fiordo de Hardanger, de la ciudad de Bergen y de la costa del mar de Noruega.

Mar de Noruega
El mar de Noruega (en noruego: Norskehavet) es un sector de la parte septentrional del océano Atlántico, al noroeste de Noruega, ubicado entre el mar del Norte (esto es, norte de Escocia) y el mar de Groenlandia. Se encuentra, pues, frente a las costas de Noruega y llega hasta las islas Feroe, Islandia, Jan Mayen y las islas Svalbard.

Al oeste queda el océano Atlántico septentrional y al noreste el mar de Barents. Al suroeste, está separado del océano Atlántico por una cresta submarina que corre entre Islandia y las islas Feroe. Al norte, la cresta de Jan Mayen la separa del mar de Groenlandia.

Al mar de Noruega y al mar de Groenlandia se les llama a veces en conjunto los mares nórdicos.
Forma normal de Skolem
Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores universales. Una fórmula puede ser Skolemizada, lo que implica que sus cuantificadores existenciales son suprimidos, produciendo una nueva fórmula equisatisfactible con respecto a la original.

La skolemización es una aplicación de la equivalencia (aplicación perteneciente a la lógica de segundo orden).

Lógica de segundo orden
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.