hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Satisfaisabilité
En logique mathématique, la satisfaisabilité ou satisfiabilité et la validité sont des concepts élémentaires de sémantique. Une formule est satisfaisable s'il est possible de trouver une interprétation (modèle), une façon d'interpréter tous les éléments constitutifs de la formule, qui rend la formule vraie. Une formule est universellement valide, ou en raccourci valide si, pour toutes les interprétations, la formule est vraie. Les concepts opposés sont la non satisfaisabilité ou insatisfaisabilité et la non-validité : une formule est insatisfaisable si aucune de ses interprétations ne rend la formule vraie et non valide s'il existe une interprétation qui rend la formule fausse.

Les quatre concepts peuvent être appliqués aux théories. Ainsi une théorie est satisfaisable s'il existe une interprétation qui rend chacun des axiomes de la théorie vrai, non satisfaisable si toute interprétation rend l'un des axiomes faux.

Structure (logique mathématique)
En logique mathématique, plus précisément en théorie des modèles, une structure est un triplet mettant en relation: les symboles d'un langage aux éléments d'un ensemble via une fonction d'interprétation.

Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle).

La  sémantique de la logique du premier ordre se définit dans une structure.
Sigurd Valvatne
Sigurd Valvatne, né le 1er mai 1913 et mort le 17 décembre 2004, était un officier de marine norvégien. Pendant la Seconde Guerre mondiale, il a servi comme commandant de sous-marin avec le grade de lieutenant. Il a reçu en 1944 la Croix de guerre avec une épée pour ses efforts en tant que commandant du sous-marin HNoMS Ula (P66). Il est également connu pour avoir reconstruit l’arme sous-marine norvégienne dans la période d’après-guerre.

Atlantic Star (paquebot)
L’Atlantic Star est un navire de croisière construit en 1984 par les Constructions industrielles de la Méditerranée de La Seyne-sur-Mer pour la compagnie Sitmar. Il est lancé le 6 novembre 1982 et mis en service en mai 1985 sous le nom de Fairsky. Après avoir navigué sous différents noms et pour divers armateurs, il est vendu à la casse en mars 2013 et détruit à Aliağa sous le nom d’Antic.
Orthomyxoviridae
Orthomyxoviridés

Les Orthomyxoviridae sont une famille de virus à ARN monocaténaire de polarité négative de l'ordre des Articulavirales. Ils rassemblent notamment les quatre types de virus de la grippe. Les virus de cette famille ont un génome segmenté, c'est-à-dire divisé en segments d'acides nucléiques distincts. Dans le cas des Orthomyxoviridae, il s'agit de six à huit segments d'ARN monocaténaire de polarité négative. La longueur totale de ce génome est comprise entre 12 000 et 15 000 nucléotides.

Nucléotide
Un nucléotide est une molécule organique composée d'une base azotée (ou base nucléique), d'un ose à cinq atomes de carbone (pentose), dont l'association forme un nucléoside, et enfin de un à trois groupes phosphate.

L'adénosine triphosphate, dite ATP, est un nucléotide dont l'hydrolyse sous forme d'ADP et de phosphate libère une quantité d'énergie utilisée dans l'activité de la cellule ; plus généralement, sous la forme de dNTP (ATP, GTP, CTP, UTP), les nucléotides jouent un rôle central dans le métabolisme. Les nucléotides participent également à la signalisation cellulaire. Certains sont des cofacteurs ou coenzymes de réactions biochimiques.

Les nucléotides constituent l'élément de base d'un acide nucléique tel que l'ADN ou l'ARN.
Tournoi d'ouverture du championnat du Costa Rica de football 2022
Le tournoi Apertura 2022 est le trente-et-unième tournoi saisonnier disputé au Costa Rica. C'est cependant la 116e fois que le titre de champion du Costa Rica est remis en jeu.

En raison de la tenue hivernale de la Coupe du monde 2022 au Qatar, le calendrier est écourté pour ne compter que seize journées, contre vingt-deux précédemment, afin de conclure le tournoi au plus tard début novembre,.

