hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Méthode des tableaux
En théorie de la démonstration, les tableaux sémantiques sont une méthode de résolution du problème de la décision pour le calcul des propositions et les logiques apparentées, ainsi qu'une méthode de preuve pour la logique du premier ordre. La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques. C'est la méthode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut inventée par le logicien hollandais Evert Willem Beth.

Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie les conditions de vérité d'une proposition. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité :

Il est nécessaire qu'il pleuve ;

Demain, il pleut ;

Christophe Colomb croit qu'il pleut ;

Il est démontré qu'il pleut ;

Il est obligatoire qu'il pleuve.

Il existe toutes sortes de logiques modales comme les logiques temporelles, la logique épistémique (logique de connaissance). En informatique, la logique modale est utilisée pour son expressivité et les aspects algorithmiques. Par exemple, la logique temporelle est utilisée pour spécifier des programmes puis les vérifier.
David Choquehuanca
David Choquehuanca Céspedes, né le 7 mai 1961 à Huarina (département de La Paz), est un homme d'État bolivien, vice-président de l'État de 2020 à 2025, sous la présidence de Luis Arce.

Il est également ministre des Relations extérieures durant onze ans, de 2006 à 2017, lors de la présidence d'Evo Morales ainsi que secrétaire général de l'Alliance bolivarienne pour les Amériques de 2017 à 2019.

Département de La Paz (Bolivie)
Le département de La Paz est un département de l'ouest de la Bolivie. Sa capitale est la ville de La Paz qui est également la capitale administrative du pays. Le département est constitué par un décret du président Antonio José de Sucre le 23 janvier 1826. Les frontières du département sont dès lors bien définies et il est doté d'une administration.
Championnat de Colombie de football
Le Championnat de Colombie est une compétition sportive située au sommet de la hiérarchie du football en Colombie opposant les vingt meilleures équipes de Colombie. Il est lancé en 1948 par la División Mayor del Fútbol Profesional Colombiano  (Dimayor), une organisation complémentaire à la Fédération colombienne de football.

Depuis la première saison en 1948 le tournoi a donné (en incluant la saison 1989, suspendue avant son terme) lieu à la remise de 100 titres de champions en raison de l'organisation actuelle des tournois semestriels. La première compétition est remportée par Santa Fe.

Selon le classement 2017 de l'IFFHS, le championnat colombien constitue le 6e meilleur championnat du monde et le 2e en Amérique derrière le Championnat du Brésil. Historiquement, toujours selon l'IFFFHS il se situe au 3e rang des championnats d'Amérique du Sud derrière les championnats brésilien et argentin.

Fédération colombienne de football
La Fédération colombienne de football (Federación Colombiana de Fútbol (es) COLFUTBOL) est une association regroupant les clubs de football de la Colombie et organisant les compétitions nationales et les matchs internationaux de la sélection de Colombie.

La fédération nationale de la Colombie est fondée en 1924. Elle est affiliée à la FIFA depuis 1936 et est membre de la CONMEBOL depuis 1936.
Robert Bauer (mycologue)
Robert Bauer (20 mars 1950 - 8 septembre 2014) est un mycologue allemand, spécialisé dans les champignons phytoparasites provoquant les maladies fongiques de la rouille (Pucciniales) et des charbons (Ustilaginomycetes).

Maladie cryptogamique
Une maladie cryptogamique, ou maladie fongique, est une maladie causée à une plante par un champignon ou un autre organisme filamenteux (cas des Oomycetes) parasite. Lorsque c'est un animal qui est atteint, on parle plutôt de mycose. L'étude des champignons est la mycologie, et la mycologie végétale est une branche de la pathologie végétale.
Andri Silberschmidt
Andri Silberschmidt, né le 26 février 1994 à Zurich (originaire du même lieu), est une personnalité politique suisse (double national germano-suisse), membre du Parti libéral-radical.

Il est député du canton de Zurich au Conseil national depuis décembre 2019.

Canton de Zurich
Le canton de Zurich (ZH, en allemand : Kanton Zürich) est l'un des 26 cantons de la Suisse. Son chef-lieu est la ville de Zurich et les autres villes principales sont Winterthour, Uster et Dübendorf.

