hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Forme normale négative
En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation (, non) est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction (, et) et la disjonction (, ou).

La forme normale négative n'est pas une forme canonique, par exemple,  et  sont équivalentes, et sont toutes deux en forme normale négative.

En logique classique et beaucoup de logiques modales, chaque formule peut être représentée dans cette forme, par le remplacement des implications et des équivalences par leurs définitions, en utilisant les lois de De Morgan, et en éliminant les doubles négations. Ce processus peut être représenté en utilisant les règles de réécriture suivantes (Handbook of Automated Reasoning 1, p. 204.):

Une formule en forme normale négative peut être mise sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité.

Forme normale conjonctive
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL).
Cité du Vitrail
La Cité du Vitrail est un musée situé à Troyes, dans le département de l'Aube, consacré à l'art et à l'histoire du vitrail.

Elle est installée dans l'Hôtel-Dieu-le-Comte de Troyes depuis son ouverture en 2022.

Hôtel-Dieu-le-Comte de Troyes
L'hôtel-Dieu de Troyes était un hôtel-Dieu situé en France, dont la destination actuelle est l'hébergement du musée de l'Apothicairerie et de la Cité du Vitrail de Troyes. Une partie des bâtiments est également dévolue au centre universitaire de Troyes, qui dépend de l'université de Reims-Champagne-Ardenne.

Le bâtiment, en forme de U, est construit entre cour et jardin. Deux adjonctions sur l'aile ouest accueillent la chapelle et l'apothicairerie. La cour est fermée par une grille monumentale en fer forgée.

Il est connu comme hôtel-Dieu-le-Comte ou maison-Dieu-Saint-Étienne.
Along Flirtation Walk
Along Flirtation Walk est un film américain d'animation réalisé par Friz Freleng, sorti en 1935.

Produit par Leon Schlesinger et distribué par Warner Bros., ce cartoon fait partie de la série Merrie Melodies.

Friz Freleng
Isadore Freleng, dit Friz Freleng, est un dessinateur et cartooniste américain né le 21 août 1905 à Kansas City et mort le 26 mai 1995 à Los Angeles. Il travaille dès les années 1920 pour Walt Disney et, plus tard, pour les studios d'animation de Warner Bros. et MGM.

Il est notamment le créateur du personnage de Sam le pirate puis de la Panthère rose en 1963.
Karl von Le Suire
Karl Hans Maximilian von Le Suire, né le 8 novembre 1898 à Unterwössen en Haute Bavière et mort le 18 juin 1954 dans un camp de prisonniers de guerre près de Stalingrad, est un General der Gebirgstruppe (général des troupes de montagne) allemand qui a servi au sein de l'armée de terre allemande pendant la Seconde Guerre mondiale. Il dirigeait les troupes qui ont participé au massacre de Kalávryta en Grèce en novembre 1943.

General der Gebirgstruppe
Le grade de General der Gebirgstruppe en français : « général des troupes de montagne » est un grade d’officier général de la Heer, l'Armée de terre allemande, qui est équivalent à celui de général de corps d'armée en France.
Théâtre du Soleil
Le Théâtre du Soleil est une compagnie de théâtre fondée en 1964 sous forme de société coopérative et participative (scop) par Ariane Mnouchkine, Philippe Léotard, Jean-Claude Penchenat, Roberto Moscoso, Françoise Tournafond ou encore Claude Forget.

Mnouchkine crée la troupe après avoir suivi les cours de Jacques Lecoq. C'est alors une jeune troupe cosmopolite qui, en 1970, élit domicile dans le 12e arrondissement de Paris, dans des hangars désaffectés qui deviennent rapidement un nouveau lieu de théâtre : ce lieu est l'ancienne cartoucherie du bois de Vincennes ; « la Cartoucherie » s'impose alors naturellement comme nom de baptême et enseigne du lieu, où viennent ensuite rapidement s'installer d'autres compagnies.

Ainsi, le « théâtre du Soleil » désigne aussi l'une des salles de théâtre de la Cartoucherie, où est spécifiquement hébergée cette compagnie.

