hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Théorème AF+BG
En mathématiques, le théorème AF+BG est un résultat de géométrie algébrique établi par Max Noether, qui décrit sous quelles conditions l'équation d'une courbe algébrique du plan projectif complexe peut s'écrire en termes des équations de deux autres courbes algébriques.

Ce théorème est un analogue, pour les polynômes homogènes, de l'identité de Bézout, laquelle assure qu'un entier relatif h s'écrit comme somme de multiples de deux autres entiers f et g si et seulement si h est un multiple du PGCD de f et g. La condition AF+BG exprime, en termes de diviseurs (ensembles de points, avec multiplicités), une condition similaire sous laquelle un polynôme homogène H peut s'écrire comme somme de deux multiples polynomiaux de deux autres polynômes homogènes F et G.

Géométrie algébrique
La géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces…) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche. Les besoins théoriques ont contraint les mathématiciens à introduire des objets plus généraux dont l'étude a eu des applications bien au-delà de la simple géométrie algébrique ; en théorie des nombres par exemple, cela a conduit à une preuve du grand théorème de Fermat.

Cette branche des mathématiques n'a désormais plus grand-chose à voir avec la géométrie analytique dont elle est en partie issue.
Radar météorologique ARMOR
ARMOR (pour Advanced Radar for Meteorological and Operational Research) est un radar météorologique exploité en collaboration entre l'université de l'Alabama à Huntsville et la station de télévision WHNT-TV. Ce radar Doppler de recherche à double polarisation est à la fine pointe de la technologie dans le domaine.

Réflectivité
La réflectivité est la proportion d'énergie électromagnétique réfléchie à la surface d'un matériau ayant une épaisseur telle que ce facteur de réflexion ne change pas en augmentant son épaisseur. La réflectivité d'une surface peut varier en fonction de la longueur des ondes qui la frappent. Cette grandeur s'exprime généralement en décibel ou pourcentage.

Ce concept est très utilisé en physique, chimie, télécommunications et en radar pour mesurer le signal retourné par des objets se trouvant sur le trajet des ondes. Elle est un cas particulier de la réflectance (qui sert surtout à étudier le rapport entre lumière incidente et réfléchie).
Félicien Bonnemain
Félicien (Irénée, Edmond) Bonnemain, né le 20 octobre 1920 à Besançon et mort exécuté le 7 septembre 1944 à Calmoutier, est un ouvrier agricole et résistant français.

Ouvrier agricole ayant rejoint les FFI, il est sommairement exécuté alors qu’il récupère des munitions sur la route de Noroy-le-Bourg. Reconnu mort pour la France et déporté-interné résistant, il reçoit la médaille de la Résistance (décret du 2 septembre 1959,) et est inscrit à Notre-Dame de la Libération, aux monuments aux morts 1939-1945 de Besançon et de Lure, ainsi qu'au Mémorial de la Résistance de Vesoul,.

Déporté résistant
Le terme de déporté résistant se rapporte aux résistants à l'occupation durant la Seconde Guerre mondiale qui, en raison de leurs actes, ont été déportés ou emprisonnés hors du territoire français ou dans des territoires français mais exclusivement administrés par l'ennemi.
BL Lacertae
BL Lacertae ou BL Lac est le noyau actif d'une galaxie située dans la direction de la constellation boréale du Lézard. Il s'agit d'un blazar comprenant un quasar. Il est l'éponyme d'une classe d'objets : les objets BL Lacertae.

Radiosource
En astrophysique, une radiosource, ou source radio, est un objet céleste qui émet des ondes radio en continu et qui est perceptible au moyen d'un radiotélescope. Objets d'étude de la radioastronomie, les principales radiosources sont les quasars, les pulsars, les radiogalaxies, les rémanents de supernova et les centres galactiques.
Barroselas e Carvoeiro
Barroselas e Carvoeiro est une paroisse civile portugaise (en portugais : freguesia) de la municipalité de Viana do Castelo, dans le district de Viana do Castelo.

Son nom officiel est União das freguesias de Barroselas e Carvoeiro. Elle est créée par la loi no 11-A/2013 du 28 janvier 2013 portant réorganisation administrative du territoire des freguesias, en fusionnant Barroselas et Carvoeiro. Son siège est à Barroselas.