Zurich est le canton le plus peuplé de Suisse avec 1 520 968 habitants répartis sur 1 729 km2. La population est en majorité germanophone et protestante.
Tübinger Stift
Le Tübinger Stift  ou séminaire protestant de Tübingen, est un bâtiment de résidence et d'enseignement de l' Église protestante luthérienne en Wurtemberg, situé dans la ville universitaire de  Tübingen. Il fut fondé en 1536 par le duc Ulrich VI à l'intention des étudiants nés dans le Wurtemberg qui se destinaient à la prêtrise ou à l'enseignement.

Les étudiants y sont nourris et logés et bénéficient d'autres avantages. De tout temps, l'enseignement au Stift a mis l'accent sur la philosophie et la philologie. Un important courant théologique et exégétique protestant fondé par Ferdinand Christian Baur y naït, l'École de Tübingen. Plusieurs anciens élèves et tuteurs du Tübinger Stift sont des théologiens, philosophes et savants connus.

Ulrich VI de Wurtemberg
Ulrich VI de Wurtemberg (8 février 1487 à Riquewihr en Alsace - comté de Horbourg) – 6 novembre 1550 à Tübingen) succède à son oncle Eberhard VI de Wurtemberg comme duc de Wurtemberg et comte de Montbéliard en 1498. Il n'exerce ces charges qu'à partir de 1503, avec du reste plusieurs interruptions.
Voyager (album de Vitalic)
Voyager est le quatrième album studio de Vitalic, sorti le 20 janvier 2017.

L'album approche les genres disco et cold wave et son homogénéité tient à l'utilisation d'un synthétiseur Buchla sur l'ensemble des titres,.

Sweet Cigarette est un hommage au titre Warm Leatherette de The Normal et Don't Leave Me Now une reprise de Supertramp.

Pour Tsugi et Libération, c'est le meilleur album de Vitalic. En "étant moins centré sur le dancefloor [...], Voyager distille subtilement une belle somme de pépites flottantes dans une mélancolie électrique",. Les Inrocks juge cet album "mieux profilé" que le précédent sur lequel Vitalic "déroule une tonitruante odyssée rétrofuturiste, jalonnée de petits tubes galactiques". Il reçoit une note de 5.4/10 du site Pitchfork.

Supertramp
Supertramp est un groupe britannique de rock, formé à Londres en 1969, par Rick Davies et Roger Hodgson. Il réalise ses plus grosses ventes dans les années 1970, à partir de son troisième album, Crime of the Century.

Roger Hodgson a composé et chanté la majorité des succès tels que Dreamer, Give a Little Bit, The Logical Song, Breakfast in America et It's Raining Again. Rick Davies a également composé et chanté des titres célèbres comme Bloody Well Right, Goodbye Stranger, My Kind of Lady et Cannonball.

Cependant, à l'instar de Lennon/McCartney pour les Beatles, Roger Hodgson et Rick Davies sont crédités en collaboration pour toutes les chansons du groupe jusqu'au départ de Hodgson en 1983, chacun interprétant les chansons dont il est l'auteur.

Le groupe a vendu plus de 70 millions de disques dans le monde, notamment grâce à l'album Breakfast in America sorti en 1979 et vendu à plus de 20 millions d'exemplaires.
Yosemite Wilderness Center
La Yosemite Wilderness Center est un office de tourisme dans le comté de Mariposa, en Californie, dans le sud-ouest des États-Unis. Protégé au sein du parc national de Yosemite, il est géré par le National Park Service et présente en particulier la Yosemite Wilderness.

Le bâtiment a été construit en 1925 pour servir de studio photographique à Julius Boysen, qui dès 1898 avait déjà un point de vente dans le parc. Passé à sa veuve à sa mort en 1939, il est repris par la Yosemite Park and Curry Company et rouvert comme boutique de souvenirs le 26 août 1943. C'est une propriété contributrice au district historique de Yosemite Village depuis la création de ce district historique le 30 mars 1978. Il contribue également, sous le même nom de Pohono Indian Studio, au district dit « Yosemite Valley » depuis sa création le 14 décembre 2006.