Ariane Mnouchkine
Ariane Mnouchkine, née le 3 mars 1939 à Boulogne-Billancourt, est metteuse en scène de théâtre et animatrice de la troupe qu'elle a fondée en 1964, le Théâtre du Soleil. Elle est également scénariste et réalisatrice de films.
Marie Jacq
Marie Jacq, née le 28 juillet 1919 à Henvic (Finistère) et morte le 23 juin 2014 à Morlaix, est une femme politique française.

Longtemps maire de Henvic, elle est députée socialiste du Finistère de 1978 à 1993, elle est vice-présidente de l'Assemblée nationale de 1981 à 1982. Elle est à l'origine de la première « Loi des conjoints collaborateurs destinée principalement aux femmes d'artisans et de commerçants ».

Henvic
Henvic [ɛ̃vik] (en breton : Henvig) est une commune du département du Finistère, dans la région Bretagne, en France. Henvic occupe une position centrale dans la baie de Morlaix, entre les deux abers de la Penzé et de la Rivière de Morlaix.
Rivière à la Cruche (rivière aux Sables)
La rivière à la Cruche est un affluent du lac Doumic, coulant sur la rive Nord-Ouest du fleuve Saint-Laurent, dans le territoire non organisé Mont-Valin, dans la municipalité régionale de comté (MRC) du Fjord-du-Saguenay, dans la région administrative de la Saguenay-Lac-Saint-Jean, dans la Province de Québec, au Canada.

Cette rivière coule dans les cantons de Le Mercier et de Garreau, ainsi que dans le territoire de la zec Martin-Valin.

Cette vallée est desservie par quelques routes forestières secondaires, surtout pour les besoins de la foresterie et des activités récréotouristiques,,.

La foresterie constitue la principale activité économique du secteur ; les activités récréotouristique, en second.

La surface de la rivière à la Cruche habituellement gelée de la fin novembre au début avril, toutefois la circulation sécuritaire sur la glace se fait généralement de la mi-décembre à la fin mars.

Bras Fournier
La bras Fournier est un affluent de la rivière Valin, coulant dans le territoire non organisé de Mont-Valin, dans la municipalité régionale de comté (MRC) Le Fjord-du-Saguenay, dans la région administrative du Saguenay-Lac-Saint-Jean, au Québec, au Canada.

Une route forestière secondaire dessert la vallée du Bras Fournier ; d’autres routes forestières secondaires ont été aménagées dans le secteur pour les besoins de la foresterie et des activités récréotouristiques,.

La surface du bras Fournier est habituellement gelée de la fin novembre au début avril, toutefois la circulation sécuritaire sur la glace se fait généralement de la mi-décembre à la fin mars.
Cabasset
Le cabasset est un casque de la Renaissance, ouvert, issu du chapel de fer et proche du morion, d'où son nom de morion espagnol donné en Angleterre. Le cabasset est d'ailleurs parfois considéré comme une forme dérivée du morion.

Chapel de fer
Le chapel, chapel de fer ou chapel de Montauban est un casque antique et médiéval.

Il a été popularisé par la télévision et le cinéma dans la série Thierry la Fronde et le film Jeanne d'Arc de Luc Besson, comme symbole du fantassin médiéval anglais.
Heidi Rakels
Heidi Rakels, née le 22 juin 1968 à Louvain, est une ingénieure civile en informatique. Elle est une judokate belge qui évolue dans la catégorie des poids mi-lourds.

Après 2004 elle travaille comme ingénieure logiciel et fonde une société de logiciels de sécurité, Guardsquare. En 2020, elle figure dans les Inspiring Fifty Belgium.

Inspiring Fifty
Inspiring Fifty est une initiative, organisée depuis 2013 par le réseau EQL:HER, dont le but est de promouvoir, dans chaque pays participant, cinquante femmes qui se sont particulièrement distinguées dans les secteurs de la science, technologie, ingénierie et mathématiques (STIM). Figurer sur la liste des cinquante femmes inspirantes est non seulement une reconnaissance pour les femmes, entrepreneures, managers, professeures d'université, chercheuses et représentantes d'institutions, mais aussi et surtout une référence, un modèle pour les nouvelles générations. L'objectif de l’initiative est d'encourager les femmes à occuper des postes à responsabilité dans des secteurs technologiques, où elles sont traditionnellement sous-représentées et y accroître la diversité,.
Paula Brancati
Paula Brancati est une actrice née le 6 juin 1989 à Markham au Canada. Elle est connue avant tout pour ses rôles dans les séries télévisées Degrassi : La Nouvelle Génération et Les Vies rêvées d'Erica Strange.

