hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Règle d'inférence
Dans un système logique, les règles  d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de  démonstration. L'application des règles sur les axiomes du système permet d'en démontrer les théorèmes.

Déduction naturelle
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons :

contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ;

elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ;

elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard.

La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert.
Equideow
Equideow (en anglais Howrse) est un jeu d'élevage en free-to-play accessible par navigateur, créé en 2005 par le studio Owlient, depuis racheté par Ubisoft. Ce jeu de simulation propose aux joueurs d'élever des chevaux et des ânes ainsi que de gérer un centre équestre. Disponible dans une vingtaine de langues, Equideow est conçu comme un jeu adapté à un public de jeunes filles, bien qu'il attire aussi des garçons. La possibilité de dépenser de l'argent réel dans ce jeu a souvent été critiquée.

Jeu d'élevage
Un jeu d'élevage est, dans le domaine du jeu vidéo, un jeu dont le but est de s'occuper d'un ou plusieurs animaux en leur apportant des soins. Il existe un très grand nombre de jeux sur internet de ce type, concernant des animaux réels (cochon, furet, mouton, lapin, cheval...) comme imaginaires (dragon, licorne, etc.).
Pougny (Ain)
Pougny est une commune située dans le département français de l'Ain, en région Auvergne-Rhône-Alpes. La commune est également située dans l'arrondissement de Gex, dans le canton de Collonges et dans la communauté Pays de Gex Agglo. Il s'agit du premier village français traversé par le Rhône, après sa sortie du territoire suisse.

Un barrage hydraulique porte, en partie, son nom, le barrage de Chancy-Pougny. Cet ouvrage se positionne à la frontière de la Suisse (canton de Genève, commune de Chancy) et de la France (département de la Haute-Savoie, commune de Vulbens).

Les habitants de Pougny se nomment les Pougnerands et les Pougnerandes. L'altitude du centre du village est de 406 mètres

Barrage de Chancy-Pougny
Le barrage de Chancy-Pougny est un barrage hydro-électrique franco-suisse sur le Rhône.

Situé à cheval sur la frontière, entre la commune d'Avully (et non de Chancy comme son nom pourrait le faire penser), dans le canton de Genève et la commune de Challex (et non de Pougny) dans le département de l'Ain, il est exploité par la Société des forces motrices de Chancy-Pougny (SFMCP) dont sont actionnaires les Services industriels de Genève et la compagnie nationale du Rhône.
Orthoux-Sérignac-Quilhan
Orthoux-Sérignac-Quilhan est une commune française située dans le centre du département du Gard, en région Occitanie.

Exposée à un climat méditerranéen, elle est drainée par le Vidourle, le Brestalou, le ruisseau de Crieulon et par divers autres petits cours d'eau. La commune possède un patrimoine naturel remarquable composé de deux zones naturelles d'intérêt écologique, faunistique et floristique.

Orthoux-Sérignac-Quilhan est une commune rurale qui compte 440 habitants en 2023, après avoir connu une forte hausse de la population depuis 1968. Ses habitants sont appelés les Orsérilhanois ou  Orsérilhanoises.

Vidourle
Le Vidourle (Vidorle en occitan) est un fleuve côtier français des Cévennes, du département du Gard, puis mitoyen avec le département de l'Hérault dans sa basse vallée à partir de  Boisseron, dans la région Occitanie. Il se jette dans la mer Méditerranée. Il correspond à la limite occidentale de la Camargue, bordant la Petite Camargue à l'ouest. Dans les années 1960, son cours a été modifié au niveau de son embouchure. Il se jetait à l'origine dans l'étang de l'Or mais alimente aujourd'hui l'étang du Ponant.
Collège des Jésuites de Breslau
L'ancien St. Matthias-Gymnasium était un collège jésuite, puis Gymnasium, situé à Breslau en Silésie prussienne. Fondé en 1659 par un groupe de jésuites il cessa d'exister en 1945, lorsque la région devint polonaise. L'édifice abrite aujourd'hui l'Ossolineum qui se trouvait autrefois à Lwow.

