hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Nonthaburi Challenger I 2023 - Doppio
Chung Yun-seong e Ajeet Rai erano i detentori del titolo ma hanno scelto di non partecipare a questa edizione del torneo.

In finale Marek Gengel e Adam Pavlásek hanno sconfitto Robert Galloway e Hans Hach Verdugo con il punteggio di 7–6(4), 6–4.

Adam Pavlásek
Adam Pavlásek (Bílovec, 8 ottobre 1994) è un tennista ceco.
Dopo aver vinto diversi tornei dei circuiti minori sia in singolare che in doppio, dal 2022 si è dedicato a giocare esclusivamente in doppio e ha raggiunto quattro finali nel circuito maggiore, di cui due in tornei Masters 1000. Alle Olimpiadi di Parigi 2024 ha perso la finale per la medaglia di bronzo contro la coppia statunitense formata da Taylor Fritz e Tommy Paul.

I suoi migliori ranking ATP sono stati il 72º in singolare nel gennaio 2017 e il 29º in doppio nel novembre 2024. Ha fatto il suo esordio nella squadra ceca di Coppa Davis nel 2015. Tra gli juniores ha disputato due finali in doppio nelle prove del Grande Slam e ha raggiunto la 7ª posizione nel ranking mondiale di categoria.
Washington Bullets 1991-1992
La stagione 1991-92 dei Washington Bullets fu la 31ª nella NBA per la franchigia.

I Washington Bullets arrivarono sesti nella Atlantic Division della Eastern Conference con un record di 25-57, non qualificandosi per i play-off.

National Basketball Association 1991-1992
La stagione della National Basketball Association 1991-1992 fu la 46ª edizione del campionato NBA. La stagione si concluse con la vittoria dei Chicago Bulls, che sconfissero i Portland Trail Blazers per 4-2 nelle finali NBA.
Emel'jan Michajlovič Jaroslavskij
Emel'jan Michajlovič Jaroslavskij, in russo Емелья́н Миха́йлович Яросла́вский?, nato Minej Izrailevič Gubel'man (Čita, 1878 – Mosca, 1943), è stato un rivoluzionario, politico e storico russo e sovietico.

Rivoluzione
Il termine rivoluzione (dal latino revolutio, -onis, "rivolgimento, ritorno", derivato dal verbo revolvĕre "rovesciare") nel suo significato più ampio indica qualsiasi cambiamento radicale nelle strutture sociali come quello operato ad esempio dalla rivoluzione industriale, da quella tecnologica o in particolare da quella culturale come auspicavano gli illuministi nel secolo XVIII con la redazione dell'Encyclopédie:

Nella filosofia politica è l'ideale della realizzazione storica di un radicale cambiamento, ispirato da motivazioni ideologiche, nella forma di governo di un paese con trasformazioni profonde di tutta la struttura sociale, economica.
Saga di Sant'Olaf
Con il nome Saga di Sant'Olaf si indicano diverse saghe dei re che parlano tutte di re Óláfr Haraldsson di Norvegia:

la Saga Antica di Sant'Olaf, composta intorno al 1190 ed ora perduta;

la Saga Leggendaria di Sant'Olaf, composta intorno al 1210;

l'Óláfs saga helga ("Saga di Sant'Olaf"), composta da Styrmir Kárason intorno al 1220 ed ora per la maggior parte perduta;

la Saga Separata di Sant'Olaf, composta da Snorri Sturluson intorno al 1225.

L'Olaf di queste saghe non deve essere confuso con un altro re di Norvegia, Óláfr Tryggvason, a cui sono dedicate altre saghe (due Óláfs saga Tryggvasonar, una di Oddr Snorrason e una di Gunnlaugr Leifsson, e un'Óláfs saga Tryggvasonar en mesta).