Lors du recensement de 2021, Barroselas e Carvoeiro compte 4 701 habitants.

Viana do Castelo
Viana do Castelo est une municipalité (en portugais : concelho ou município) du Portugal, située dans le district de Viana do Castelo et la région Nord du Minho.

C'est une ville réputée pour la pratique du surf.
Karolewo (Lubusz)
Karolewo (prononciation : [karɔˈlɛvɔ]) est un village polonais de la gmina de Międzyrzecz dans le powiat de Międzyrzecz de la voïvodie de Lubusz dans l'ouest de la Pologne.

Il se situe à environ 7 kilomètres à l'est de Międzyrzecz (siège de la gmina et de le powiat), 45 kilomètres au sud-est de Gorzów Wielkopolski (capitale de la voïvodie) et 56 kilomètres au nord de Zielona Góra (siège de la diétine régionale).

Le village comptait approximativement une population de 16 habitants en 2006.

Powiat de Międzyrzecz
Le powiat de Międzyrzecz (en polonais : Powiat międzyrzecki) est un powiat de la voïvodie de Lubusz, dans l'ouest de la Pologne.

Il est né le 1er janvier 1999, à la suite des réformes polonaises de gouvernement local passées en 1998.

Le siège administratif du powiat est la ville de Międzyrzecz, qui se trouve à 48 km au sud-est de Gorzów Wielkopolski (capitale de la voïvodie) et à 67 kilomètres au nord de Zielona Góra (siège de la diétine régionale). Il y a deux autres villes dans le powiat qui sont Skwierzyna, à 19 kilomètres au nord de Międzyrzecz et Trzciel, à 25 kilomètres au sud-est de Międzyrzecz.

Le district a une superficie de 1 387,83 kilomètres carrés. En 2014, il compte 58 609 habitants, dont 18 487 à Międzyrzecz, 9 851 à  Skwierzyna, 2 481 à  Trzciel et 27 790 dans la partie rurale.
Budy Kraszewskie
Budy Kraszewskie (prononciation : [ˈbudɨ kraˈʂɛfskʲɛ]) est un village polonais de la gmina de Płońsk dans le powiat de Płońsk de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 5 kilomètres au nord-ouest de Raciąż (siège de la gmina), 29 km au nord-ouest de Płońsk (siège du powiat) et à 92 km au nord-ouest de Varsovie (capitale de la Pologne).

Powiat de Płońsk
Le powiat de Płońsk (polonais : powiat płoński) est un powiat (district) de la voïvodie de Mazovie, dans le centre-est de la Pologne.

Elle est née le 1er janvier 1999, à la suite des réformes polonaises de gouvernement local passées en 1998.

Le siège administratif du powiat est la ville de Płońsk et qui se trouve à 63 kilomètres au nord-ouest de Varsovie, capitale de la Pologne. Il y a une autre ville dans le powiat : Raciąż, située à 25 kilomètres au nord-ouest de Płońsk.

Le district couvre une superficie de 1 383,67 kilomètres carrés. En 2006, sa population totale est de 87 430 habitants, avec une population pour la ville de Płońsk de 22 233 habitants, pour la ville de Raciąż de 4 752 habitants et une population rurale de 60 445 habitants.
Siegfried Bernfeld
Siegfried Bernfeld, né le 7 mai 1892, à Lemberg, royaume de Galicie et de Lodomérie, et mort le 2 avril 1953, à San Francisco, est un pédagogue et un psychanalyste autrichien. Il est notamment un pionnier de l'éducation nouvelle.

Freudo-marxisme
Le freudo-marxisme désigne des mouvements, écoles, penseurs, psychanalystes ou philosophes qui ont rapproché théoriquement le marxisme et la psychanalyse ; « les conditions socio-économiques et leurs interrelations avec la psychanalyse », puis les implications réciproques — politiques, sociales — de ces deux mouvements.
Emotion Engine
L'Emotion Engine est le processeur principal de la PlayStation 2. Il est basé sur un cœur MIPS R5900i, un processeur 64 bits (techniquement, l’Emotion Engine n’est pas un processeur 128 bits proprement dit). Il s'agit d’un microprocesseur VLSI produit en collaboration par Sony Computer Entertainment et Toshiba dès 1999 pour la console PlayStation 2.