Studio photographique
Un studio photographique est à la fois un lieu de travail et une entreprise, voire une raison sociale. Comme lieu de travail, il offre de l'espace pour prendre des photographies et parfois en assurer la postproduction.
Chamiló
Chamiló (grec moderne : Χαμηλό) est une localité située dans le dème de Péonie, dans le district régional de Kilkís, dans la periphérie de Macédoine-Centrale, en Grèce.

Selon le recensement de 2011, elle compte 117 habitants.

Péonie (dème)
Le dème de Péonie (en grec moderne : Δήμος Παιονίας) est un dème situé dans la périphérie de Macédoine-Centrale, en Grèce.

Il a été créé en 2010 dans le cadre du plan Kallikratis, par la fusion de quatre anciens dèmes et d'une communauté, devenus des districts municipaux. Son siège est la localité de Polykastro, sa « capitale historique » celle de Gouménissa.

Elle tient son nom de la région antique de Péonie. Une province moderne homonyme a fonctionné de 1913 à 1997 sur le territoire de quatre des districts actuels.
Amercœur
Amercœur est un quartier administratif de la ville de Liège, sur la rive droite de la Meuse, face à Outremeuse. Anciennement hors de la ville, le quartier est traversé par la nationale 3 menant à Herve et Aix-la-Chapelle.

Route nationale 3 (Belgique)
La route nationale 3 (abrégée N 3) est une route faisant partie du réseau des routes nationales belges et relie la capitale, Bruxelles passe par Louvain, Tirlemont, Saint-Trond et Liège jusqu'à la frontière allemande près d'Aix-la-Chapelle. Sur une grande partie de son parcours, elle est parallèle à l'autoroute A3 Bruxelles—Aix-la-Chapelle qu'elle coupe à trois reprises. Cette route traverse les trois régions belges (Région bruxelloise, Région flamande et Région wallonne) ainsi que les trois communautés de Belgique (française, flamande et germanophone).

Comme pour l'ensemble des routes nationales belges, ce sont dorénavant les Régions qui sont compétentes sur leurs territoires respectifs pour la gestion du réseau.
AbiWord
AbiWord est un logiciel de traitement de texte pour les plates-formes Unix  et BeOS lancé en 2002 et distribué sous licence GNU GPL v2.0.

AbiWord était à l'origine un produit de la société SourceGear Corporation, mais il a été entièrement confié à une équipe de développeurs volontaires.

Il y a plusieurs filtres d'import/export tels que le format RTF, le HTML, le format de MS Word (.DOC) et celui de LaTeX (le TEX) ainsi que le format OpenDocument (.odt) qui est un format ISO depuis 2006. Le format d'AbiWord utilise la norme XML (fichier .abw), comme l'OpenDocument ou les nouveaux formats de MS Office.

AbiWord dispose d'un plugin de connexion à Wikipédia.

Plus rapide et plus léger que ses homologues, eux aussi libres, OpenOffice.org Writer et LibreOffice Writer, ce traitement de texte est cependant moins complet. Abiword est l'un des rares logiciels permettant l'édition de documents textes en réseau, sans passer par internet, entre utilisateurs d'un même réseau local, depuis 2009.

Type Unix
Un système d'exploitation de type Unix (en anglais : Unix-like), parfois désigné par *nix ou UN*X, est un système d’exploitation qui se comporte comme un Unix, bien que n’étant pas nécessairement conforme ou certifié par une version de la Single UNIX Specification. Le terme regroupe les systèmes d’exploitations libres ou open source inspirés par l'Unix d'AT&T créée par Ken Thompson aux laboratoires Bell tels que les Unix de la famille BSD : OpenBSD, FreeBSD et NetBSD ou bien Linux et ses dérivés.

Une application de type Unix est une application qui a le même comportement qu'une commande Unix ou un shell dérivé du shell sh, comme bash, Zsh, ksh ou csh.
A650
Des autoroutes de plusieurs pays portent le code A650 :

Autoroute allemande A650 reliant Birkenheide à Ludwigshafen ;

Autoroute française A650, projet d'autoroute abandonné qui devait relier Pau à Oloron-Sainte-Marie.

