hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Louw Wepener
Lourens Jacobus (Louw) Wepener naît le 21 juillet 1812 à Graaff-Reinet. Son père, Frederick Jacobus Wepener, est un immigré allemand et sa mère, Johanna Maria Erasmus, est issue de la Colonie du Cap. Il vit auprès de son oncle, Lourens. Il est éduqué religieusement dans l'obédience de l'Église réformée hollandaise. Il se marie en premières noces avec Hester Susanna Nel, puis avec Hilletje Maria Levina Van Aardt. Il a neuf enfants avec sa seconde épouse.

Graaff-Reinet
Graaff-Reinet est la quatrième plus ancienne ville d'Afrique du Sud. Elle est située à 759 m d'altitude dans la province du Cap-Oriental, sur un axe entre George (Cap-Occidental) et Bloemfontein (État-Libre). Son surnom est le joyau du désert du Karoo.
Célosie
Celosia

Les célosies sont des plantes annuelles appartenant au genre Celosia de la famille des Amaranthaceae dont certaines espèces sont cultivées comme plantes ornementales pour leur floraison en épis spectaculaire, et parfois comme plantes potagères, pour leurs feuilles comestibles à la manière des épinards ou pour leurs graines. Certaines espèces sont des mauvaises herbes communes dans les champs cultivés.

Le groupe des Plumosa offre des fleurs en forme de plumeau alors que le groupe des Olympia présente des inflorescences en forme de crête ondulée, ce qui lui vaut le surnom de « crête de coq ». Au Mexique, elle est connue, en général, sous le nom de « Fleur de velours »[réf. nécessaire].

Amaranthaceae
Les Amaranthaceae (Amaranthacées) sont une famille de plantes dicotylédones de l'ordre des Caryophyllales. Cette famille comprend plus de 800 espèces réparties en environ 75 genres.
Ce sont des arbustes ou des plantes herbacées, des régions tempérées à tropicales, largement répandues.

La famille des Amaranthaceae est notamment représentée par le genre Amaranthus, les amarantes ou amaranthes, qui comprend des plantes ornementales (amarante queue-de-renard), des plantes cultivées (betteraves) ou qui sont des adventices indésirables dans les cultures, ainsi que par les salicornes, les épinards et les blettes (anciennement des Chenopodiaceae).
Athénée royal de Bruxelles
L’Athénée royal de Bruxelles était, jusqu'en 2002, un établissement d'enseignement secondaire situé au no 17 de la rue du Chêne à Bruxelles. Les bâtiments sont maintenant occupés par l'annexe « Chêne » du Conservatoire royal de Bruxelles.

Lismonde
Jules Lismonde (qui signait Lismonde) est un peintre et dessinateur belge, né à Anderlecht (Bruxelles) le 14 mai 1908, mort à Linkebeek 12 mars 2001 .

Il était membre de l'Académie royale des sciences, des lettres et des beaux-arts de Belgique, dite Académie Thérésienne.

Il est considéré comme l'un des plus remarquables représentants de l'art non figuratif en Belgique.
Sodome et Gomorrhe (pièce de théâtre)
Sodome et Gomorrhe est une pièce de théâtre en deux actes de Jean Giraudoux créée le 11 octobre 1943 au théâtre Hébertot dans une mise en scène de Georges Douking.

Elle tire son nom des villes détruites selon le récit biblique par la colère divine en raison des péchés de leurs habitants.

Christian Bérard
Christian Bérard, couramment surnommé « Bébé », est un peintre, illustrateur, scénographe, décorateur et créateur de costumes français, né le 20 août 1902  dans le 7e arrondissement de Paris, ville où il est mort le 12 février 1949  dans le 6e arrondissement,. Il connaît son heure de gloire entre les années 1930 et la fin des années 1940.
Apôtres de l'amour infini
Les Apôtres de l'amour infini est une Église catholique indépendante québécoise dirigée par Jean Grégoire (1928-2011) et Joseph Philippe Gaston Tremblay, dit Jean-Gaston Tremblay, pour l'état civil (Rimouski, Canada).