Microprocesseur multi-cœur
Un microprocesseur multi-cœur (multi-core en anglais) est un microprocesseur possédant plusieurs cœurs physiques fonctionnant simultanément. Il se distingue d'architectures plus anciennes (360/91) où un processeur unique commandait plusieurs circuits de calcul simultanés.

Un cœur (en anglais, core) est un ensemble de circuits capables d’exécuter des programmes de façon autonome. Toutes les fonctionnalités nécessaires à l’exécution d'un programme sont présentes dans ces cœurs : compteur ordinal, registres, unités de calcul, etc. Il peut exister plusieurs niveaux de mémoires cache, certaines à l'intérieur de chaque cœur, d'autre partagées entre certains, ou tous les cœurs.
Plants vs. Zombies: Garden Warfare 2
Plants vs Zombies Garden Warfare 2 est un jeu de tir à la troisième personne hero shooter possédant un mode de jeu tower defense développé par PopCap Games et édité par Electronic Arts, sorti en février 2016 sur Microsoft Windows, PlayStation 4 et Xbox One. Il fait suite à Plants vs. Zombies: Garden Warfare.

Tower defense
Le tower defense (souvent abrégée en TD) est un type de jeu vidéo où l’objectif est de défendre une zone contre des vagues successives d’ennemis se déplaçant suivant un itinéraire ou non, en construisant et en améliorant progressivement des tours défensives.

Ce type de jeu peut être retrouvé sous forme d'un jeu à part entière, notamment sur Internet sous forme de jeux en Flash, ou joué sous forme de carte personnalisée (ou de petit mod) pour un jeu de stratégie en temps réel, comme Warcraft III ou StarCraft. Des adaptations de tower defense en jeux de société ont également été développées, comme Bad bones, et grâce au financement participatif, comme Tower Defense ou Epic Dice.
Sita chante le blues
Sita chante le blues (Sita Sings the Blues) est un film d'animation américain réalisé en 2005 par Nina Paley et sorti en 2008. Il assemble récits de légende indienne (le Râmâyana), interludes musicaux et scènes de la propre vie de l'auteur.

Il est distribué sous une licence libre CC0, permettant la libre distribution, la copie et la modification,. Nina Paley renforce cette licence en interdisant explicitement l'usage de système Digital Restrictions Management (DRM).