Saga Leggendaria di Sant'Olaf
La Saga Leggendaria di Sant'Olaf (norreno Helgisaga Óláfs konungs Haraldssonar, letteralmente "Saga di re Óláfr Haraldsson il Santo") è una saga dei re, una biografia del re dell'XI secolo sant'Olaf Haraldsson. È molto basata sulla per gran parte perduta Saga Antica di Sant'Olaf. La composizione è rozza e primitiva e la saga consiste essenzialmente in una serie di aneddoti separati tratti dalla poesia scaldica. L'anonimo autore potrebbe essere stato un norvegese e la saga si è preservata in un unico manoscritto norvegese della metà del XIII secolo; si pensa che sia stata composta all'inizio del XIII secolo, intorno al 1210. Si ritiene che Snorri Sturluson abbia usato un'opera simile alla Saga Leggendaria di Sant'Olaf quando compose la sua Saga Separata di Sant'Olaf e la sua Heimskringla.
Geopelia humeralis
La tortora spallebarrate o tortora omerale (Geopelia humeralis Temminck, 1821) è un uccello appartenente alla famiglia dei Columbidi, originario dell'Australia e della Nuova Guinea Meridionale. Geopelia humeralis è protetta dal National Parks and Wildlife Act 1974.

Nuova Guinea
La Nuova Guinea è un'isola situata nell'Oceano Pacifico; è parte dell'Oceania ed è prossima all'arcipelago malese. Seconda isola per estensione al mondo (785753 km²) dopo la Groenlandia, è divisa politicamente sul 141º meridiano est, tra lo stato della Papua Nuova Guinea e le province di Papua e Papua Occidentale parte dell'Indonesia, che dal 2022 sono suddivise in 6 province.
Anastasija Sedova
Anastasija Nikolaevna Sedova, accreditata come Anastasia Sedova dalla FIS (in russo Анастасия Николаевна Седова?; Sarov, 4 febbraio 1995), è una fondista russa.
In seguito al matrimonio ha assunto il cognome del coniuge e si è iscritta alle liste FIS come Anastasija Kulešova (Anastasia Kuleshova).

Sarov (Russia)
Sarov (in russo Саров?) è una città chiusa della Russia europea centro-orientale, nell'oblast' di Nižnij Novgorod. Era conosciuta come Arzamas-16 (Арзама́с-16) dal 1946 al 1991, mentre fino al 1995 era nominata Kremlëv (Кремлёв). La città era chiusa perché era il centro russo per la ricerca nucleare. Popolazione: 92.047 (Census 2010).

La storia della città può essere divisa in due periodi. Prima della Rivoluzione era una dei luoghi santi della Chiesa Ortodossa a causa del suo monastero, dove visse Serafino di Sarov. Poi, dagli anni quaranta del XX sec., divenne il centro di ricerca e produzione per le armi nucleari prima sovietiche e poi russe.
Lázaro Barbosa de Sousa
Lázaro Barbosa de Sousa, conosciuto come serial killer del DF (Barra do Mendes, 27 agosto 1988 – Águas Lindas de Goiás, 28 giugno 2021), è stato un serial killer brasiliano, noto per aver ucciso i quattro componenti di una famiglia nella cittadina di Ceilândia ed essere stato oggetto di una caccia che è durata venti giorni prima di essere ucciso dalla polizia..

Distretto Federale (Brasile)
Il Distretto Federale (in portoghese Distrito Federal) è la più piccola delle 27 unità federative del Brasile e l'unica a non comprendere comuni. Collocato nella regione del Centro-Ovest, è suddiviso in 35 regioni amministrative ed ospita la capitale federale Brasilia.
Tatra 87
La Tatra 87 (citata anche T87 o Tipo 87) è una grande autovettura di lusso a motore posteriore, prodotta dalla casa automobilistica cecoslovacca Tatra dal 1936 al 1950.

È una continuazione della serie di berline Tatra aerodinamiche iniziata dalla Tatra 77.

Lusso
Il lusso è l'abitudine a consumi di elevata gamma qualitativa e costo. È uno stile di vita e di comportamento che privilegia l'acquisto e/o il consumo di prodotti e oggetti, spesso superflui, destinati ad esempio ad ornare il proprio corpo o la propria abitazione.
Guillaume d'Estouteville
Guillaume d'Estouteville (pronuncia: de.tut.'vil) italianizzato in Guglielmo Tuttavilla (Estouteville-Écalles, 1403 – Roma, 22 gennaio 1483) è stato un cardinale, arcivescovo cattolico e abate francese.

Di origini francesi, nacque a Estouteville-Écalles o, secondo altre fonti, a Valmont, tra il 1403 e il 1412 in una delle famiglie più possidenti della Normandia. Era imparentato con Guglielmo di Estouteville I, vescovo di Évreux, poi di Auxerre ed infine di Lisieux, con il quale non deve essere confuso.