Michel Collin
Michel Auguste Marie Collin, né le 13 septembre 1905 à Béchy et mort le 23 juin 1974 à Clémery, est un prêtre français réduit à l'état laïc par l'Église catholique, qui s'est autoproclamé pape sous le nom de Clément XV.
Ramsay Crooks
Ramsay Crooks était un commerçant de fourrures américain originaire d'Écosse. Il émigra d'abord au Canada, puis fut embaucher par John Jacob Astor
pour le compte de la Pacific Fur Company. Il participa a l' expédition terrestre qui traversa le Nord-ouest américain avec Wilson Price Hunt pour rejoindre Astoria.

Expédition Astor
L’expédition Astor (1810 - 1812) est une expédition qui avait pour but d'explorer la région de l'embouchure du fleuve Columbia en vue d'y développer le commerce de la fourrure. L'expédition se déroule peu après la célèbre expédition Lewis et Clark qui revêtait plus un caractère scientifique.
Dany Verissimo-Petit
Dany Verissimo-Petit, ou simplement Dany Verissimo, est une actrice française, née le 27 juin 1982. Après avoir débuté dans le X en 2001 sous le pseudonyme d'Ally Mac Tyana, elle s'est orientée dès 2002 vers une carrière non pornographique au cinéma et à la télévision, en utilisant d'abord le nom de Ally Verissimo.

John B. Root
Jean Guilloré, dit John B. Root, est un réalisateur et producteur français de films pornographiques, né le 28 novembre 1958 à Chambéry. D'abord auteur de livres pour la jeunesse, il se lance en 1994 dans la pornographie, dont il devient l'un des noms les plus connus en France. Il est également l'un des premiers réalisateurs de X français à avoir misé sur l'Internet.

Signant aussi bien des gonzos que des films scénarisés « à l'ancienne », il se pose en défenseur de la pornographie en tant que forme d'expression artistique. Dans les années 2010, sa carrière décline en raison de la pornographie gratuite sur Internet.
Mike Krzyzewski
Michael William « Mike » Krzyzewski (prononcé cha-CHEF-ski), né le 13 février 1947 à Chicago, souvent surnommé Coach K est un entraîneur américain de basket-ball. Il est l'entraîneur mythique de l'équipe masculine des Blue Devils de Duke et l'entraîneur le plus victorieux du basket-ball universitaire américain.

Il est également désigné en 2005 sélectionneur de l'équipe des États-Unis, remportant une médaille de bronze lors du championnat du monde 2006, puis la médaille d'or lors de l'édition suivante en  2010 et 2014. Il remporte trois titres olympiques, lors des éditions de 2008, 2012 et 2016.

Championnat du monde masculin de basket-ball 2006
Le championnat du monde de basket-ball 2006 se déroulait au Japon du 19 août au 3 septembre 2006 et a vu la victoire de l'Espagne.

Pour la première fois, ce sont 24 équipes qui ont participé au Championnat du monde, au lieu de 16 lors des précédentes éditions.

Le Japon, pays organisateur, était qualifié d’office.
Giovanni Giuseppe d'Alessandro
Giovanni Giuseppe d’Alessandro (1656-1715), duc de Pescolanciano dans le Molise, noble d'origine napolitaine réputé pour son expertise dans les arts de la chevalerie, est l’auteur du traité d'équitation Pietra paragone dei cavalieri.

Pescolanciano
Pescolanciano est une commune italienne de la province d'Isernia dans la région Molise en Italie. Elle est située dans le Haut-Molise (Alto Molise), région essentiellement de montagne avec des villages situés au-dessus de 800 mètres d'altitude.
Aéroport de Châteauroux-Centre
L'aéroport de Châteauroux-Centre (code IATA : CHR • code OACI : LFLX), précédemment appelé « Châteauroux-Déols Marcel-Dassault », est l'aéroport de la commune française de Déols.

C'est un aéroport industriel, il est consacré principalement au fret aérien, à la maintenance aéronautique, à l’entraînement des pilotes ainsi qu'à la formation des pompiers d'aéroports.

Coings
Coings est une commune française située dans le département de l'Indre, en région Centre-Val de Loire.

Exposée à un climat océanique altéré, elle est drainée par la Ringoire et 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.