Lors de ce tournoi, le CS Cartaginés tente de conserver son titre de champion du Costa Rica face aux onze meilleurs clubs costariciens. Le Deportivo Saprissa remporte le trente-septième titre de son histoire à l'issue de la finale nationale face au CS Herediano et se qualifie ainsi pour l'édition inaugurale de la Coupe d'Amérique centrale 2023.

Deportivo Saprissa
Le Deportivo Saprissa est un club costaricien de football basé à San José et fondé le 16 juillet 1935 sous le nom de « Saprissa FC ».

Le club est présidé par Juan Carlos Rojas. Il est l'un des clubs les plus populaires du Costa Rica, avec la LD Alajuelense. Avec 40 championnats remportés, il s'agit du club costaricien le plus titré, devant la LD Alajuelense (30 titres).
Colonisation de Mercure
La colonisation de Mercure a été suggérée comme une étape possible de la colonisation du Système solaire interne, de même que celles de Mars, de Vénus, de la Lune et de la ceinture d'astéroïdes. Les colonies permanentes devraient sans doute se limiter aux régions polaires, à cause des températures extrêmes de la journée sur Mercure. Les excursions sur la partie nocturne de la planète devraient être possibles avec des mesures appropriées, particulièrement à cause de la rotation très lente de la planète et donc du déplacement très lent du terminateur. Elles devraient approcher les conditions polaires durant ces longues nuits.

Constante solaire
La constante solaire, aussi appelée irradiance solaire totale, exprime la quantité d’énergie solaire que recevrait pendant une seconde (soit la puissance) une surface de 1 m2 située à une distance d'une unité astronomique (distance moyenne Terre-Soleil), exposée perpendiculairement aux rayons du Soleil, en l'absence d’atmosphère. Pour la Terre, c'est donc la densité de flux énergétique au sommet de l'atmosphère.

Elle s’exprime en watts par mètre carré (W/m2 ou W m−2).

Pour la Terre (hors atmosphère), elle vaut : .

Cette énergie est dissipée sur l'ensemble de la surface terrestre, qui, si elle est modélisée par une sphère, a une aire qui vaut quatre fois l'aire de la surface d'incidence, laquelle est un disque de même rayon.

Le rayonnement solaire incident moyen sur la surface totale est donc :

.

Cette valeur moyenne est prise en compte dans le bilan radiatif terrestre.
Captive NTFS
Captive NTFS est un pilote informatique (anglais driver) qui permet la manipulation des systèmes de fichier NTFS depuis les systèmes d'exploitation de type Unix (notamment Linux). C'est un projet open source lancé par Jan Kratochvil dont le but est de créer un adapteur et un émulateur (sandbox) pour le pilote existant de Microsoft Windows (ntfs.sys) dans le but de permettre son utilisation avec les systèmes d'exploitation de type Unix.

Il s'agit de l'un des seuls produits permettant d'accéder au(x) disque(s) de Windows en cas de dysfonctionnement de ce dernier (base de registre endommagée, virus, ...).
Il est notamment utilisé par l'antivirus bootable sur cédérom : "linuxdefender".

Base de registre
La base de registre (BDR) est une base de données utilisée par le système d'exploitation Windows. Elle contient les données de configuration du système d'exploitation et des autres logiciels installés désirant s'en servir. Depuis 1998, Microsoft utilise plutôt le terme Registre Windows pour parler de cette base de données.

Le plus souvent, les utilisateurs modifient la base de registre de façon transparente, via une interface graphique. Il existe des cas où aucune interface graphique n'est prévue : il est alors nécessaire d'utiliser l'outil Regedit, mais dans ce cas, il n'y a pas de garde-fou, le logiciel ne vérifie aucun des paramètres modifiés par l'utilisateur, qui peut donc endommager le système.
Climat des Pyrénées
Latitude, orientation de la chaîne, proximité de l'océan Atlantique, orographie engendrent les caractéristiques modelant le climat des Pyrénées, marqué par d'importants contrastes de part et d'autre de la haute chaîne. L'influence océanique est prépondérante à l'ouest et au nord avec notamment une pluviométrie importante, tandis que le sud et l'est, plus secs, sont soumis à des influences méditerranéenne et continentale.