È il capostipite della più antica linea episcopale conosciuta della Chiesa cattolica.

Diocesi di Évreux
La diocesi di Évreux (in latino Dioecesis Ebroicensis) è una sede della Chiesa cattolica in Francia suffraganea dell'arcidiocesi di Rouen. Nel 2023 contava 344.160 battezzati su 599.668 abitanti. È retta dal vescovo Olivier de Cagny.
Campionato sudamericano maschile under 19 di pallavolo 2018
Il campionato sudamericano maschile under 19 di pallavolo 2018 si è svolto dal 24 al 28 settembre 2018 a Sopó, in Colombia: al torneo hanno partecipato otto squadre nazionali under 19 sudamericane e la vittoria finale è andata per la diciassettesima volta al Brasile.

Sopó
Sopó è un comune della Colombia facente parte del dipartimento di Cundinamarca, situato 39 chilometri a nord della capitale Bogotà, facente parte della provincia Sabana Centro, cui capitale è la vicina città di Zipaquira.

Il centro abitato venne fondato da Francisco Chacón nel 1653. Sopò in lingua muisca vuol dire Pietra o Colle Forte.
New South Wales Open 1976 - Singolare femminile
Il singolare femminile del torneo di tennis New South Wales Open 1976, facente parte del WTA Tour 1976, ha avuto come vincitrice Kerry Melville Reid che ha battuto in finale Dianne Fromholtz con il punteggio di 3–6, 6–2, 6–3.

WTA Tour 1976
Il WTA Tour 1976 è iniziato il 12 gennaio con il Virginia Slims of Houston e si è concluso il 1º gennaio 1977 con la finale del New South Wales Open.

Nel 1976 indipendentemente dai tornei del Grande Slam organizzati dall'ITF, la stagione dei tornei della WTA era divisa in 2 circuiti:

Da gennaio a metà aprile: le Virginia Slims Series disputate esclusivamente negli Stati Uniti che si concludeva con il Masters disputato dalle migliori giocatrici che avevano accumulato più punti in questa parte della stagione. Contemporaneamente si giocavano le Futures Series che comprendevano i tornei con montepremi di 10.000 $.

Da metà aprile a novembre: le Colgate Series disputate nei Paesi di tutto il resto del mondo.

Un certo numero di tornei non appartenevano a nessuno di questi due circuiti.
Fratelli Mitchell
I Mitchell Brothers erano i fratelli James Lloyd Mitchell, detto Jim (Stockton, 30 novembre 1943 – Petaluma, 12 luglio 2007), e Artie Jay Mitchell (Lodi, 17 dicembre 1945 – Contea di Marin, 27 febbraio 1991). Furono pionieri nel campo della pornografia e dei locali di striptease a San Francisco e in altre zone della California dal 1969 al 1991, quando Jim venne arrestato per aver accidentalmente ucciso Artie.

Contea di Marin
La contea di Marin, in inglese Marin County, è una contea dello Stato della California, negli Stati Uniti d'America. La popolazione al censimento del 2014 era di 260 750 abitanti. Il capoluogo di contea è San Rafael.
Proofs from THE BOOK
Proofs from THE BOOK è un manuale di eleganti dimostrazioni di celebri teoremi della matematica, scritto da Martin Aigner e Günter M. Ziegler e pubblicato nel 1998. Le illustrazioni del libro sono di  Karl H. Hofmann. Il testo è stato tradotto in almeno tredici lingue diverse.

Il titolo si riferisce all'idea di Paul Erdős (alla cui memoria il libro è dedicato) dell'esistenza di un "Libro" divino in cui sono contenute le migliori e le più eleganti dimostrazioni; il libro si propone di presentare e spiegare alcune dimostrazioni ritenute talmente belle da dover far parte del Libro. Lo stesso Erdős diede diversi suggerimenti, ma morì prima della pubblicazione. Alcuni teoremi sono presenti con diverse dimostrazioni e con alcuni risultati collegati.