Les Vies rêvées d'Erica Strange
Les Vies rêvées d'Erica Strange ou Les Vies rêvées d'Érica au Québec (Being Erica) est une série télévisée canadienne en 49 épisodes de 42 minutes, créée par Jana Sinyor et diffusée entre le 5 janvier 2009 et le 12 décembre 2011 sur le réseau CBC.

En France, la série est diffusée depuis le 14 décembre 2009 sur OCS Happy, au Québec, depuis le 1er septembre 2010 sur Séries+ et en Belgique, depuis le 9 mai 2011 sur La Deux.
Les Fruits de l'automne
Les Fruits de l'automne – ou Paysanne portant des fruits – est un tableau réalisé vers 1630 par le peintre Nicolas Tournier. Cette huile sur toile est le portrait en clair-obscur d'une femme portant du raisin, des pommes, des poires et des figues dans le pan de son tablier, tout en regardant le spectateur. Cette œuvre est conservée à la Fondation Bemberg, à Toulouse, en France, depuis son acquisition en 2014 auprès d'une collection américaine. Elle est considérée comme un pendant des Fruits de l'été, acquise l'année suivante.

Fondation Bemberg
La Fondation Bemberg est une fondation d'art située à Toulouse dans l'hôtel d'Assézat, et présentant la riche collection d'art privée du collectionneur Georges Bemberg, réunissant peintures, sculptures et objets d'arts anciens et modernes que celui-ci a prêtés à la municipalité de Toulouse afin de les rendre accessibles au plus grand nombre. La fondation, outre que d'être un musée, propose également des activités culturelles liées à l'histoire et à la connaissance de l'art.
Gratentour
Gratentour [ɡʁatɛ̃tuʁ] est une commune française située dans le nord du département de la Haute-Garonne, en région Occitanie. Sur le plan historique et culturel, la commune est dans le Pays toulousain, qui s’étend autour de Toulouse le long de la vallée de la Garonne, bordé à l’ouest par les coteaux du Savès, à l’est par ceux du Lauragais et au sud par ceux de la vallée de l’ Ariège et du Volvestre.

Exposée à un climat océanique altéré, elle est drainée par divers petits cours d'eau.

Gratentour est une commune urbaine qui compte 4 906 habitants en 2023, après avoir connu une forte hausse de la population depuis 1975. Elle appartient à l'unité urbaine de Toulouse et fait partie de l'aire d'attraction de Toulouse. Ses habitants sont appelés les Gratentourois ou  Gratentouroises.

Castelginest
Castelginest [kastɛlʒinɛst] est une commune française située dans le nord du département de la Haute-Garonne, en région Occitanie. Sur le plan historique et culturel, la commune est dans le Pays toulousain, qui s’étend autour de Toulouse le long de la vallée de la Garonne, bordé à l’ouest par les coteaux du Savès, à l’est par ceux du Lauragais et au sud par ceux de la vallée de l’Ariège et du Volvestre.

Exposée à un climat océanique altéré, elle est drainée par l'Hers-Mort, le ruisseau de Carles et par divers autres petits cours d'eau.

Castelginest est une commune urbaine qui compte 11 271 habitants en 2023, après avoir connu une forte hausse de la population depuis 1975. Elle appartient à l'unité urbaine de Toulouse et fait partie de l'aire d'attraction de Toulouse. Ses habitants sont appelés les Castelginestois ou  Castelginestoises.
Henri II le Pieux
Henri II le Pieux (en polonais : Henryk II Pobożny), né vers 1191 et tué le 9 avril 1241 à la bataille de Legnica, est un prince polonais de la dynastie Piast, le fils d’Henri Ier le Barbu et de son épouse Edwige, fille du comte Berthold IV d'Andechs. Issu de la branche aînée des Piast régnant le duché de Silésie depuis 1138, il succéda à son père en tant que duc de Silésie, duc de Grande-Pologne et princeps de Pologne à Cracovie en 1238.