Autoroute A650 (France)
L'autoroute A650 était un projet d'autoroute. Le projet, abandonné en 2008, devait relier Pau à Oloron-Sainte-Marie dans le département des Pyrénées-Atlantiques et la région Nouvelle-Aquitaine.

Du côté de Pau, l'autoroute devait se raccorder à l'A64 Bayonne - Toulouse à l'échangeur de Poey-de-Lescar et prolonger l'A65 Langon - Pau. À l'autre extrémité, elle devait se raccorder à la voie de contournement d'Oloron-Sainte-Marie. Après Oloron un réaménagement de la RN 134 en vallée d'Aspe devait compléter l'itinéraire jusqu'au tunnel du Somport. Plusieurs tronçons de cette route ont été réaménagés depuis 1996.

Son tracé concernait les communes de Lescar, Poey-de-Lescar, Artiguelouve, Arbus, Monein, Aubertin, Lacommande, Lasseube, Estialescq, Escout et Précilhon.
Peter Malinauskas
Peter Bryden Malinauskas , né le 14 août 1980 à Adélaïde, est un homme politique australien qui est le 47e Premier ministre d'Australie-Méridionale depuis 2022. Il est le chef du Parti travailliste d'Australie-Méridionale depuis 2018 et est le député de Croydon.

Élections parlementaires de 2022 en Australie-Méridionale
Les élections législatives de 2022 en Australie-Méridionale ont lieu le 19 mars 2022 afin de renouveler les 47 sièges de l'Assemblée et 11 des 22 sièges du Conseil législatif de cet État australien.

Le scrutin entraîne une alternance politique avec la victoire des travaillistes qui recueillent une majorité absolue au détriment des libéraux, au pouvoir depuis 2018.
Jean-Maurice Le Corbeiller
Jean-Maurice Le Corbeiller, né le 14 septembre 1859 à Bourg-la-Reine (Hauts-de-Seine) et mort le 10 mars 1936 à Paris, est un homme politique français.

Auteur dramatique de théâtre, rédacteur au journal des Débats de 1886 à 1892, il collabore aussi au Gaulois et au Figaro. Il entre en politique en 1899 au sein de la Ligue de la patrie française, où il donne de nombreuses conférences. Il est élu conseiller municipal de Paris en 1908, Président du Conseil municipal en 1920-1921, et député de la Seine de 1921 à 1936, inscrit à l'Entente républicaine démocratique, puis à la fédération républicaine.

En mai 1920, il est nommé membre du comité directeur de la Ligue des patriotes présidée par Maurice Barrès. Son fils, Philippe Le Corbeiller, a travaillé pour la Radiodiffusion Française.

Le Gaulois (France)
Le Gaulois est un journal quotidien littéraire et politique français fondé le 5 juillet 1868 par Henry de Pène et Edmond Tarbé des Sablons. Devenu la propriété du patron de presse Arthur Meyer, il est publié jusqu’en 1929 avant d’être fusionné avec Le Figaro, appartenant au milliardaire François Coty.
Laterna magika II
Laterna magika II est un court métrage documentaire tchécoslovaque réalisé par huit réalisateurs tchécoslovaques, sorti en 1958.

Le film a été conçu afin d'être présenté au pavillon tchécoslovaque lors de l'Exposition universelle de Bruxelles de 1958, connue sous le nom de 'Expo 58.

Exposition universelle de Bruxelles de 1958
L'Exposition universelle de 1958 ou Expo 58, officiellement Exposition universelle et internationale de Bruxelles, s'est tenue du 17 avril au 19 octobre 1958 sur le plateau du Heysel et attira près de 42 millions de visiteurs.

L’Expo 58 laisse un profond souvenir en Belgique. Elle est aussi le prétexte d'importants bouleversements et travaux dans la ville de Bruxelles dont les boulevards sont transformés en autoroutes urbaines. L'Atomium, construit pour l’occasion, est devenu l'une des images de marque incontournables de Bruxelles.
Base aérienne de Maaten al-Sarra
La base aérienne de Maaten al-Sarra est une base militaire située à l'extrême sud de la Libye, près de l'oasis de Maaten al-Sarra, dans le district de Kufra. C'est l'une des 13 bases aériennes militaires du pays.