Puigmal d'Err
Le Puigmal d'Err ou simplement Puigmal (prononcé Poutchmal) est un sommet des Pyrénées culminant à 2 910 m. Il est situé à la frontière franco-espagnole, sur la commune d'Err dans les Pyrénées-Orientales, et celle de Queralbs dans la province de Gérone.

Il est le point culminant du massif du Puigmal et le deuxième sommet des Pyrénées-Orientales après le pic Carlit.

Il donne son nom à la station de ski Err-Puigmal, située sur son flanc nord.
Port-Dauphin
Port-Dauphin (également connu sous les noms Grand Cibou, Sainte-Anne et Englishtown, son nom actuel) est un petit village situé dans la baie de Sainte-Anne, au nord-est de l'île du Cap-Breton, à une cinquantaine de kilomètres à l'ouest de Sydney (Nouvelle-Écosse), dans le Comté de Victoria, dans la province canadienne de Nouvelle-Écosse. Le village vit aujourd'hui principalement de la pêche.

Saint-Pierre (Cap-Breton)
Saint-Pierre (en anglais : St. Peter's, en gaélique écossais : Baile Naoimh Pheadair) est un village de la province de Nouvelle-Écosse (Canada), dans le comté de Richmond. Il compte 2 634 habitants (recensement de 2001).
CMSimple
CMSimple est un logiciel de gestion de contenu écrit en PHP et distribué sous licence GNU GPL. Il fonctionne sur tous les serveurs basés sur ce langage (Linux/Apache, Win32/Apache, Win32/IIS).

La grande particularité de CMSimple est de fonctionner sans base de données de type MySQL ou autres. La totalité du site est stockée dans un fichier HTML segmenté par les balises H1, H2 et H3 (balises de titre). De ce fait, un site réalisé avec CMSimple ne peut contenir des centaines de pages lourdes.

Apache HTTP Server
Le logiciel libre Apache HTTP Server (Apache) est un serveur HTTP créé et maintenu au sein de la fondation Apache. Jusqu'en avril 2019, ce fut le serveur HTTP le plus populaire du World Wide Web. Il est distribué selon les termes de la licence Apache.
Houillères de Vy-lès-Lure
Les houillères de Vy-lès-Lure sont un site d'extraction minière de l'Est de la France, en Haute-Saône, au hameau de la Grange du Vau situé entre les communes de Vy-lès-Lure et de Mollans. Elles ont connu deux périodes d'activité, la première entre 1826 et 1905 avec l'accord d'une concession en 1842, la seconde dans les années 1940 par le Bureau de recherches géologiques et géophysiques (BRGG). Sa houille keupérienne a servi principalement au fonctionnement des chaudières utilisées dans la concentration de la saumure des salines locales, en particulier celle de Gouhenans, propriétaire de la concession de Vy-lès-Lure entre 1879 et 1925.

Des vestiges de cette activité (entrées de mines, terrils et une cité minière) subsistent au début du XXIe siècle.

Histoire du sel de Haute-Saône
L'histoire du sel de Haute-Saône retrace l'exploitation du sel gemme dans le sud-est de la Haute-Saône en Franche-Comté du XIIe au XXe siècle. Le gisement, formé durant le Trias supérieur, est mêlé au bassin houiller keupérien de Haute-Saône, dont le charbon est extrait pour alimenter les fours des salines. Il est l'un des plus importants gisements d'exploitation de sel en France.

Des thermes utilisent également des sources d'eau salée.
Rödön
Rödön est une paroisse suédoise située dans la commune de Krokom, dans le Comté de Jämtland. Rödön se trouve sur les bords du lac Storsjön à environ 20 km d'Östersund.

Les premières mentions écrites du nom de Rödön remontent à 1300 (« Rødene »). Le pèlerinage de Saint Olaf passe par Rödön. L'étape ultime du pèlerinage est la Cathédrale de Nidaros à Trondheim.

Jusqu'à 1974, Krokom a été chef-lieu de l'ancienne commune de Rödön.

Östersund
Östersund (en suédois /œstɛˈʂɵnːd/  ) est une ville de Suède, chef-lieu de la commune d'Östersund dans le comté de Jämtland (une petite partie de la ville est située sur le territoire de la commune de Krokom). Elle est peuplée de 59 485 habitants (31 décembre 2012) ce qui en fait, de loin, la localité la plus peuplée de tout le centre-ouest suédois.
Joe Kennaway
James « Joe » Kennaway, né le 25 janvier 1905 à Montréal (Canada), et mort le 7 mars 1969 à Johnston (États-Unis), était un joueur canadien de soccer, devenu écossais puis citoyen des États-Unis (en 1948), pays où il officiait comme entraîneur. Il évoluait au poste de gardien de but, au Celtic Glasgow notamment, où il est devenu l'une des légendes du club. Il a joué pour deux sélections nationales, celle de son pays natal, le Canada, et celle de son pays d'adoption, l'Écosse.

Johnston (Rhode Island)
Johnston est une ville américaine située dans le comté de Providence (Rhode Island). Fondée en 1636, la ville est incorporée en 1759.

Selon le recensement de 2010, Johnston compte 28 769 habitants. La municipalité s'étend sur 24,31 milles carrés (62,96 km2), dont 23,43 milles carrés (60,68 km2) de terres.
Chris Wakelin
Chris Wakelin, né le 16 mars 1992 à Rugby, dans le comté de Warwickshire, en Angleterre, est un joueur anglais professionnel de snooker. Sa carrière est principalement marquée par deux succès en tournois classés, lors du Snooker Shoot-Out 2023 et de l'Open d'Écosse 2025.

Rugby (Royaume-Uni)
Rugby est une ville du comté de Warwickshire en Angleterre centrale, sur la rivière Avon. Rugby a une population estimée à 62 790 habitants (2002). Avec la banlieue, le chiffre atteint 89 240.

Rugby est situé à 24 km à l'est de Coventry, sur la rive droite de Warwickshire, près des limites du Northamptonshire et du Leicestershire.

La ville est connue pour son Collège, où le rugby a été inventé dans les années 1820.
Media24
Media24 est une société d'imprimerie sud-africaine de journaux et de magazines appartenant au groupe de presse Naspers. Elle dirige également l'activité sur internet de sa filiale Media24 Digital, propriétaire de News24.com, le premier service d’informations en ligne d’Afrique du Sud.

Media24 est le plus important éditeur, imprimeur et distributeur de journaux d'Afrique. Il contribue à 35 % du total des revenus de Naspers et 20 % de ses bénéfices de l'année 2007.

Éditeur de presse
Un éditeur de presse, ou groupe de presse, est une entreprise (groupe de médias) qui possède et publie plusieurs journaux (quotidiens ou périodiques) de presse écrite ou de presse en ligne.
Le régime juridique de la presse, en France, a été réformé par la loi no 86-897 du 1 août 1986, modifiée par plusieurs lois ultérieures.
Biennale monégasque de cancérologie
La Biennale Monégasque de Cancérologie est un congrès qui se déroule tous les deux ans et qui organise des conférences et ateliers dans le domaine de l'oncologie, du traitement des cancers, de la radiothérapie, de la pneumologie, de l'hématologie, de la médecine générale, etc. pour les professionnels de la santé, les étudiants et les universitaires,.

Médecine générale
La médecine générale, ou médecine familiale, est une spécialité médicale prenant en charge le suivi durable, le bien-être et les soins de santé généraux primaires d'une communauté, sans se limiter à des groupes de maladies relevant d'un organe, d'un âge, ou d'un sexe particulier. Le médecin généraliste, aussi appelé médecin omnipraticien ou médecin de famille, est donc souvent consulté pour diagnostiquer les symptômes avant de traiter la maladie ou de référer le patient à un autre médecin spécialiste.

Dans la plupart des cas, le médecin traitant d'une personne est un médecin généraliste. Un exemple d'une exception serait un jeune qui a un pédiatre (médecin spécialiste) pour médecin traitant. Les médecins omnipraticiens, cependant, ont aussi toutes les compétences nécessaires pour les traiter de façon efficace.
Raphael E. Cuomo
Raphael E. Cuomo, Ph.D., né le 23 octobre 1988 à Los Angeles, est un scientifique biomédical américain et professeur associé à la faculté de médecine de l'Université de Californie à San Diego (UCSD). Il est connu pour ses applications de la biostatistique et de l'informatique de santé à divers défis de santé mondiale, en particulier l'épidémiologie du cancer et les disparités de santé liées au tabac,. Cuomo est membre de la Royal Society for Public Health et membre honoraire de la société Delta Omega. Il est certifié en santé publique par le National Board of Public Health Examiners (NBPHE).

Recherche médicale
La recherche médicale se divise en recherche fondamentale et clinique.

La recherche médicale fondamentale vise à mieux comprendre le corps humain et ses maladies.

La recherche médicale clinique se base sur les résultats de la recherche fondamentale pour inventer et prouver l’efficacité de nouveaux traitements,.
Hard edge
Hard edge painting désigne un mouvement artistique caractérisé par des œuvres peintes dans lesquelles les transitions sont brusques entre les zones de couleur. Les zones sont souvent d'une même couleur. Le style de peinture « Hard edge » est lié à l'abstraction géométrique, à l'Op Art, à l'abstraction post-picturale et à la Color Field painting.

Abstraction (art)
L'abstraction en art s'oppose aux représentations figuratives et narratives, elle résulte de formes expressives et non de formes représentatives. Au regard de l'histoire de l'art, de très anciennes cultures ont touché à l'abstraction, que ce soit en Inde ou chez les peuples amérindiens.

Le terme « abstraction » peut aussi renvoyer aux différents arts abstraits qui caractérisent l'art moderne à partir du début du XXe siècle.
Meeting de Tanger
Le Meeting de Tanger rebaptisé Meeting Moulay El Hassan, du nom du prince héritier du Royaume du Maroc, est un meeting international d'athlétisme qui a lieu une fois par an dans la ville de Tanger. Les trois premières éditions ont eu lieu au stade Marshan. En 2011, le meeting s'est déroulé dans le nouveau stade Ibn Batouta, d'une capacité de 45 000 spectateurs.

Aujourd'hui le Meeting Moulay El Hassan est classé second meilleur meeting d'athlétisme en Afrique et fait partie de la African Golden League du CAA.

Il est très prisé par les athlètes marocains qui ont une chance de se mesurer à des athlètes de renommée mondiale, dont Bernard Lagat, Dayron Robles, Hasna Benhassi.

L'édition 2011 a vu la participation de champions du monde en titre comme Michael Frater, recordman du relais 4 × 100m.

Dayron Robles
Dayron Robles Planes, né le 19 novembre 1986 à Guantánamo, est un athlète cubain, ancien détenteur du record du monde du 110 mètres haies en 12 s 87, établi le 12 juin 2008 lors du Meeting Golden Spike d'Ostrava. Il remporte le titre olympique de la discipline aux Jeux olympiques de Pékin 2008.
Kristian Hellström
Kristian Hellström (né le 24 juillet 1880 à Stockholm et mort le 14 juin 1946 dans cette même ville) est un athlète suédois, spécialiste des courses de demi-fond.

Il participe aux Jeux olympiques intercalaires de 1906 sur 800 mètres et 1 500 mètres puis à ceux de Londres en 1908 sur 800 mètres.

Demi-fond
Les courses de demi-fond sont des épreuves d'athlétisme d'une distance comprise entre 800 et 3 000 mètres. Plus longues que les sprints et plus courtes que les courses de fond, ces courses sont représentées par le 800 mètres, le 1 500 mètres et le 3000 mètres steeple aux Jeux olympiques et aux championnats du monde d'athlétisme.
Money, Money (roman)
Money, Money (Money: A Suicide Note) est un roman britannique de Martin Amis, publié le 27 septembre 1984 chez Jonathan Cape. En France, il est paru le 1er mai 1987 aux éditions Mazarine, traduit par Simone Hilling.

L'ouvrage suit John Self, un réalisateur de publicités dominé par l'obsession de l'argent, les excès et la consommation, entraîné dans un projet cinématographique transatlantique chaotique et dans une lente autodestruction. Souvent lu comme une satire de la société de consommation et du spectacle médiatique des années 1980, Money est aujourd'hui considéré comme l'un des livres majeurs de son auteur. En 2010, il a été classé par le magazine Time parmi les cent meilleurs romans en langue anglaise publiés depuis 1923.

Hédonisme
L’hédonisme (du grec ancien : ἡδονή / hēdonḗ, « plaisir » et du suffixe -ισμός / -ismós) est une doctrine philosophique attribuée à Aristippe de Cyrène selon laquelle la recherche de plaisirs et l'évitement de souffrances constituent le but de l'existence humaine.

L'hédonisme se différencie de l'eudémonisme, théorisé notamment par les Épicuriens et les Stoïciens, qui considèrent cette fois-ci la recherche du bonheur, plutôt que de plaisirs, comme but de la vie humaine. Les Épicuriens perçoivent ainsi les plaisirs, lorsqu'ils sont naturels et nécessaires, comme un intermédiaire permettant de l'atteindre. La doctrine épicurienne peut donc être perçue soit comme un eudémonisme, soit comme une forme d'« hédonisme raisonné ».
Daemyung Sangmu
Daemyung Sangmu est un club sud-coréen de hockey sur glace évoluant dans l'Asia League. Créé en 2012, ce club est composé uniquement de joueurs sud-coréens faisant leur service militaire. L'équipe évolue au Mok-Dong Ice Rink de Séoul.

Gimcheon Sangmu Football Club
Le Gimcheon Sangmu Football Club (en hangul: 김천 상무 프로축구단, et en hanja : 金泉 尚武 프로蹴球團), plus couramment abrégé en Gwangju Sangmu, est un club sud-coréen de football fondé en 1984 et basé dans la ville de Sangju.

Sangmu (상무) représentant le secteur sportif de l'armée sud-coréenne, le club est constitué de jeunes joueurs professionnels réalisant leur service militaire.
Ouled Hassoune
Ouled Hassoune (arabe : أولاد حسّون ; berbère : ⵓⵍⴰⴷ ⵃⴻⵙⵙⵓⵏ) est une commune rurale de la préfecture de Marrakech, appartenant à la région Marrakech-Safi. Elle ne dispose pas de centre urbain.

Le chef-lieu de la commune, Ouled Hassoune, également connu sous le nom de Oued Lahjar, est situé à environ 15 kilomètres à l'est de Marrakech, le long de la RN8, sur la rive droite de l'oued Ourika.

Marrakech-Safi
La région de Marrakech (en berbère atlasien : ⴰⵎⵓⵔ ⴰⴽⵓⵛ ; en arabe atlasien : مراكش) est l'une des 12 régions du Maroc instituées en 2015.

Située au centre du pays, cette région englobe notamment Marrakech, Essaouira, Safi, Chichaoua, Kelaâ Sraghna, Tahannaout et une partie du Haut Atlas.

Depuis septembre 2021, son président est Samir Goudar (سمير-كودار) .
Tournoi du Japon de rugby à sept 2000
Le Tournoi du Japon de rugby à sept 2000 (anglais : Japan rugby sevens 2000) est la 9e étape la saison 1999-2000 du IRB Sevens World Series. Elle se déroule les 01 et 2 avril 2000 au Chichibunomiya Stadium à Tokyo, au Japon.
La victoire finale revient à l'équipe des Fidji, battant en finale l'équipe de Nouvelle-Zélande sur le score de 27 à 22.

Chichibunomiya Rugby Stadium
Le Chichibunomiya Rugby Stadium (秩父宮ラグビー場, Chichibunomiya Ragubī-jō), également appelé Prince Chichibu Memorial Stadium, est un stade situé à Aoyama, un quartier au centre de Tokyo, capitale du Japon principalement consacré au rugby à XV et quartier général de la Japan Rugby Football Union.
Monts Brownsberg
Les monts Brownsberg (en anglais Brownsberg Mountains) sont un massif montagneux de l'Est du Suriname, qui culmine à environ 500 mètres d'altitude.

Le massif fait partie de la réserve naturelle Brownsberg Nature Park depuis 1969. Des milliers d'orpailleurs illégaux détruisent et polluent cependant la région.

Massif de montagnes
Un massif de montagnes, ou massif montagneux, est un ensemble de montagnes formant un bloc continu qui suit une ligne de crête, et s'oppose à une chaîne de montagnes. Il présente la particularité de former un ensemble de reliefs continus, séparé souvent par des rivières, des vallées, entourés d'abîmes ou des reliefs distincts,.