Henri Ier le Barbu
Henri Ier le Barbu (en polonais Henryk I Brodaty), né vers 1170 à Głogów et mort le 19 mars 1238 à Krosno Odrzańskie, est un prince polonais de la dynastie Piast. Fils du duc de Silésie Boleslas Ier le Long et de la comtesse allemande Christine, Il est devenu duc de Wrocław le 8 décembre 1201 et duc de Cracovie en 1232. Au cours de son règne, il a tenté de réunifier les territoires polonais.
Les Quatre (téléfilm)
Les Quatre (The Big Four) est un téléfilm britannique de la série télévisée Hercule Poirot, réalisé par Peter Lydon, sur un scénario de Mark Gatiss et Ian Hallard, d'après le roman Les Quatre, d'Agatha Christie.

Ce téléfilm, qui constitue le 67e épisode de la série, a été diffusé au Royaume-Uni le 23 octobre 2013 sur ITV. En France, la première diffusion a eu lieu le 20 décembre 2013 sur TMC.

Le téléfilm marque le retour de Hugh Fraser en capitaine Hastings, ainsi que ceux, pour la dernière fois, de Philip Jackson en désormais commissaire adjoint Japp et Pauline Moran en Miss Lemon.

Mark Gatiss
Mark Gatiss est un acteur, scénariste et producteur de télévision britannique, né le 17 octobre 1966 à Sedgefield (Durham). Il est principalement connu pour ses rôles dans les séries Le Club des Gentlemen, Doctor Who, Sherlock et Game of Thrones.
Vol 222
Vol 222 (en russe : Рейс 222, Reis 222) est un film soviétique réalisé par Sergueï Mikaelian et sorti en 1985. Il est basé sur le fait réel, la défection à l'ouest d'Alexandre Godounov, artiste du Bolchoï en août 1979,,. Presque tous les personnages sont interprétés par les acteurs non professionnels.

Sergueï Mikaelian
Sergueï Guérassimovitch Mikaelian (russe : Сергей Герасимович Микаэлян), né le 1er novembre 1923 à Moscou et mort le 10 décembre 2016 à Saint-Pétersbourg, est un réalisateur et scénariste du cinéma soviétique, artiste du Peuple de la RSFS de Russie en 1983.
Calypso
Dans la mythologie grecque, Calypso  (en grec ancien : Καλυψώ / Kalypsṓ, « celle qui scelle, enveloppe ») est une nymphe de la mer, ayant, par amour, retenu auprès d'elle Ulysse, pendant sept des dix années de son retour de Troie à Ithaque.

Hermès
Dans la religion grecque antique, Hermès (Ἑρμῆς / Hermễs en grec, Ἑρμᾶς / Hermãs en dorien) est une des divinités de l'Olympe. Il est le messager des dieux, principalement de Zeus, au même titre qu'Iris, et leur intermédiaire auprès des hommes.

Donneur de la chance, inventeur des poids et des mesures, gardien des routes et carrefours, il est le dieu des voyageurs, des bergers, des commerçants, des voleurs et des orateurs. Il conduit les âmes aux Enfers.

Il tient une place importante dans la mythologie grecque en intervenant dans de nombreux mythes. Son équivalent latin est Mercure.
Martens
Le patronyme néerlandais (ou germanique) Martens indique une filiation par le suffixe -s de quelqu'un qui se dénommait Maarten, correspondant au français Martin.

La racine Maarten peut se décliner :

avec la voyelle -aa- en -a-, -ae-, -e- ou -ee : Marten, Maerten, Merten, Meerten ;

avec disparition du -n- médian : Mertes, Mertus ;

avec le suffixe génitif -s : Maartens, Martens, Maertens, Mertens, Meertens ;

avec un suffixe -e : Martense, Mertense, Meertense, Maartense ou Maertense ;

avec un doublage du suffixe (-s vers -sen): Martensen ;

avec un -i- au lieu du -e- : Mertin, Martin, Martins, Martinsen, Martinsse ;