Au cours de la phase finale du conflit tchado-libyen, Maaten al-Sarra est la principale base aérienne du sud de la Libye. Son aérodrome est dans les années 1980 doté de trois pistes modernes et d'un grand espace de parking pouvant accueillir plus de 100 avions de combat.

Al-Koufrah
Al-Koufrah (en arabe : الكفرة) est une des chabiyat (ou districts) libyennes.

Sa capitale est Al Jawf, mais son nom vient de la ville de Koufra. Lors du recensement de 2003, la municipalité comptait 51 433 habitants.

Une très grande raffinerie de pétrole se trouve près de la capitale.
Léo Fabrizio
Leo Fabrizio, né le 17 novembre 1976 à Moudon en (Suisse, est un artiste suisso-italien. Il vit et travaille à Lausanne.

Artiste contemporain et conférencier, sa pratique s'inscrit dans les arts visuels, avec un travail s'articulant autour de la photographie et la fabrication d'images.

Il revendique un travail visant à produire de la pensée et à soulever des questions d'ordre métaphysiques et philosophiques.

Moudon
Moudon (/mudɔ̃/ ) est une commune suisse du canton de Vaud, située dans le district de la Broye-Vully. D'origine celtique, c'est une ville romaine, puis savoyarde et bernoise. C'est le chef-lieu du district de Moudon entre 1798 et 2007. La commune est peuplée de 6 646 habitants en 2024. Son territoire, d'une surface de 1 571 hectares, est traversé par la Broye.
Brad Wilkerson
Stephen Bradley Wilkerson (né le 1er juin 1977 à Owensboro, Kentucky, États-Unis) est un ancien joueur de champ extérieur et joueur de premier but des Ligues majeures de baseball. Actif de 2001 à 2008, il s'est notamment aligné 5 saisons avec les Expos de Montréal.

Il a été médaillé d'or avec l'équipe des États-Unis de baseball lors du tournoi de baseball aux Jeux olympiques d'été de 2000 à Sydney.

Équipe des États-Unis de baseball
L'équipe des États-Unis de baseball représente les États-Unis lors des compétitions internationales, comme le Classique mondiale de baseball, les Jeux olympiques ou la Coupe du monde de baseball notamment.

La sélection américaine a remporté la médaille de bronze lors du tournoi de Baseball aux Jeux olympiques d'été de 2008 à Pékin.
Marusha
Marusha Aphrodite Gleiß, mieux connue sous le nom de Marusha, est une productrice et disc jockey allemande de musiques techno, happy hardcore, rave et eurodance, ayant atteint à plusieurs reprises les classements musicaux européens dans les années 1990.

Rave (musique)
Rave, ou musique rave (rave music), est un terme générique englobant tous les genres de musique électronique comme la house, la techno, ou la techno hardcore, joués lors de rave parties. Dans de très rares cas, le terme est utilisé pour désigner des genres musicaux moins électroniques incluant glam rock, power pop, rock psychédélique et dub.
Ollerton
Ollerton est un petit village du Nottinghamshire, en Angleterre, situé à l'orée de la forêt de Sherwood dans une zone appelée les Dukeries. Il forme une partie de la paroisse civile de Ollerton et Boughton, et appartient au district de Newark and Sherwood.

Nottinghamshire
Le Nottinghamshire /ˈnɒtɪŋəmʃə(ɹ)/ (quelquefois abrégé Notts en anglais) est un comté d'Angleterre situé dans les Midlands de l'est. Son chef-lieu traditionnel est Nottingham, une autorité unitaire qui n'est pas administrée par le comté. Le siège du comté (county council) est situé à West Bridgford dans le district (borough) de Rushcliffe, au sud de Nottingham, de l'autre côté de la Trent.
Pigádia (Imathie)
Pigádia (grec moderne : Πηγάδια) est une localité située dans le dème de Náoussa, dans le district régional d'Imathie, dans la periphérie de Macédoine-Centrale, en Grèce.

Selon le recensement de 2011, elle compte 0 habitants.

Imathie
L’Imathie (en grec moderne : Ημαθία), ou Émathie, est un district régional grec de la périphérie de Macédoine-Centrale. Avant 2010 et la réforme Kallikratis, l'Imathie avait le statut de nome avec la même étendue géographique.

Sa capitale est la ville de Véria, qui compte 43 158 habitants selon le recensement de la population de 2011.
Gyatsho Tshering
Gyatsho Tshering (1936, Sikkim - 25 juin 2009, Minneapolis), aussi écrit Gyatso Tsering, tibétain : རྒྱ་མཚོ་ཚེ་རིང, Wylie : rgya mtsho tshe ring, est l'ancien directeur de la Bibliothèque des archives et des œuvres tibétaines et un érudit tibétain de nationalité indienne.

Yeshi Donden
Yeshi Donden ou Yeshi Dhonden (tibétain : ཡེ་ཤེས་དོན་ལྡན, Wylie : ye shes don ldan), né le 15 mai 1927 à Namro, un village du Tibet central du district de Lhoga et mort le 26 novembre 2019 à McLeod Ganj, un quartier de Dharamsala en Inde, est un docteur en médecine tibétaine traditionnelle qui reçut le titre de médecin personnel du dalaï-lama.

Il fonde l'Institut de médecine et d'astrologie tibétaine à Dharamsala en 1961 et en est directeur jusqu'en 1966 avant de fonder dans la même ville une clinique privée en 1969.
Stefania Berton
Stefania Berton, née le 19 juillet 1990 à Asiago, est une patineuse artistique italienne. Avec son partenaire de couple Ondřej Hotárek avec lequel elle patine depuis 2009, elle est médaillée de bronze aux Championne d'Europe 2013, a gagné le Skate Canada 2013 et est quadruple championne d'Italie de 2010 à 2013. Berton/Hotarek est le premier couple italien médaillé européen et en Grand Prix. Leur partenariat s'achève en 2014.

Championnats d'Europe de patinage artistique 2013
Les championnats d'Europe de patinage artistique 2013 ont lieu du 21 au 27 janvier 2013 au Dom Sportova de Zagreb en Croatie. Pour la quatrième fois la capitale croate accueille les championnats européens de patinage après les éditions de 1974, 1979 et 2008.
Tournoi de tennis de Londres (dames 1968)
Le tournoi de Londres est un tournoi de tennis. L'édition féminine 1968, classée en catégorie Dewar Cup, se dispute du 21 au 23 novembre 1968.

Virginia Wade remporte le simple dames. En finale, elle bat Margaret Smith Court.

L'épreuve de double voit quant à elle s'imposer Margaret Smith Court et Pat Walkden.

Catégorisation des tournois de tennis
La catégorisation des tournois de tennis  réfère aux différentes classes de tournois de tennis professionnels féminins et masculins, classes caractérisées par leur nombre de participants, leur dotation et le nombre de points attribués aux compétiteurs en fonction de leur parcours.
Coupe d'Allemagne de football 1996-1997
La coupe d'Allemagne de football 1996-1997 est la cinquante quatrième édition de l'histoire de la compétition. La finale a lieu à l'Olympiastadion de Berlin.

Le VfB Stuttgart remporte le trophée pour la troisième fois de son histoire. Il bat en finale le Energie Cottbus sur le score de 2 buts à 0.

Stade olympique de Berlin
Le stade olympique de Berlin (en allemand : Olympiastadion Berlin) est un stade omnisports situé dans le quartier de Westend, au sein de l'arrondissement de Charlottenburg-Wilmersdorf, à Berlin en Allemagne.

En dehors de son utilisation olympique, le stade a une forte tradition footballistique et historique, après avoir accueilli les Jeux olympiques de 1936. C'est le domicile historique du Hertha BSC Berlin qui évolue dans le Championnat d'Allemagne de football de deuxième division (2. Bundesliga). Il a également été utilisé pour trois rencontres de la Coupe du monde de football de 1974 et a accueilli six matchs, dont la finale, de la Coupe du monde de football de 2006 et de l'Euro 2024. La finale de la Coupe d'Allemagne de football (DFB-Pokal) y a lieu chaque année.

Le stade a une capacité totale de 74 475 spectateurs et dispose de 133 suites de luxe ainsi que 4 413 sièges de classe affaires.