Mathematical Association of America
La Mathematical Association of America (Associazione matematica americana, in acronimo: MAA) è una società che si focalizza sulla matematica a livello superiore. I suoi membri includono insegnanti dell'università, dei college, e dell'high school; studenti; matematici; informatici; statistici; e altri provenienti da accademie, governi, business, e industrie. La sede principale si trova all'indirizzo 1529 18th Street, Northwest, Washington, D.C..
The Iron Saint
The Iron Saint, conosciuto originariamente come Iron and the Maiden, è il primo comic book della Aspen Comics ad essere pubblicato indipendentemente. È stato creato da Jason Rubin, co-fondatore della Naughty Dog. La serie è stata pubblicata a settembre del 2007. Una storia autoconclusiva (one-shot in inglese) sotto il titolo di Brutes, Bims and the City è stata pubblicata a febbraio del 2008. Il tascabile è stato pubblicato dalla Top Cow Productions a settembre del 2010.

One-shot (fumetto)
Nel settore dell'editoria a fumetti, un one-shot è una storia autoconclusiva composta da un ridotto numero di pagine, impostata dunque come racconto breve e che quindi non prevede nessuna continuazione.
Tempio di Artemide
Tempio di Artemide (Efeso), ad Efeso, una delle sette meraviglie del mondo

Tempio di Artemide Leucofriene, nella città di Magnesia al Meandro nella Caria, in Asia Minore

Tempio di Artemide (Sardi), nell'antica capitale del regno di Lidia, in Asia Minore

Tempio di Artemide (Corfù), Grecia

Tempio di Artemide (Siracusa), Sicilia

Tempio di Artemide (Gerasa), Gerasa in Giordania.

Tempio di Artemide ad Epidauro

Tempio di Artemide Leucofriene
Il tempio di Artemide Leucofriene era un tempio greco ellenistico eretto alla fine del III secolo a.C. nella città di Magnesia al Meandro, in Asia Minore. Era consacrato ad Artemide Leucofriene (Leukophryene, ovvero "dalle sopracciglia bianche") ed era di ordine ionico, con otto colonne in facciata e quindici colonne sui lati.

Secondo Vitruvio, l'architetto Ermogene vi avrebbe impiegato per la prima volta la pianta pseudodiptera. Fu oggetto di un trattato scritto dallo stesso Ermogene che ebbe grande fortuna e l'edificio divenne dunque un modello per i templi ionici.
Historypin
Historypin è un archivio digitale di foto storiche e ricordi personali fatto dagli utenti. Gli utenti sono in grado di utilizzare il luogo e la data dei loro contenuti per "appuntarli" (ingl. to pin) su Google Maps. Se Google Street View è disponibile, gli utenti possono sovrapporre fotografie storiche e confrontarle in contemporanea con la posizione. (Street Viewed Photo) Archiviato il 17 luglio 2011 in Internet Archive. Il contenuto può essere aggiunto ed esplorato in rete tramite una serie di applicazioni per telefoni intelligenti.

Google Maps
Google Maps è un servizio internet geografico sviluppato da Google che consente la ricerca e la visualizzazione di carte geografiche di buona parte della Terra. Accessibile da sito web, o da app mobile, impiega mappe ottenute con una variante della proiezione di Mercatore.

Oltre a questo è possibile cercare servizi in particolari luoghi, tra cui ristoranti, monumenti e negozi. Inoltre si può visualizzare un possibile percorso stradale tra due punti, oltre a foto satellitari di molte zone con diversi gradi di dettaglio (per le zone che sono state coperte dal servizio si riescono a distinguere in molti casi le case, i giardini, le strade e così via). Le foto sono statiche (non in tempo reale). Google Maps offre anche una ricerca di attività commerciali sulle stesse mappe.
Bruno Bérard
Bruno Bérard (Nancy, 28 ottobre 1958) è un saggista, pensatore e metafisico francese.

Ha conseguito un dottorato di ricerca all’École Pratique des Hautes Études specializzandosi in “Religioni e sistemi di pensiero”; da molti anni si dedica allo studio della metafisica e della mistica cristiana nonché della presentazione e diffusione del pensiero di Jean Borella.