avec un autre remplacement du -i- : Martyn, Martijn, Martein, Marteyn, Marteijn, Marting.

Variantes :

Meert, Meerts, Mert, Merts, Meerte, Meirt, Meirte, Meets ;

Martinus, Martinussen ;

Martinis, Marinissen ;

Marthunussen ;

Demartin, Demartain.

Mertens
Le patronyme néerlandais (ou germanique) Mertens indique une filiation par le suffixe -s de quelqu'un qui se dénommait Maarten, correspondant au français Martin.

La racine Maarten peut se décliner :

avec la voyelle -aa- en -a-, -ae-, -e- ou -ee : Marten, Maerten, Merten, Meerten ;

avec disparition du -n- médian : Mertes, Mertus ;

avec le suffixe génitif -s : Maartens, Martens, Maertens, Mertens, Meertens ;

avec un suffixe -e : Martense, Mertense, Meertense, Maartense ou Maertense ;

avec un doublage du suffixe (-s vers -sen): Martensen ;

avec un -i- au lieu du -e- : Mertin, Martin, Martins, Martinsen, Martinsse ;

avec un autre remplacement du -i- : Martyn, Martijn, Martein, Marteyn, Marteijn, Marting.

Variantes :

Meert, Meerts, Mert, Merts, Meerte, Meirt, Meirte, Meets ;

Martinus, Martinussen ;

Martinis, Marinissen ;

Marthunussen ;

Demartin, Demartain.
Franc français
Le franc français, appelé simplement franc lorsqu'il n'y a pas ambiguïté (en abrégé F, f, FF, Fr, fr, fr. ou le symbole informatique ₣ ; code ISO 4217 FRF pour celui de 1960-2002), est une ancienne unité monétaire de la France, utilisée également en Andorre et à Monaco.

Bien qu’une pièce portant le nom de « franc », dite « franc à cheval », ait existé dès le 5 décembre 1360, le franc français n'est l’unité monétaire unique de la France qu’entre le 7 avril 1795 et le 31 décembre 1998 (et l’unité monétaire commune en Andorre et à Monaco). Il succède en effet à la livre tournois, unité de compte de l’Ancien Régime, le franc n’étant alors qu’une monnaie de règlement.

Le 1er janvier 2002, le franc français est remplacé en tant qu'unité de compte par l’euro, la monnaie de l'Union économique et monétaire européenne, dont il est devenu une division nationale le 1er janvier 1999 (au taux de 6,559 57 FRF = 1 euro).