Coings est une commune rurale qui compte 915 habitants en 2023, après avoir connu une forte hausse de la population depuis 1968. Elle fait partie de l'aire d'attraction de Châteauroux.
Seyoum Mesfin
Seyoum Mesfin Gebre Dingle (en Ge'ez : ስዩም መስፍን ገብረ ድንግል), né le 25 janvier 1949 dans la province du Tigré en Éthiopie et mort le 13 janvier 2021, est un homme politique éthiopien, ministre des Affaires étrangères de mai 1991 à septembre 2010. À partir de cette date, il est ambassadeur d'Éthiopie à Pékin.

Ministère des Affaires étrangères (Éthiopie)
Le ministère des Affaires étrangères (amharique : የኢትዮጵያ የውጭ ጉዳይ ሚኒስቴር) est le ministère des Affaires étrangères du gouvernement de la république démocratique fédérale d’Éthiopie. Il est représenté par le ministère éthiopien supervisant la politique étrangère et les relations diplomatiques du pays. Le ministère comporte un ministre, deux ministres d'État, huit cabinets, treize directions générales et 42 missions diplomatiques à l'étranger.

Son représentant actuel est Gedion Timotheos.
Hôpitaux universitaires de Strasbourg
Les Hôpitaux universitaires de Strasbourg (HUS) représentent un ensemble de six sites hospitaliers répartis dans l'agglomération strasbourgeoise, avec 2 209 lits et 378 places.

Les HUS ont le statut de centre hospitalier régional et universitaire (CHRU) de l'ancienne région Alsace et sont son premier employeur, avec 11853 employés.

Le public accueilli dans les établissements des HUS provient à 84,4 % du Bas-Rhin, à 6,2 % de Moselle et pour 5,2 % du Haut-Rhin.

Illkirch-Graffenstaden
Illkirch-Graffenstaden (prononcé en français : /ilkiʁʃ gʁafœnʃtadœn/ ; en alsacien : Ìllkìrich-Gràffestàde) est une commune française du sud de Strasbourg appartenant à l’Eurométropole de Strasbourg située dans la circonscription administrative du Bas-Rhin et, depuis le 1er janvier 2021, dans le territoire de la collectivité européenne d'Alsace, en région Grand Est. Elle fait partie de la région culturelle et historique d'Alsace. Ses habitants se nomment les Illkirchois.

Les deux villages distincts Illkirch et Graf(f)enstaden ont fusionné lors de la Révolution française. Elle est accolée à Strasbourg (quartier de la Meinau), Ostwald ainsi qu’à Geispolsheim, et traversée par la rivière Ill. De nombreux endroits de la ville et de ses environs (Ostwald notamment) ont été exploités par des carrières, formant de nombreux lacs.
Maizières-lès-Metz
Maizières-lès-Metz est une commune française située dans le département de la Moselle et le pays messin en Lorraine. Elle est chef-lieu de canton et appartient à l'arrondissement de Metz.

Depuis le 1er janvier 2016, elle fait partie de la région administrative Grand Est.

Les habitants sont appelés Maizièrois et Maizièroises.

Bataille de Metz
La bataille de Metz opposa la 1re armée du général Knobelsdorff à la 3e armée du général Patton durant la Seconde Guerre mondiale.

Point d'orgue de la campagne de Lorraine, la « bataille de Metz » se déroula du 27 août au 13 décembre 1944, dans l'ouest mosellan, entre Thionville au nord et Pont-à-Mousson au sud. L’attaque de l'ancienne place forte du Reich par la IIIe armée américaine rencontra une forte résistance de la défense allemande, et se solda par de lourdes pertes de part et d'autre de la ligne de front. La ville fut prise le 22 novembre 1944, mais certains forts de Metz ne déposèrent les armes qu’en décembre 1944. La bataille se termina par la victoire des Alliés, et par la reddition des forces allemandes dans ce secteur du front.
Unification de l'Arabie saoudite
L'unification de l'Arabie saoudite est la période durant laquelle Ibn Séoud a conquis une grande partie des tribus et émirats de la péninsule arabique entre 1902 et 1932. À cette date est proclamé le royaume d'Arabie saoudite, quatrième incarnation du troisième État saoudien (à la suite de l'émirat du Nedjd et du Hassa, du sultanat du Nedjd et du royaume du Nedjd et du Hedjaz), et de l'émirat de Dariya (1744–1818) et l'émirat du Nedjd (1824–1891) ayant été respectivement le premier et le deuxième État.