Lycée Sainte-Marie-Madeleine de Breslau
Le lycée Sainte-Marie-Madeleine de Breslau, ou de son nom officiel Gymnasium zu St. Maria Magdalena — littéralement : gymnase Sainte-Marie-Madeleine, Gymnasium étant l'équivalent à peu près du petit et grand lycée classique en français — est un établissement d'enseignement pour garçons qui fut le plus prestigieux de toute la Silésie. Il se trouvait à Breslau en Allemagne (aujourd'hui en Pologne) et fut en activité de 1267 à 1945. Il a été remplacé par un lycée polonais en 1946. Le Maria-Magdalenen-Gymnasium comptait parmi les écoles les plus anciennes de l'espace germanophone.
Kira Mouratova
Kira Gueorguievna Mouratova (en ukrainien : Кіра Георгіївна Муратова ; transcription anglophone : Kira Muratova) est une réalisatrice, scénariste et actrice roumaine puis soviétique et enfin ukrainienne, née Korotkova le 5 novembre 1934 à Soroca en Bessarabie roumaine et morte le 6 juin 2018 à Odessa (Ukraine).

C'est une personnalité remarquée du cinéma soviétique et du cinéma ukrainien.

Soroca
Soroca est une ville du Nord de la Moldavie, sur le Dniestr (Nistru en roumain).

La ville compte des industries alimentaires (conserverie, fromagerie) et électriques (équipements ménagers) mais vit aussi un peu de tourisme par sa citadelle, agrandie et consolidée sous Étienne III de Moldavie.
Evpraksia Vrevskaïa
Evpraksia Nikolaïevna Vrevskaïa ou Eupraxie Nikolaïevna Vrevskaïa surnommée Zizi (en langue russe : Евпракси́я Никола́евна Вре́вская) (1809-1883) est une baronne russe qui habitait Trigorskoïe un domaine voisin de celui d'Alexandre Pouchkine dans le Gouvernement de Pskov et fut une amie proche de ce dernier. Pouchkine lui a consacré plusieurs poèmes, en particulier dans son roman en vers Eugène Onéguine, qui la reprend sous son surnom familier de « Zizi ».

Trigorskoïe
Le domaine de Trigorskoïe (Триго́рское, ce qui signifie Trois-Monts) est un ancien petit domaine seigneurial, aujourd'hui musée faisant partie de l'ensemble muséal de Mikhaïlovskoïe, consacré à l'écrivain Alexandre Pouchkine (1799-1837).

Le musée se trouve dans l'ancienne maison domaniale de la famille Ossipov-Wulf, amie de Pouchkine, et comprend 37 hectares de terrains, dans le raïon de Pouchkinskie Gory appartenant à l'oblast de Pskov. Il est à un kilomètre du petit village de Chaboryki non loin de la rivière Sorot. Le nom de la propriété provient de trois collines: la colline sur laquelle se trouve le village de Voronitch (à l'emplacement d'un ancien site fortifié), le monticule de Voronitch (à l'emplacement d'un site habité à la Préhistoire) et la colline de la maison.
Maicer Izturis
Maicer Izturis (né le 12 septembre 1980 à Barquisimeto, Lara, Venezuela) est un ancien joueur de champ intérieur de baseball. Il évolue en Ligue majeure de baseball avec les Expos de Montréal en 2004, les Angels de Los Angeles de 2005 à 2012, et les Blue Jays de Toronto en 2013 et 2014.

Maicer Izturis a un frère aîné, Cesar, qui joue en Ligue majeure de 2001 à 2013.

César Izturis
César David Izturis (né le 10 février 1980 à Barquisimeto, Venezuela), est un joueur d'arrêt-court évoluant en Ligue majeure de baseball. Il est présentement agent libre.

Sélectionné une fois au match des étoiles (2005) et gagnant d'un Gant doré à la position d'arrêt-court (2004), Izturis est également un international vénézuélien et participe avec l'équipe du Venezuela à la Classique mondiale de baseball 2009.

Il est le frère de Maicer Izturis.
Élections américaines de la Chambre des représentants de 1994
En 1994, les élections à la Chambre des représentants des États-Unis ont eu lieu le 8 novembre pour renouveler 435 sièges. Deux ans après l'élection de Bill Clinton à la Maison-Blanche, ces élections sont marquées par la Révolution républicaine, qui voit les républicains reprendre 54 sièges aux démocrates.

Le Parti républicain réussit à reprendre le contrôle de la chambre basse du Congrès américain avec 230 représentants. Les républicains n'y avaient pas été majoritaires depuis 1952 et n'avaient pas connu un tel score depuis 1946.

Ces élections se déroulent en même temps que des élections des gouverneurs et des élections sénatoriales.

Élections sénatoriales américaines de 1994
Les élections sénatoriales américaines de 1994 ont eu lieu le 8 novembre 1994 pour renouveler 33 des 100 sièges du Sénat des États-Unis (classe 1) ainsi que deux sièges vacants. Deux ans après l'élection de Bill Clinton à la Maison-Blanche, ces élections sont marquées par la Révolution républicaine, qui voit les républicains reprendre 8 sièges aux démocrates. Le Parti républicain reprend ainsi le contrôle du Sénat, perdu en 1986.

Le même jour, les républicains redeviennent majoritaires à la Chambre des représentants et prennent 12 postes de gouverneur aux démocrates.
Manoir du Verger
Le manoir du Verger est une demeure à pans de bois du XVIe siècle qui se dresse sur le territoire de l'ancienne commune française de Fervaques, dans le département du Calvados, en région Normandie. L'édifice est partiellement inscrit au titre des monuments historiques.

Fervaques
Fervaques est une ancienne commune française, située dans le département du Calvados en région Normandie, devenue le 1er janvier 2016 une commune déléguée au sein de la commune nouvelle de Livarot-Pays-d'Auge.

Elle est peuplée de 707 habitants.

Cette commune possède une école maternelle et élémentaire publique.
Aurélie Dupont
Aurélie Dupont, née le 15 janvier 1973 à Paris, est une danseuse étoile du ballet de l'Opéra national de Paris. Elle dirige le ballet de l'Opéra, en tant que directrice de la danse, du 4 février 2016 au 31 juillet 2022.

Delphine Moussin
Delphine Moussin est une danseuse française née en 1969, étoile du ballet de l'Opéra national de Paris.

Admise à l'école de danse de l'Opéra de Paris en 1980, elle intègre le corps de Ballet de l'Opéra en 1984, à l'âge de 15 ans.

Promue première danseuse en 1994 (notamment grâce à une variation tirée des Mirages de Serge Lifar), elle est nommée danseuse étoile le 3 mai 2005, à l'issue d'une représentation un peu particulière[non neutre] de Cendrillon, puisque Delphine Moussin a assuré le spectacle avec un poignet cassé (et donc le bras dans le plâtre)[réf. souhaitée]. Cette nomination a ceci de remarquable qu'elle est relativement tardive. En 2011, elle quitte la scène sans adieux et devient professeur du ballet de l'Opéra national de Paris.
Living Colour
Living Colour est un groupe américain de heavy metal, originaire de New York. La musique de Living Colour est une fusion de funk, de rock, de metal, de jazz et de rap, contenant des paroles qui attaquent la mentalité WASP et le racisme d'Amérique. Le groupe fait partie du mouvement fusion qui s'est développé à partir du milieu des années 1980 avec notamment Fishbone, Red Hot Chili Peppers, Faith No More, King's X, et Jane's Addiction, la principale influence du groupe restant les Bad Brains. Des titres comme Cult of Personality, Love Rears Its Ugly Head ou Leave It Alone sont emblématiques du style de Living Colour.

Jane's Addiction
Jane's Addiction est un groupe de metal alternatif américain, originaire de Los Angeles, en Californie. Pour la plus grande partie de leur carrière, le groupe comprenait le chanteur Perry Farrell, le bassiste Eric Avery, le guitariste Dave Navarro et le batteur Stephen Perkins. Après leur rupture en 1991, Jane's Addiction partit brièvement en tournée en 1997, se réunit en 2001 et repart en chemin en 2004. Le groupe se réunit de nouveau en 2008. Le style musical varié de Jane's Addiction est influencé par le punk rock, le heavy metal, le post-punk, et le rock psychédélique.

Jane's Addiction était l'un des premiers groupes de rock alternatif à obtenir l'attention des médias et le succès commercial aux États-Unis. Leur première tournée d'adieu lance le premier festival Lollapalooza, une tournée annuelle de rock alternatif. En conséquence, Jane's Addiction deviendra l'icône de ce que Farrell surnomme la « nation alternative » dans les années 1990.
Mersonne ne m'aime
Mersonne ne m’aime est un téléfilm français réalisé par Liliane de Kermadec et primodiffusé[Quoi ?] sur Antenne 2 en 1982.

Docu-fiction dans les milieux féministes, le téléfilm est scénarisé par Nicole-Lise Bernheim et Mireille Cardot, d'après leur roman paru en 1978 aux Éditions des Autres.

Liliane de Kermadec
Liliane de Kermadec, née Liliane Pisterman le 6 octobre 1928 à Varsovie (Pologne) et morte le 13 février 2020 à Paris, est une comédienne, réalisatrice et scénariste française.

Au cours d'une carrière s'étalant sur soixante années, elle réalise une vingtaine de films, dont Aloïse (1975), inspiré de la vie de l'artiste Aloïse Corbaz.
Adriano Bernardini
Adriano Bernardini, né le 13 août 1942 à Piandimeleto et mort le 11 septembre 2025 à Rome, est un prélat italien de l'Église catholique qui occupe des fonctions au sein du service diplomatique du Saint-Siège des années 1970 jusqu'à sa retraite en 2017. Sa première mission en tant que nonce apostolique se déroule au Bangladesh (1992-1995) et sa dernière en Italie (2011-2017). Il est archevêque depuis 1992.

Angelo Sodano
Angelo Sodano, né le 23 novembre 1927 à Isola d'Asti dans le Piémont en Italie et mort le 27 mai 2022 à Rome, est un cardinal catholique italien, cardinal secrétaire d'État de la Curie romaine de 1990 à 2006 et doyen du Collège des cardinaux du 30 avril 2005 au 21 décembre 2019.

Le cumul de ces deux offices n'avait plus eu lieu depuis 1828 en la personne du cardinal Giulio Maria della Somaglia.

Ses liens avec la dictature chilienne et l'Opus Dei, son rôle dans l’étouffement des affaires de pédophilie au sein de l’Église et la protection du prêtre mexicain Marcial Maciel ainsi que son train de vie fastueux font de ce proche collaborateur de Jean-Paul II une personnalité controversée du Vatican.
Petite rivière Muskrat
La Petite rivière Muskrat est un tributaire du Grand lac Saint-François lequel constitue le lac de tête de la rivière Saint-François. Le cours de la "Petite rivière Muskrat" traverse le territoire de la municipalité de Adstock, dans la MRC Les Appalaches, dans la région administrative de Chaudière-Appalaches, sur la Rive-Sud du fleuve Saint-Laurent, au Québec, Canada.

Rivière Muskrat (Grand lac Saint-François)
La rivière Muskrat est un tributaire du Grand lac Saint-François lequel constitue le lac de tête de la rivière Saint-François. Le cours de la rivière Muskrat" traverse le territoire de la municipalité de Adstock, dans la MRC Les Appalaches, dans la région administrative de Chaudière-Appalaches, sur la Rive-Sud du fleuve Saint-Laurent, au Québec, Canada.
Ciel (marque)
Ciel est — depuis 1992 — une marque commerciale de la société britannique Sage.

C'était  :

l'acronyme de la Compagnie internationale d'édition de logiciels française ;

le logiciel « CIEL » de gestion créé en 1986 par cette société, édité pour les petites entreprises, artisans, commerçants, indépendants, professions libérales et créateurs d'entreprises.

Sage (entreprise)
Sage est une société multinationale éditrice de logiciels de gestion pour les TPE, PME, ETI, grandes entreprises et les experts-comptables, dont le siège social se situe à Newcastle, Royaume-Uni.

Sage est coté à la bourse de Londres au sein de l'indice FTSE 100.

En 2010, Sage est le troisième éditeur européen de progiciel de gestion intégré (PGI ou ERP en anglais), derrière l'allemand SAP et le français Dassault Systèmes et devant les Allemands Software AG et DATEV. Forrester donne le même classement dans son étude The State of ERP in 2011 publiée en mai 2011. Cette étude propose le classement des éditeurs d’ERP par chiffre d’affaires sur leurs solutions ERP. Sage est présent dans 24 pays et ses solutions sont distribuées au sein de 160 pays.
Émulation
En informatique, l'émulation consiste à substituer à un élément de matériel informatique — tel un terminal informatique, un ordinateur ou une console de jeux — un logiciel.

« Émuler » signifie « simuler, sur un ordinateur, le comportement de ». L'émulation est donc une imitation du comportement physique d'un matériel par un logiciel, contrairement à la simulation, qui vise à imiter un modèle abstrait. L'émulateur reproduit le comportement d'un modèle dont toutes les variables sont connues, alors que le simulateur tente de reproduire un modèle mais en devant extrapoler une partie des variables qui lui sont inconnues (exemple : la simulation du comportement d'un trou noir). Le recours à un émulateur, selon le contexte, permet de faciliter le développement ou le débogage d'un système ou de remplacer un système obsolète ou inutilisable par un autre. Dans ce cadre, il est possible de faire fonctionner le nouveau système, l'émulateur, de la même manière que le système imité.

Terminal (informatique)
En informatique, un terminal est une variété de périphérique réseau placé à l'extrémité d'un nœud. Le terminal est un point d’accès de communication entre l'homme et un ordinateur central ou un réseau d'ordinateurs. Dans un réseau décentralisé de type client-serveur il correspond aujourd'hui à l'association minimale d'un périphérique de saisie (clavier) ou de pointage (souris) et d'un moniteur reliés à l'unité centrale.

Sous Unix et en génie logiciel, il désigne par abus de langage une fenêtre d'invite de commande donnant accès à un shell Unix.
Le Papillon des étoiles
Le Papillon des étoiles est un roman de Bernard Werber paru en 2006.

Le thème du roman est la colonisation de l'espace par l'humanité. Dans le début du livre, la fuite est présentée comme l'ultime recours face à l'autodestruction de l'humanité sur leur planète, avec l'aphorisme : « Le dernier espoir, c'est la fuite », aphorisme figurant sur la couverture. Le livre présente aussi une théorie relative à la panspermie.

Panspermie
La panspermie est une hypothèse, apparue au cours de l'Antiquité, selon laquelle l'origine des organismes vivants sur Terre serait une « contamination » extraterrestre. Au début du XXIe siècle, elle reste une hypothèse spéculative puisqu'elle n'est pas étayée par des preuves tangibles, malgré la découverte d'organismes potentiellement capables de survivre au voyage à travers l'espace. L'expérience de Miller-Urey (soupe primordiale) tend à réfuter cette théorie. L'hypothèse la plus communément admise concernant l'origine de la vie terrestre est qu'elle serait apparue directement sur Terre.
Anthony Joshua
Anthony Joshua, né le 15 octobre 1989 à Watford (Angleterre), est un boxeur britannique.

Médaillé aux championnats du monde de Bakou en 2011 et champion olympique aux Jeux de Londres en 2012, il est par la suite champion du monde poids lourds de boxe anglaise de l'International Boxing Federation (IBF), de la World Boxing Association (WBA) et de la World Boxing Organization (WBO).

Tyson Fury
Tyson Luke Fury, né le 12 août 1988 à Wythenshawe en Angleterre, est un boxeur britannique.

Il est cousin du boxeur de poids moyen Andy Lee. Il remporte les quatre ceintures de champion du monde en battant Wladimir Klitschko, puis WBC en février 2020.
FSMLabs
FSMLabs (en anglais « Finite State Machine Labs Inc. ») est une entreprise informatique américaine fondée à la fin des années 1990 par Victor J. Yodaiken dans le but de commercialiser RTLinux. Son siège se situe à Socorro dans l'État du Nouveau-Mexique aux États-Unis.

Wind River (entreprise)
Wind River Inc. est une société spécialisée dans les systèmes d'exploitation embarqués, fondée en
1981 par Jerry Fiddler et David Wilner. En 2006, elle emploie 1 112 personnes à travers le monde, et son chiffre d’affaires était de 266,20 millions USD. Son siège social est situé à Alameda, en Californie, aux États-Unis. Le 4 juin 2009, Intel Corporation annonce son acquisition pour environ 884 millions USD.
Les Courtes
Les Courtes sont un sommet du versant français du massif du Mont-Blanc.

Elles sont situées sur le chaînon qui, de l'aiguille de Triolet à l'aiguille Verte, sépare le glacier de Talèfre au sud et le glacier d'Argentière au nord.

Aiguille Verte
L'aiguille Verte est un sommet du massif du Mont-Blanc, en Haute-Savoie, culminant à  4 122 mètres. Elle fait partie des 82 sommets des Alpes de plus de 4 000 mètres d'altitude recensés dans les Alpes.
Target Balance Account
En finance, le Target Balance Account est un système de cash-pooling (visant à regrouper les soldes de trésorerie de plusieurs filiales d'une même entreprise). Ce système vise à ne laisser dans les comptes courants des filiales que des montants fixes (par exemple 1 million d'euros) et transférer le surplus vers un compte bancaire central.

L'intérêt principal de ce système est de centraliser la trésorerie pour pouvoir la placer à de meilleurs taux d'intérêt.

Centralisation de trésorerie
La centralisation de trésorerie (en anglais cash pooling)  est l'équilibrage automatisé des soldes des comptes d'une entreprise permettant de concentrer les flux des comptes bancaires des filiales sur un compte centralisateur appartenant à la société mère.
Wilaya de Jijel
La wilaya de Jijel (/ʒi.ʒɛl/ ), en berbère : Tamnadt n Ighil Gili / en tifinagh : ⵜⴰⵎⵏⴰⴷⵜ ⵏ ⵉⵖⵉⵍ ⴳⵉⵍⵉ; en arabe : ولاية جيجل, est une wilaya côtière située dans le Nord-Est de l'Algérie dans la région de la Petite Kabylie et dont le chef-lieu est la ville éponyme de Jijel.

Wilaya de Béjaïa
La wilaya de Béjaïa (en kabyle : Tasga n Vgayet ; en berbère standard algérien : ⵜⴰⵏⴻⴱⴹⵉⵜ ⵏ ⴱⴳⴰⵢⴻⵜ, Tanebḍit n Bgayet ; en arabe : ولاية بجاية) est une wilaya algérienne, située au nord est du pays, dans la région de la Kabylie sur sa côte méditerranéenne. Elle est divisée administrativement en 52 communes et 19 daïras. Son chef-lieu est Béjaïa.

La wilaya de Béjaïa a une superficie de 3 268 km2. La population résidente telle qu'évaluée lors du recensement de 2008 est de 912 577 habitants.
Claude Parent (architecte)
Claude Parent (26 février 1923 – 27 février 2016), né à Neuilly-sur-Seine, était un architecte français. Il fut le premier en France à opérer une profonde rupture épistémologique avec le modernisme, dès le milieu des années 1950. Au travers d’articles, d’ouvrages, de dessins-manifestes et de nombreux projets réalisés, il a repensé notre compréhension et notre appréhension de l’espace. Depuis la Maison Drusch (1963) jusqu’au projet pour le Musée du Prado (1995), il s’est attaché à instaurer la discontinuité par le basculement des volumes et la fracture du plan.

Ionel Schein
Ionel Schein, né le 3 février 1927 à Bucarest en Roumanie et mort le 30 décembre 2004 à Paris, est un architecte, urbaniste et historien de l'architecture français.

Considéré par Frédéric Edelmann comme une « figure majeure » de l'architecture en France, il a notamment travaillé sur la mobilité.