Florin néerlandais
Le florin néerlandais (en néerlandais : gulden, prononcé : /ˈɣɵldə(n)/, symbole : ƒ, code ISO : NLG) est l'ancienne unité monétaire officielle des Pays-Bas, de 1816 à 2002, date de son remplacement par l'euro.
Edgar Froese
Edgar Wilmar Froese, né le 6 juin 1944 à Tilsit, en Prusse-Orientale (aujourd'hui Sovetsk en Russie) et mort le 20 janvier 2015 à Vienne, en Autriche, est un musicien allemand, spécialisé en musique électronique et fondateur en septembre 1967 du groupe Tangerine Dream.

Sovetsk (oblast de Kaliningrad)
Sovetsk ou Sovietsk (en russe : Советск), anciennement Tilsit ou orthographié en français au XIXe siècle Tilsitt (Тильзит ; en allemand : Tilsit ; en lituanien : Tilžė ; en polonais : Tylża), est une ville de l'oblast de Kaliningrad, en Russie. Sa population s'élevait à 41 802 habitants en 2013 et compte une importante communauté lituanienne.
Famille de Beaumanoir
La famille de Beaumanoir est une famille éteinte de la noblesse française, originaire de Bretagne. Elle était classée dans la noblesse d'extraction chevaleresque et tirait son nom d'un château édifié en 1212 en la paroisse d'Evran.

Cette famille bretonne a pris possession de la baronnie de Lavardin au milieu du XVe siècle et des châtellenies de Tucé (actuelle commune de Lavardin (Sarthe)) Villiers et Bouër et de la baronnie de Milesse (La Milesse) en 1529.

La famille de Beaumanoir reçut un titre de marquis de Lavardin en 1601 et s'éteignit en 1711.

Jean de Beaumanoir (1551-1614)
Jean de Beaumanoir (1551 – 13 novembre 1614, Paris), marquis de Lavardin (Sarthe), comte de Nègrepelisse (Tarn-et-Garonne), baron de Lucé (Eure-et-Loir), seigneur de Malicorne, maréchal de France en 1595.
Lisinka Poirel
Lisinka-Elisavetsa Guibal, née à Moscou le 15 avril 1808 et morte à Rosières-aux-Salines le 8 juillet 1885, est une aquarelliste et collectionneuse. De retour en France à partir de 1818, elle rencontre Victor Poirel qu'elle épouse en 1834. Elle lègue à la ville de Nancy une partie de ses biens et une dotation pour la création d'une salle de spectacle.

Rosières-aux-Salines
Rosières-aux-Salines est une commune française située dans le département de Meurthe-et-Moselle, en Lorraine, dans la région administrative Grand Est. Rosières-aux-Salines a été désigné 2 fois comme le plus beau village de Meurthe-et-Moselle.
3OH!3
3OH!3 (prononcé « three-oh-three ») est un groupe de musique électronique américain composé de Nathaniel Motte et de Sean Foreman. Le groupe est originaire de la ville de Boulder dans l'état du Colorado.

Le duo connait la renommée lors de la parution de leur morceau Don't Trust Me, issu de leur deuxième album studio, Want, qui s'est classé à la septième place du classement américain Billboard Hot 100. Leur single suivant, qui est un remix de leur titre Starstrukk issu du même album, en collaboration avec l'artiste américaine Katy Perry, est devenu un tube qui s'est classé dans les tops 10 de plusieurs pays comme le Royaume-Uni, l'Irlande, la Finlande, la Pologne et l'Australie .

Ils acquièrent une notoriété encore plus importante grâce à leur collaboration avec la pop star Kesha, sur le single My First Kiss, extrait de leur troisième album studio, intitulé Streets of Gold. Ce titre est classé à la première place du Billboard Hot 100 et connaît un succès international.

Want (album)
Want est le second album studio par le groupe américain 3OH!3. Il s'agit du premier album produit par le label Photo Finish Records. L'album a été produit par Matt Squire. La chanson Punkbitch a été incluse dans la compilation de la tournée Warped Tour 2008.
Basilique San Giovanni Bosco
La basilique San Giovanni Bosco (en français : basilique Saint-Jean-Bosco) est une église de Rome située dans le quartier Don Bosco sur la viale et piazza San Giovanni Bosco. Elle est dédiée à Jean Bosco.

Jean Bosco
Saint Jean Bosco, ou Don Bosco, né Giovanni Melchiorre Bosco le 16 août 1815 à Castelnuovo d'Asti (village de la principauté du Piémont, Piémont-Sardaigne), et mort le 31 janvier 1888 à Turin (Italie), est un prêtre italien.

Il a voué sa vie à l'éducation des jeunes enfants issus de milieux défavorisés et a fondé, en 1859, la Société de Saint François de Sales, plus connue sous le nom de congrégation des Salésiens. L'Église catholique romaine l'a déclaré saint le 1er avril 1934, sous le nom de saint Jean Bosco. Il est fêté le 31 janvier selon le Martyrologe romain et selon le calendrier des Saints Anglicans. C'est le saint patron des éditeurs, des éducateurs, des apprentis et des prestidigitateurs.
Heteren
Heteren est un village situé dans la commune néerlandaise d'Overbetuwe, dans la province de Gueldre. Le 1er janvier 2008, le village comptait 5 141 habitants.

Commune indépendante jusqu'au 1er janvier 2001, Heteren fusionne alors avec Elst et Valburg pour trouver la nouvelle commune d'Overbetuwe.

Valburg
Valburg est un village situé dans la commune néerlandaise d'Overbetuwe, dans la province de Gueldre. Le 1er janvier 2008, le village comptait 1 685 habitants.

Commune indépendante jusqu'au 1er janvier 2001, Valburg fusionne alors avec Heteren et Elst pour fonder la nouvelle commune d'Overbetuwe.