Nancy
Nancy (AFI: /nɑ̃ˈsi/; Nanciacum in latino medievale, Nanzig in tedesco arcaico, Nanzeg in lussemburghese) è un comune francese di 104 403 abitanti (420.000 nell'area urbana) capoluogo del dipartimento della Meurthe e Mosella nella regione Grand Est.
Anjoma betoho
Anjoma betoho è una città e comune del Madagascar situata nel distretto di Manjakandriana, regione di Analamanga. La popolazione del comune rilevata nel censimento 2001 era pari a 3 164 unità.

L'istruzione primaria e secondaria sono disponibili in città. L'agricoltura è la principale occupazione della popolazione, arrivandoa ad occupare il 97% dei censiti, un ulteriore 2% riceve il proprio sostentamento dall'allevamento del bestiame. Le colture principali sono il riso e l'arachide bambara, meno diffusi, ma sempre importanti, sono la manioca e le patate dolci. Nel settore terziario troviamo occupato il restante 1% della popolazione.

Distretto di Manjakandriana
Il distretto di Manjakandriana è un distretto del Madagascar situato nella regione di Analamanga. Ha per capoluogo la città di Manjakandriana.La popolazione del distretto è di 193 440 abitanti (censimento 2011).
Meus Prêmios Nick all'artista televisiva
Il Meus Prêmios Nick all'artista televisiva (Artista de TV feminina) è un premio assegnato annualmente ai Meus Prêmios Nick all'attrice televisiva preferita dai telespettatori del canale Nickelodeon Brasile.

Nella prima edizione del 2000 la categoria ha assunto il nome di "Miglior attrice" (Melhor atriz) e dal 2001 al 2014 "Attrice preferita" (Atriz favorita). Dopo essere stata cancellata per l'edizione successiva, la categoria ritorna nel 2019 con l'attuale denominazione.

Cobras & Lagartos
Cobras & Lagartos è una telenovela brasiliana in 179 episodi prodotta da TV Globo che l'ha trasmessa per la prima volta dal 24 aprile al 18 novembre 2006. Ideata e scritta da João Emanuel Carneiro, è diretta da Wolf Maya. Risulta inedita in Italia.

Il cast comprende, tra gli altri, Mariana Ximenes, Daniel de Olivera, Carmo Dalla Vecchia, Cléo Pires, Taís Araújo e Lázaro Ramos, che per quest'interpretazione ha vinto il premio Emmy nel 2007.
Stazione di Jining Sud
La stazione di Jining Sud (in cinese 集宁南站, Jíníng-nán Zhàn) è una stazione ferroviaria località di diramazione delle linee per Tongliao, Pechino, Zhangjiakou, Baotou e Erenhot a servizio della città di Ulaan Chab.

Zhangjiakou
Zhangjiakou (cinese tradizionale: 张家口; cinese semplificato: 张家口; pinyin: Zhāng kǒu Jia, nota anche con diversi altri nomi) è una città-prefettura nella provincia di Hebei nel Nord della Cina. Ha una popolazione di 4,3 milioni di abitanti, e copre 36947 chilometri quadrati.
Arnie Robinson
Clarence Earl Robinson Jr., detto Arnie (San Diego, 7 aprile 1948 – San Diego, 1º dicembre 2020), è stato un lunghista statunitense, medaglia d'oro olimpica a Montréal 1976 e medaglia di bronzo a Monaco di Baviera 1972.

Salto in lungo
Il salto in lungo è una specialità sia maschile che femminile dell'atletica leggera, in cui gli atleti, dopo una rincorsa, raggiungono la zona limite dove poter saltare, detta "asse di battuta", cercando di atterrare il più lontano possibile nella buca riempita di sabbia.

La lunghezza del salto viene misurata dal limite di battuta, indipendentemente dal punto esatto dove l'atleta ha staccato. Il salto in lungo fa parte dei salti in estensione come il salto triplo.
Base Rothera
La base Rothera è una base scientifica permanente britannica in Antartide, operativa dal 1975. Ha anche la funzione di capitale del Territorio Antartico Britannico, nonostante non sia riconosciuto da alcuno Stato firmatario del Trattato Antartico.

Gestita dal British Antarctic Survey (BAS), si trova a Rothera Point, sull'isola Adelaide, al largo della costa occidentale della penisola antartica.

Trattato Antartico
Il trattato Antartico, detto anche trattato di Washington, è un accordo internazionale formalizzato nel 1959; finalizzato alla definizione dell'utilizzo delle parti disabitate dell'Antartide che si trovano a sud dei 60° di latitudine Sud, costituendo la base del complesso sistema di accordi multilaterali definito come sistema del trattato antartico (Antarctic Treaty System o ATS). Per celebrarlo, è stata istituita nel 2010 la Giornata dell'Antartide.
Southern soul
Southern soul è il termine usato per definire un particolare tipo di musica soul nato nel sud degli Stati Uniti, ma ci sono anche musicisti del sud che hanno spiegato la loro influenza sulle città del nord degli States. È stato chiamato anche con il nome di deep soul o country soul.
Il Southern soul viene spesso identificato con artisti quali Wilson Pickett, Otis Redding, Aretha Franklin, James Brown, Carla Thomas, The Staple Singers, Sam & Dave e tanti altri.

Questo genere nasce dalla combinazione di più generi: il Blues, il Country, il primo Rock and roll ed il Gospel delle chiese afroamericane. Nel Southern Soul il fuoco delle canzoni non è nei testi ma piuttosto nel groove e nelle sensazioni che trasmette.

Wilson Pickett
Wilson Pickett (Prattville, 18 marzo 1941 – Reston, 19 gennaio 2006) è stato un cantautore statunitense di R&B e musica soul.

È conosciuto per le sue interpretazioni potenti, grintose e cariche di pathos, che hanno fatto di lui uno dei principali esponenti della soul music.

Fu citato come esempio da imitare dal cantante italo-francese Nino Ferrer nel brano La pelle nera.

Pickett - che ha avuto anche una (peraltro breve) carriera italiana - partecipò per due volte al Festival di Sanremo: nel 1968 cantando Deborah in coppia con Fausto Leali, e l'anno successivo Un'avventura, con l'allora relativamente poco conosciuto Lucio Battisti.

Tra le sue interpretazioni di maggior successo si ricordano  In the Midnight Hour, Land of 1,000 Dances, Mustang Sally, Hey Joe e Funky Broadway.

La rivista Rolling Stone lo inserisce al sessantottesimo posto nella sua lista dei 100 migliori cantanti.
Lega tedesca degli studenti socialisti
La Lega tedesca degli studenti socialisti (in tedesco: Sozialistischer Deutscher Studentenbund), conosciuta anche come Lega degli studenti socialisti tedeschi o con la sigla SDS, fu creata nel settembre del 1946 ad Amburgo come sindacato studentesco formalmente autonomo da ogni partito ma in effetti molto vicino al Partito Socialdemocratico di Germania.

Partito Comunista di Germania
Il Partito Comunista di Germania (in tedesco Kommunistische Partei Deutschlands, KPD) è stato un partito politico tedesco dal 1918 al 1956 e fu un partito di minoranza nella Germania Ovest del periodo post-bellico, fino alla sua messa al bando.
Llano Bonito (Panama)
Llano Bonito è un comune (corregimiento) della Repubblica di Panama situato nel distretto di Chitré, provincia di Herrera. Si estende su una superficie di 10,9 km² e conta una popolazione di 9.798 abitanti (censimento 2010).

Provincia di Herrera
Herrera è una provincia panamense situata nel nord della penisola di Azuero e il cui capoluogo è la città di Chitré. Confina a nord con le province di Veraguas e Coclé, a sud con Los Santos, a est con il golfo di Parita e a ovest ancora con Veraguas, in particolare con il distretto di Mariato.
Ha una superficie di 2 340,7 km² e nel 2008 aveva una popolazione di 111 647 abitanti (la stima del 2010 si ferma a 107 911 abitanti).

Luogo di passaggio tra importanti sottoregioni della penisola di Azuero, due fondamentali rotte stradali percorrono la provincia di Herrera: da sud a nord, l'autostrada nazionale, da est a ovest, la panamericana.
Estensione conservativa
In logica matematica, nell'ambito della teoria della dimostrazione, un'estensione conservativa di una teoria logica T1 è una teoria T2 tale che:

tutti i simboli di T1 sono presenti anche in T2

ogni teorema di T1 è anche un teorema di T2

ogni teorema di T2 esprimibile usando soltanto il linguaggio di T1 è un teorema di T1.

Nella teoria dei modelli, T2 si dice un'estensione conservativa di T1 se ogni modello di T1 può essere esteso in un modello di T2. Tutte le estensioni conservative nel senso della teoria dei modelli lo sono anche nella definizione della teoria della dimostrazione.

Modello (logica matematica)
In logica matematica, un modello di una teoria formale è un'interpretazione che rende vera tutti gli enunciati della teoria. Sebbene la seguente definizione faccia riferimento alla teoria dei modelli, gli esempi e le definizioni successive fanno riferimento a teoria e logica del primo ordine.