Vâlmîki
Vālmīki (sanskrit ; devanāgarī : वाल्मीकि ; qui signifie « Fils de la termitière ») est un poète indien légendaire et auteur selon la tradition du Rāmāyaṇa, racontant l'épopée du prince Rāma parti à la recherche de Sītā. Cette œuvre monumentale composée de pas moins de vingt-quatre mille strophes de quatre vers est l'un des joyaux de la littérature indienne antique, avec le Mahābhārata. Mais on date ce poème seulement du début de l'ère chrétienne ; son attribution à Valmiki provient d'éléments internes au texte (plus précisément d'une partie récente où le poète apparaît comme personnage). La tradition attribue à Valmiki l'invention du mètre épique (śloka). Il est surnommé « Adi kavi », le « Premier poète ».
Organe de réserve
Un organe de réserve est une partie de plante permettant spécifiquement à celle-ci de stocker de l'énergie (généralement sous la forme de glucides) ou de l'eau. Les organes de stockage sont souvent des organes souterrains, qui sont mieux protégés que les parties aériennes des attaques des animaux herbivores. Dans la classification de Raunkier (selon les types biologiques), les plantes qui ont des organes de réserve souterrains portent le nom de géophytes.

Classification de Raunkier
La classification de Raunkier (ou système de Raunkier) est une classification par type biologique proposée en 1904 et affinée les années suivantes par le botaniste danois Christen Raunkiær afin d’organiser tous les végétaux selon le positionnement des organes de survie (et donc de leur méristèmes de croissance) de la plante durant la période défavorable.
Nicolás Franco (homme politique)
Nicolás Franco Bahamonde (Ferrol, La Corogne, 1er juillet 1891 - Madrid, 15 avril 1977) est un militaire et homme politique espagnol, participant au soulèvement militaire contre la Seconde République qui a donné lieu à la guerre civile espagnole. Il était le frère aîné de Ramón Franco, Pilar Franco Bahamonde, María de la Paz Franco Bahamonde et Francisco Franco, qui a dirigé la dictature.

Ramón Franco
Ramón Franco y Bahamonde Salgado Pardo de Andrade, né en 1896 à Ferrol (Galice) en Espagne, mort en 1938, est le frère cadet du général Franco. Aviateur célèbre et populaire, il est en 1926 le protagoniste d'un chapitre particulièrement marquant de l'aviation espagnole, en effectuant la traversée de l'Atlantique Sud à bord de l'hydravion « Plus Ultra ».
Maurice Adevah-Pœuf
Maurice Adevah-Pœuf, né le 27 mars 1943 à Larodde (Puy-de-Dôme) et mort le 10 mai 2021 dans le 5e arrondissement de Paris, est un homme politique français.

Élu maire de Thiers de 1977 à 2001, il est élu dans la 5e circonscription du Puy-de-Dôme à quatre reprises face à René Barnérias dans un premier temps puis face à Jean-Marc Chartoire. Parallèlement à ces mandats, il remporte le canton de Thiers à deux reprises et préside à sa création le parc naturel régional Livradois-Forez dont il est un des membres fondateurs.

Blason de Thiers
Le blason de Thiers est le blason historique de la ville française de Thiers. Il est composé, voguant sur une mer, d'un navire trois-mâts qui symbolise la puissance du commerce thiernois. Un premier blason était celui des seigneurs de la baronnie, un autre, au XVIIe siècle, rappelait les barques utilisées pour transporter les multiples marchandises provenant de la région thiernoise sur la Durolle et sur la Dore,.
Al-Ma'ida
La Table

Al-Ma’ida (arabe : سُورَةُ ٱلْمَائِدَةِ, Sūratu-l-Mā'idah, « La Table » ou « La Table servie ») est le nom traditionnellement donné à la 5e sourate du Coran, le livre sacré de l'islam. Elle comporte 120 versets. Rédigée en arabe comme l'ensemble de l'œuvre religieuse, elle fut proclamée, selon la tradition musulmane, durant la période médinoise.

Prophètes de l'islam
Dans l'islam, les prophètes (ou nabi ; en arabe : نَبِی, nabī ; en hébreu : נביא, nâbîy ; en grec ancien : προφήτης, prophḗtēs) sont des hommes chargés de transmettre le message de l'unicité divine et d'un monothéisme adamique pur. Le premier des prophètes de l'islam est chronologiquement Adam, et le dernier est Mahomet, d'où son titre de « sceau des prophètes » (Coran, sourate XXXIII, verset 40).

L'islam a intégré les prophètes bibliques ainsi que d'autres personnalités comme Alexandre le Grand. Néanmoins, la prophétologie coranique se distingue de la prophétologie biblique, et elle a été influencée par des mouvements comme le manichéisme.

Les prophètes occupent une place importante dans l'islam, place qui évolue avec le temps. Le dogme de l'impeccabilité des prophètes, ceux-ci étant censés ne jamais avoir péché, se développe ainsi à partir du IXe siècle, en contradiction avec le texte coranique même qui évoque de tels péchés.
Fand
Dans la mythologie celtique irlandaise, la reine Fand, dont le nom signifie « hirondelle », apparaît principalement dans le récit Serglige ConCulaind qui narre la maladie de Cúchulainn et la jalousie d’Emer.

Mythologie celtique irlandaise
Alors que la civilisation celtique a essaimé dans une grande partie de l’Europe, c’est en Irlande et en Gaule que l'on trouve la plus importante documentation sur la mythologie celtique irlandaise. Les sources irlandaises sont essentiellement littéraires, rédigées à une époque tardive et lacunaires.
Comté de Chinchilla
Le comté de Chinchilla était une zone d'administration locale dans le sud-est du Queensland en Australie.

Le comté comprenait les villes de :

Chinchilla ;

Brigalow ;

Kogan.

L'économie de la région est basée sur l'agriculture : élevage de bœufs, de porcs et de moutons (laine) ; horticulture.

Le 15 mars 2008, il a été fusionné avec la ville de Dalby, les comtés de Murilla, de Tara et de Wambo ainsi que d'une partie du comté de Taroom pour former la région de Dalby.

Comté de Taroom
Le comté de Taroom était une zone d'administration locale dans le sud-est du Queensland en Australie.

Le comté comprenait les villes de :

Taroom ;

Guluguba ;

Wandoan.

le 15 mars 2008, il a été partagé en 2, la plus grande partie étant rattachée au comté de Banana, le reste à la région de Dalby.
Konopki (Mazovie)
Konopki (prononciation : [kɔˈnɔpki]) est un village polonais de la gmina de Stupsk dans le powiat de Mława de la voïvodie de Mazovie dans le centre-est de la Pologne.

Le village compte approximativement une population de 705 habitants en 2006.

Powiat de Mława
Le powiat de Mława (polonais : powiat mławski) est un powiat (district) de la voïvodie de Mazovie, dans le centre-est de la Pologne.

Elle est née le 1er janvier 1999, à la suite des réformes polonaises de gouvernement local passées en 1998.

Le siège administratif du powiat est la ville de Mława, seule ville du powiat, qui se trouve à 109 kilomètres à l'est de Varsovie, capitale de la Pologne.

Le district couvre une superficie de 1 182,3 kilomètres carrés. En 2006, sa population totale est de 73 355 habitants, avec une population pour la ville de Mława de 29 702 habitants et une population rurale de 43 653 habitants.
Siège d'Urgun
Le siège d'Urgun est un siège de la guerre d'Afghanistan qui dura d'août 1983 au 16 janvier 1984 où les moudjahidines essayent de prendre la ville défendue par l'armée régulière de la République démocratique d'Afghanistan, mais en dépit des progrès initiaux ils sont finalement repoussés et le siège est levé.

Les moudjahidines utilisent des chars T-55 capturés afin de tenter de prendre la ville mais les avions soviétiques et afghans bombardent sans relâche leurs positions, les forçant à se replier dans les montagnes. Le 16 janvier, une colonne de l'armée afghane reprend finalement le contrôle d'Urgun. Environ 600 moudjahidines auraient été tués lors de la bataille.

République démocratique d'Afghanistan
La république démocratique d'Afghanistan est le nom porté de 1978 à 1987 par l'Afghanistan, alors dirigé par le gouvernement communiste du Parti démocratique populaire d'Afghanistan (PDPA). Elle succède à la république d'Afghanistan (1973-1978) de Daoud Khan et débute par une révolution communiste suivie de répressions et d'une guerre civile qui dure jusqu'à l'effondrement du régime en 1992 et la victoire des moudjahidines. Jusqu'en 1989, le régime est dépendant de l'Union soviétique économiquement comme militairement.

De 1987 à 1992, le régime porte le nom de république d'Afghanistan.
Rüştü Reçber
Rüştü Reçber, né le 10 mai 1973 à Antalya, est un footballeur international turc. Il joue au poste de gardien de but.

Il est le joueur le plus capé de l'histoire de la sélection turque avec 120 sélections, devant Hakan Şükür. Il est considéré comme le meilleur gardien de but de l'histoire du football turc.

Coupe de Turquie de football
La Türk Kupasi est une compétition de football organisée par la Fédération de Turquie de football depuis 1963.

Elle prend d'abord le nom de Coupe de Turquie, avant d'être renommée Coupe de la Fédération lors de l'exercice 1980-1981 puis Coupe de Turquie Fortis en 2005-2006 . Après l'achat pour les saisons 2009-2010 et 2010-2011 des droits de retransmission de ses matchs par la chaîne de télévision nationale TRT, elle devient la Coupe de Turquie Ziraat, Ziraat étant l'une des banques nationales du pays.

Depuis 1963, quinze équipes différentes l'ont remportée. Le club le plus titré est le Galatasaray SK avec dix-neuf victoires.
Tournoi de tennis de Kitzbühel (ATP 2003)
L'édition 2003 du tournoi de tennis de Kitzbühel se déroule du 21 au 27 juillet sur terre battue en extérieur. Elle appartient à la catégorie ATP International Series Gold. Guillermo Coria remporte l'épreuve en simple, Martin Damm et Cyril Suk celle en double.

Saison 2003 de l'ATP
Cet article rassemble les résultats des tournois de tennis masculin de la saison 2003. Celle-ci est constituée de 69 tournois répartis en plusieurs catégories :

64 organisés par l'ATP :
les Tennis Masters Series, au nombre de 9 ;
les International Series Gold, au nombre de 9 :
les International Series, au nombre de 44 ;
la Tennis Masters Cup qui réunit les huit meilleurs joueurs et paires au classement ATP Race en fin de saison ;
la World Team Cup (compétition par équipes).

5 organisés par l'ITF :
les 4 tournois du Grand Chelem ;
la Coupe Davis (compétition par équipes).

La Hopman Cup est une compétition mixte (par équipes), elle est organisée par l'ITF.
Makówiec Mały
Makówiec Mały (prononciation : [maˈkuvjɛt͡s ˈmawɨ]) est un village polonais de la gmina de Dobre dans le powiat de Mińsk de la voïvodie de Mazovie dans le centre-est de la Pologne.

Il se situe à environ 6 kilomètres à l'est de Dobre (siège de la gmina), 22 kilomètres au nord-est de Mińsk Mazowiecki (siège du powiat) et à 53 kilomètres à l'est de Varsovie (capitale de la Pologne).

Powiat de Mińsk
Le powiat de Mińsk (polonais : powiat miński) est un powiat (district) de la voïvodie de Mazovie, dans le centre-est de la Pologne.

Elle est née le 1er janvier 1999, à la suite des réformes polonaises de gouvernement local passées en 1998.

Le siège administratif du powiat est la ville de Mińsk Mazowiecki, qui se trouve à 39 kilomètres à l'est de Varsovie, capitale de la Pologne. Il y a trois autres villes dans le powiat : Sulejówek à 21 kilomètres à l'ouest de Mińsk Mazowiecki, Halinów à 16 kilomètres à l'ouest de Mińsk Mazowiecki, et Kałuszyn à 17 kilomètres à l'est de Mińsk Mazowiecki.

Le district couvre une superficie de 1 164,35 kilomètres carrés. En 2006, sa population totale est de 141 048 habitants, avec une population pour la ville de Mińsk Mazowiecki de 37 808 habitants, pour la ville de Sulejówek de 18 676 habitants, pour la ville de Halinów de 3 369 habitants, pour la ville de Kałuszyn de 2 905 habitants et une population rurale de 78 290 habitants.
Żdżarka
Żdżarka (prononciation [ˈʐd͡ʐarka]) est une localité de la gmina de Hańsk, du powiat de Włodawa, dans la voïvodie de Lublin, située dans l'est de la Pologne.

Elle se situe à environ 8 kilomètres au nord de Hańsk (siège de la gmina), 14 kilomètres au sud-ouest de Włodawa (siège du powiat) et 64 kilomètres à l'est de Lublin (capitale de la voïvodie).

Hańsk (gmina)
Hańsk est une gmina rurale (gmina wiejska) du powiat de Włodawa, dans la Voïvodie de Lublin, dans l'est de la Pologne.

Son siège administratif (chef-lieu) est le village de Hańsk, qui se situe environ 20 kilomètres (km) au sud-ouest de Włodawa (siège du powiat) et 61 kilomètres à l'est de la capitale régionale Lublin (siège de la voïvodie).

La gmina couvre une superficie de 179,43 km2 pour une population de 3 954 habitants en 2006.
Abduction (logique)
L'abduction (du latin « abductio » : emmener) est un type de raisonnement consistant à inférer des causes probables à un fait observé. Autrement dit, il s'agit d'établir une cause la plus vraisemblable d'un fait constaté et d'affirmer, à titre d'hypothèse de travail, que le fait en question résulte probablement de cette cause.
Par exemple, en médecine, l’abduction est utilisée pour faire des diagnostics.

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é.