Nejd
Le Nejd, Nedjed, ou Najd (en arabe : نجد), est la région centrale de l'Arabie saoudite et de la péninsule Arabique, couvrant, aujourd'hui,  les provinces de Riyad, Al Qasim et Haïl.

Étymologiquement, najd signifie « haut plateau » en arabe.
Voïvodie de Poznań
La voïvodie de Poznań (en polonais województwo poznańskie) était une unité de division administrative et un gouvernement local de Pologne entre 1946 et 1998. Auparavant, une voïvodie de Poznań avait existé de 1921 à 1939 (à l'époque de la Deuxième République polonaise), et une région homonyme avait également existé avant le deuxième partage de la Pologne de 1793.

Elle fut remplacée en 1999 par la voïvodie de Grande-Pologne, à la suite d'une loi de 1998 réorganisant le découpage administratif du pays.

Sa capitale était la ville de Poznań.

Luboń
Luboń (prononciation : [ˈlubɔɲ], en allemand : Luban) est une ville de la Voïvodie de Grande-Pologne et du powiat de Poznań.

Elle est située à environ 7 kilomètres au sud du centre de Poznań, siège du powiat et capitale de la voïvodie de Grande-Pologne.
La ville constitue elle-même une gmina.

Elle s'étend sur 13,51 km2 et comptait 31 941 habitants en 2016.
Unique Rr 51 Police
L'Unique Rr 51 est un pistolet de défense. C'est une version améliorée de l'Unique Modèle R17. Fabriqué par la MAPF de 1952 à 1998, il tire le 7,65 Browning. Il fut vendu à plus de 100 000 exemplaires à la Police nationale française armant encore en 2007 les adjoints de sécurité. Il fut en dotation dans quelques polices municipales en France (dont celle de Tours, avant son remplacement par des revolvers Manurhin MR 88 utilisés avec munitions de .38 Special). Il fut exporté en RFA et en Afrique.

7,65 × 17 mm Browning
La cartouche 7,65 × 17 mm Browning ou .32 ACP ou encore .32 Auto, conçue par John M. Browning, a initialement été fabriquée par la FN Herstal dès 1899. Cette munition adaptée aux pistolets semi-automatiques de petit et moyen gabarit a été très largement distribuée tant aux États-Unis qu’en Europe.
Wendy Rene
Mary Frierson, dite Wendy Rene (ou Wendy Storm au début de sa carrière), est une chanteuse américaine de musique soul, née à Memphis en 1947 et morte le 16 décembre 2014 à l'âge de 67 ans.

Elle débute avec le quatuor The Drapels avant d'entamer une carrière solo. Elle est surtout connue pour avoir enregistré After Laughter (Comes Tears) en 1964. Wendy Rene est redécouverte grâce à cette chanson au cours des années 1990 et 2000.

Stax Records
Stax Records est un label discographique américain, basé à Memphis, Tennessee. Créée sous le nom de Satellite Records à Memphis en 1958 par Jim Stewart et sa sœur, Estelle Axton, Stax est devenue dans les années 1960 une des maisons de production les plus importantes de la musique soul (la Motown sera sa principale concurrente), avant de fermer ses portes en 1975. Stax a repris ses activités en 2007, sur l'initiative du label Concord.
Buddy Bell
David Gus « Buddy » Bell (né le 27 août 1951 à Pittsburgh, Pennsylvanie, États-Unis) est un joueur américain de baseball. Il fut joueur des Ligues majeures de baseball de 1972 à 1998.

De 1979 à 1984, il gagne 6 fois de suite le Gant doré du meilleur joueur de troisième but défensif de la Ligue américaine, reçoit en 1984 le Bâton d'argent du meilleur troisième but offensif, et honore cinq sélections aux matchs des étoiles (1973, 1980, 1981, 1982, 1984). Il connaît ses meilleures saisons et remporte la plupart de ses distinctions chez les Rangers du Texas de 1979 à 1985, mais il évolue aussi pour les Indians de Cleveland de 1972 à 1978, les Reds de Cincinnati de 1985 à 1988, les Astros de Houston en 1988, avant de terminer sa carrière chez les Rangers en 1989.

Devenu manager, il dirige les Tigers de Détroit de 1996 à 1998, les Rockies du Colorado de 2000 à 2002, et les Royals de Kansas City de 2005 à 2007.

Rockies du Colorado
Les Rockies du Colorado (Colorado Rockies en anglais) sont une franchise de baseball des Ligues majeures de baseball située à Denver, Colorado. Ils évoluent dans la division Ouest de la Ligue nationale.
Veille juridique
La veille juridique est une veille spécialisée dans le domaine du droit. Elle intègre naturellement la veille législative, réglementaire, jurisprudentielle et/ou doctrinale.

En France, l'Association des professionnels de l'information et de la documentation (ADBS) définit le premier terme : « Le veilleur-documentaliste alimente les décideurs d'une entreprise en informations sélectionnées et traitées en vue de les alerter sur l'évolution de l'environnement (technique, concurrentiel, économique, réglementaire, etc.) de l'entreprise et de les aider dans leurs prises de décision »

Cette veille est désormais déployée en mode numérique avec le développement de legaltechs et autre « Regtechs ».

Sécurité juridique
La sécurité juridique est un principe juridique qui a pour objectif de protéger les citoyens contre les effets secondaires négatifs du droit, en particulier les incohérences ou la complexité des lois et règlements, ou leurs changements trop fréquents (insécurité juridique).

Ce principe peut lui-même se décliner en plusieurs exigences. La loi doit être :

compréhensible ;

prévisible ;

normative ;

et porter sur le domaine de compétence du législateur.

De plus, la loi (en tant que règle de droit) doit également être générale, obligatoire, et coercitive.

La sécurité juridique découle du droit naturel de sûreté, et doit donc être traitée au niveau du droit constitutionnel. Dominique Rousseau illustre cette idée en soutenant que « La sécurité juridique, c'est la Déclaration des droits de l'Homme ». C'est l'un des aspects de la sécurité.

En quelques années seulement, la sécurité juridique est devenue un principe éminent de l'État de droit.
Étienne Pascal
Étienne Pascal (3 mai 1588 à Clermont, aujourd'hui Clermont-Ferrand - 24 septembre 1651 à Paris) est un gentilhomme français.

Conseiller du roi pour l'élection de Basse-Auvergne, puis second président à la Cour des aides de Montferrand et enfin, après une période de disgrâce, premier président à la Cour des aides de Normandie, il fut un membre actif de l'académie du Père Mersenne.

Il est le père du philosophe et mathématicien Blaise Pascal.

Gilles Personne de Roberval
Gilles Personne de Roberval, aussi appelé Gilles Personier de Roberval, est un mathématicien et physicien français, né le 9 août 1602 à Noël-Saint-Martin (Oise), et mort le 27 octobre 1675 à Paris.

Il est réputé en son temps pour son caractère entier et querelleur. Il est l'inventeur de la balance à deux fléaux dite « balance Roberval ».
José de Villamil
Jose de Villamil ou José Villamil (1789-1866) était un des pères de l'indépendance de l'Équateur, fondateur de sa Marine et conquérant des îles Galapagos pour le compte de l'Équateur, ministre des affaires étrangères.

Jose de Villamil est le frère de Felipe Martin de Villamil (1783-1843).

Playas
Playas (connue officiellement sous le nom de General Villamil Playas) est une ville et une station balnéaire de la province du Guayas, en Équateur. Elle est aussi le chef-lieu du canton de Playas, créé en 1989. Sa population s'élevait à 24 070 habitants en 2001.
Patriarcat arménien de Jérusalem
Le patriarcat arménien de Jérusalem ou Siège apostolique de saint Jacques à Jérusalem (en arménien Առաքելական Աթոռ Սրբոց Յակովբեանց Յերուսաղեմ) est une juridiction autonome de l'Église apostolique arménienne en Terre sainte. Le « Patriarche arménien du trône apostolique de saint Jacques de Jérusalem » réside au monastère Saint-Jacques dans le quartier arménien de la vieille ville de Jérusalem ; le titulaire actuel est Nourhan Ier depuis le 24 janvier 2013.

Patriarche (christianisme)
Le titre de patriarche est donné dans certaines Églises chrétiennes, dont l'Église catholique romaine, les Églises orthodoxes et les Églises orientales. L'autorité suprême d'une Église autonome est souvent désignée sous le titre de patriarche. Certaines Églises orientales utilisent aussi le titre de catholicos. Le terme provient du grec ancien πατριάρχης / patriárkhês, « chef de famille ».

Dans l'Église catholique, les patriarcats couvraient l'Empire romain, alors que les catholicos désignaient leur équivalent dans des territoires hors de l'Empire, telles par exemple l'Arménie ou la Chaldée (située à l'intérieur de l'actuel Irak). On parle aussi de « patriarche mineur ».
Péninsule de Minahasa
La péninsule de Minahasa est la partie nord-est de l'île indonésienne de Célèbes, et la plus longue des quatre péninsules qui constituent cette île à la forme caractéristique. Elle est bordée au nord par la mer de Célèbes et au sud par le golfe de Tomini et la mer des Moluques.

Elle est nommée d'après les Minahasa, nom que se donne un ensemble de populations habitant l'extrémité orientale de la péninsule.

Minahasa
Minahasa est le nom sous lequel se désigne un ensemble de populations de la province indonésienne de Sulawesi du Nord dans l'île de Célèbes qui parlent des langues distinctes. Se reconnaissent comme Minahasa les neuf groupes suivants :

Babontehu,

Bantik,

Pasan, Ratahan ou Tounpakewa,

Ponosakan,

Tonsea,

Tontemboan,

Toulour ou Tondano,

Tonsawang et

Tombulu.
Calvaro V
Calvaro V est un cheval hongre de robe grise inscrit au stud-book du Holsteiner, monté en concours de saut d'obstacles par le cavalier suisse Willi Melliger. Il est réputé pour sa très grande taille, puisqu'il toise 1,85 m au garrot. Né en Allemagne en 1986, il est mort le 30 septembre 2003 à Neuendorf en Suisse.

Robe grise du cheval
La robe grise du cheval, ou plus exactement le grisonnement du cheval est, dans le domaine de l'hippologie, caractérisé par la décoloration progressive de la robe, généralement foncée, avec laquelle il est né. Le cheval gris naît de couleur foncée et s'éclaircit au fil des années, jusqu'à devenir presque complètement blanc. La quasi-totalité des chevaux gris ont le poil clair, la peau et les yeux très foncés. Il existe plusieurs races de chevaux sélectionnés sur la robe grise, comme le Camarguais et le Lipizzan. La robe, fréquente chez le cheval, est souvent confondue avec le blanc qui lui, est très rare.
Palladium (salle de bal)
Le Palladium était une immense salle de bal de deux étages à New York aux États-Unis, pouvant accueillir environ deux mille personnes. Elle était située à l'angle de Broadway et de la 53e rue dans Manhattan.

Tito Puente
Tito Puente (de son vrai nom Ernesto Antonio Puente Jr.) (né à New York le 20 avril 1923 et mort à New York le 1er juin 2000) est un musicien portoricain très populaire et prolifique (plus de cent albums) de musique latine. Il est surnommé « El Rey Del Timbal » (le roi des timbales).
Beyond (série télévisée)
Beyond est une série télévisée américaine en vingt épisodes de 42 minutes, créée par Adam Nussdorf et diffusée entre le 2 janvier 2017 et le 22 mars 2018 sur Freeform et en simultané au Canada sur ABC Spark.

En France, en Belgique et en Suisse, la série est diffusée sur Syfy France à partir du 27 février 2018. Elle reste inédite dans les autres pays francophones.

Syfy (France)
Syfy (anciennement Sci Fi et maintenant stylisé SYFY) est une chaîne de télévision dédiée à la science-fiction et au cinéma fantastique. C'est la déclinaison française de la chaîne américaine du même nom.
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le 14 janvier 1901 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du XXe siècle, fondateur de la théorie des modèles et de la sémantique formelle.

Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.

Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité.