hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Tino Livramento
Valentino Francisco Livramento, meglio noto come Tino Livramento (Croydon, 12 novembre 2002), è un calciatore inglese di origini portoghesi e scozzesi, difensore del Newcastle Utd e della nazionale inglese.

Newcastle United Football Club
Il Newcastle United Football Club è una società calcistica inglese con sede nella città di Newcastle upon Tyne. Dalla stagione 2017-2018 milita in Premier League, la massima divisione del campionato inglese, e disputa le proprie partite casalinghe al St James' Park, impianto da 52 305 posti a sedere.

Il club è stato fondato il 9 dicembre 1892 dalla fusione del Newcastle East End con il Newcastle West End. Nel corso della sua storia ha vinto quattro campionati di First Division, sei FA Cup, una EFL Cup, un Charity Shield, una Coppa delle Fiere ed una Coppa Intertoto, risultando quindi essere il nono club inglese per numero di trofei; il suo periodo di maggior successo risale al primo decennio del ventesimo secolo, quando conquistò tre campionati di First Division ed una FA Cup.
Franjo Bosanac
Franjo Bosanac, conosciuto anche come Franciscus Bossinensis (Francesco il bosniaco) (1485 – 1535), è stato un compositore probabilmente di origini bosniache.

Sebbene il suo nome suggerisca un'origine bosniaca, questo è un punto di dibattito storico. Alcuni esperti ritengono che lui fosse di origini croate, altri di origini bosniache.
Ha vissuto e lavorato a Venezia e presso la corte degli Estensi. Ha pubblicato due raccolte musicali realizzate con il liuto (contenenti 126 frottole e 46 ricercare), pubblicate dalla tipografia veneziana di Ottaviano Petrucci.

La frottola Io non compro più speranza di Marchetto Cara, raccolta nel suo primo libro, è stata reinterpretata dai The Bastard Sons of Dioniso in occasione dei bootcamp nella seconda edizione di X Factor nel 2009.
È stata reinterpretata anche da Gerolamo Sacco ed inserita in "The Renaissance ep 1".

Bosnia
La Bosnia (in bosniaco Bosna / Босна) è un'area storico-geografica parte settentrionale del Paese della Bosnia ed Erzegovina. A sud confina con un'altra area storico-geografica, l'Erzegovina. La città principale è Sarajevo.
Supercoppa del Brasile
La Supercoppa del Brasile, ufficialmente Supercopa do Brasil, è un trofeo calcistico brasiliano. Si disputa tra la squadra vincitrice del Campeonato Brasileiro Série A e quella della Copa do Brasil.

La competizione è stata disputata nel 1990 e 1991, per poi essere riproposta nel 2020.

Coppa del Brasile
La Coppa del Brasile, portoghese Copa do Brasil, ufficialmente denominata Copa Intelbras do Brasil dall'edizione 2021 per ragioni di sponsorizzazione, è il secondo torneo calcistico più importante del Brasile. Il vincitore della Coppa del Brasile conquista il diritto di partecipare alla Coppa Libertadores dell'anno seguente.

Il torneo, a partire dal 2013, si disputa tra marzo e novembre, mentre in precedenza si svolgeva nel primo semestre dell'anno, parallelamente ai campionati statali e alla Coppa Libertadores, il che, dal 2001, escludeva dai partecipanti le squadre che disputavano la competizione continentale.
Laser tag
Il laser tag o lasertag è un gioco di squadra basato sulla simulazione militare. L'attività simula, tramite attrezzature apposite, combattimenti con repliche fedeli di armi da fuoco, derivate dalle armi da softair ASG, in ambientazioni varie, da quelle urbane a luoghi boschivi, tra squadre avversarie che devono conquistare obiettivi prefissati.

Arma da softair
Un'arma da softair, anche detta air soft gun (in acronimo ASG), è una replica di una vera arma da fuoco leggera.

In genere le ASG proiettano pallini sferici mediante la spinta impressa dalla compressione di un gas: aria, propano o anidride carbonica.

Le repliche ad aria compressa sono generalmente utilizzate nella pratica del Softair, un'attività ludico ricreativa simulativa denominata anche "disciplina del tiro tattico sportivo". Potenza massima 0,99 joule.
Comuni della Toscana
I comuni della Toscana sono i comuni italiani presenti nella regione Toscana. Sono 273 e sono così suddivisi (al 30 giugno 2023):

36 alla provincia di Arezzo

41 alla città metropolitana di Firenze

28 alla provincia di Grosseto

19 alla provincia di Livorno

33 alla provincia di Lucca

17 alla provincia di Massa-Carrara

37 alla provincia di Pisa

20 alla provincia di Pistoia

7 alla provincia di Prato

35 alla provincia di Siena

Provincia di Prato
La provincia di Prato è una provincia italiana della Toscana di 260 880 abitanti. Fu istituita nel 1992 per scorporo dalla provincia di Firenze, comprendendo i comuni di Prato (capoluogo), Cantagallo, Carmignano, Poggio a Caiano, Montemurlo, Vaiano e Vernio. È la più piccola provincia italiana per superficie, la settima provincia toscana per numero di abitanti e la terza per  PIL pro capite.
Alain Ngalani
Pierre Alain Ngalani (Yaoundé, 7 luglio 1975) è un artista marziale misto, kickboxer e thaiboxer camerunese naturalizzato hongkonghese.

Combatte nella categoria dei pesi massimi per l'organizzazione singaporiana ONE.

Vanta inoltre una carriera di successo nella kickboxing e nella muay thai. In quest'ultima disciplina ha conquistato un totale di 16 titoli, incluso un mondiale nel 2004 e due Planet Battle, per la categoria dei pesi massimi, rispettivamente nel 2009 e nel 2010.

Kickboxing
La kickboxing è uno sport da combattimento con origini molto antiche e nativo del Sud-est asiatico, divenuto popolare negli anni '60 in Giappone e poi diffusosi negli USA, che combina le tecniche di calcio tipiche delle arti marziali orientali, soprattutto sudcoreane, ai colpi di pugno propri del pugilato.
Associazione Guide e Scout Cattolici Sloveni
L'Associazione Guide e Scout Cattolici Sloveni (in Sloveno Združenje slovenskih katoliških skavtinj in skavtov, in sigla ZSKSS) è l'associazione nazionale degli scout e delle guide sloveni.

La ZSKSS è un'associazione non governativa senza fini di lucro, aperta a tutti e guidata da volontari.

Associazione Guide e Scouts Cattolici Italiani
L'Associazione Guide e Scouts Cattolici Italiani (AGESCI) è un'associazione scout cattolica italiana che si propone di contribuire alla formazione della persona nel tempo libero e nelle attività extra-scolastiche secondo i principi e il metodo dello scautismo adattati alla realtà sociale italiana. L'AGESCI è nata nel 1974 dalla fusione di due preesistenti associazioni: la maschile ASCI (Associazione scouts cattolici italiani) e la femminile AGI (Associazione guide italiane). L'AGESCI è diffusa in modo omogeneo sul territorio italiano, organizzata in Regioni, Zone e Gruppi locali. La Comunità Capi, l'organo educativo del Gruppo, organizza e coordina le attività rivolte agli associati, i quali sono suddivisi in Branche secondo l'età: lupetti e/o coccinelle (bambini e bambine), esploratori e guide (adolescenti) e rover e scolte (ragazzi e ragazze).

In occasione dei 50 anni Poste Italiane ha emesso un francobollo commemorativo in tiratura limitata.
Kora (buddismo)
Kora (tibetano: སྐོར་ར, Wylie: skor ra, THL: kor ra) è una parola della lingua tibetana che significa "circumambulazione" o "rivoluzione". Per kora si intende sia l'azione del pellegrinaggio sia un tipo di pratica meditativa presente nelle tradizioni del Buddismo tibetano e del Bön. Il praticante esegue un kora facendo una circumambulazione intorno a un sito o un oggetto sacro, di solito come tappa intermedia di un pellegrinaggio, di una cerimonia o di un semplice rito. In termini più generali, è un termine che viene spesso utilizzato per riferirsi all'intera esperienza di pellegrinaggio nelle regioni tibetane.

Circumambulatio
La circumambulazione (dal latino circumambulatio) è una pratica religiosa diffusa nel buddhismo, nell'induismo e nell'islam (e in passato praticata anche in talune cerimonie religiose precristiane) consistente nel passeggiare attorno a una persona o a un oggetto fisico o ideale.
Yenghe hatam
Lo Yenghe hatam (in avestico 𐬫𐬈𐬣𐬵𐬉⸱𐬵𐬁𐬙𐬅𐬨) è uno dei quattro mantra principali e una delle preghiere più importanti nello Zoroastrismo. Viene interpretato come un invito a pregare specificamente gli Amesha Spenta, o in generale tutte le divinità zoroastriane.

Insieme all' Ahuna vairya, all' Ashem vohu e all'Airyaman ishya, lo Yenghe hatam forma i quattro mantra che racchiudono i Gatha nello Yasna e costituiscono la parte linguisticamente più antica dell'Avesta. Si trova inoltre in molte altre parti dell'Avesta, dove spesso segna la transizione da una parte del testo all'altra.

Avestā
(Avestā, Yasna. XXVIII.1. Traduzione di Arnaldo Alberti, in Avestā, Torino, UTET, 2004, p. 150)

L'Avestā è il nome sotto il quale si colloca l’insieme dei libri sacri appartenenti alla religione mazdea.
Garcelle Beauvais
Garcelle Beauvais (Saint-Marc, 26 novembre 1966) è un'attrice e modella haitiana naturalizzata statunitense.
È nota principalmente per aver interpretato il ruolo di Valerie Heywood in settantuno episodi della serie televisiva NYPD - New York Police Department.

Haiti
Haiti (AFI: /aˈiːti/; in haitiano Ayiti), ufficialmente Repubblica di Haiti (in haitiano Repiblik Ayiti), è uno Stato situato nell'isola di Hispaniola, nel Mar dei Caraibi, confinante ad est con la Repubblica Dominicana. Un tempo colonia francese, è stata la seconda nazione delle Americhe a dichiarare la propria indipendenza, dopo gli Stati Uniti d'America. L'indipendenza dalla Francia fu dichiarata il 1º gennaio 1804.

L'isola è storicamente caratterizzata da una marcata instabilità politica e dalla fragilità del territorio. Colpita nell'estate 2004 dall'uragano Jeanne, nel gennaio 2010 da un terremoto catastrofico, tra i più distruttivi della storia dell'uomo, e nell'ottobre 2016 dall'uragano Matthew, vive in uno stato di emergenza umanitaria.
Dal 2004 al 2017 vide la presenza di un contingente guidato dal Brasile, per una missione internazionale di aiuto sotto l'egida dell'ONU. Il 14 agosto 2021 il Paese viene nuovamente colpito da un fortissimo terremoto di magnitudo 7,2.
Fascicolazione
La fascicolazione è la contrazione spontanea, rapida e a intervalli regolari di una o più unità motorie, senza esito motorio. Le fascicolazioni sono visibili e avvertite dal soggetto come guizzi improvvisi di una parte di un qualunque muscolo. A volte sono associate a crampi.

Crampo
I crampi sono dolori muscolari improvvisi e violenti causati dalla contrazione involontaria di uno o più muscoli.

Il crampo può essere definito anche come uno stato di affaticamento che può trarre origine da uno squilibrio idro-elettrolitico o da un deficit energetico che influenza la stabilità della membrana del moto neurone alfa. Uno stato di fatica acuta determina un'alterazione del turnover del calcio, ponendo la membrana del motoneurone in un nuovo livello di equilibrio in corrispondenza di un potenziale ben più elevato di quello di riposo.

I crampi notturni alle gambe sono contrazioni involontarie di uno o più muscoli delle gambe che avvengono durante il sonno. Sono più frequenti con l'avanzare dell'età, ma possono colpire chiunque essendo dovuti alla sovrapproduzione di acido lattico delle fibre muscolari.
Principato Citra
Il Principato Citra (o Principato Citeriore) fu una suddivisione amministrativa del Regno di Napoli e successivamente la III provincia del Regno delle Due Sicilie, istituita nel 1287 a seguito della scissione del preesistente giustizierato di Principato e Terra Beneventana nei due distinti territori del Principato Citra e del Principato Ultra.

Il territorio del Principato Citra corrispondeva approssimativamente all'odierna provincia di Salerno, nella Regione Campania.

Suddivisione amministrativa del Regno delle Due Sicilie
La suddivisione amministrativa del Regno delle Due Sicilie dal 1817 era basata su una struttura a 4 livelli. Le divisioni di primo livello, dette provincie, erano 22. Le 22 province erano suddivise in 76 distretti. I distretti erano suddivisi in circondari (presenti in numero complessivo di 684). I circondari erano suddivisi in comuni (un totale di 2189 nell'anno 1840).
Ettore Messina
Ettore Messina (Catania, 30 settembre 1959) è un allenatore di pallacanestro e dirigente sportivo italiano.

È tra gli allenatori europei più titolati, potendo vantare nel suo palmarès trentasei trofei con i club, tra cui sette campionati italiani, sei campionati russi, quattro Eurolega, una Coppa delle Coppe e tre VTB United League. Ha anche avuto una parentesi in NBA come vice-allenatore di Gregg Popovich nei San Antonio Spurs, dal 2014 al 2019.

Euroleague Basketball
L'Eurolega (ufficialmente Turkish Airlines Euroleague Basketball per ragioni pubblicitarie) è la massima competizione europea per club di pallacanestro maschili.

Nella sua emanazione attuale, si tratta di una lega semichiusa a cui prendono parte in totale venti club facenti parte della FIBA Europe: undici sono fissi, cinque vi accedono annualmente al raggiungimento di determinati obiettivi e due partecipano su invito. L'attuale detentore del trofeo è il Fenerbahçe, che nell'ultima edizione (edizione 2024-2025) ha centrato il secondo titolo della sua storia.

La manifestazione, fondata nel 2000 quando la FIBA dimenticò di registrare il nome Eurolega, è stata organizzata inizialmente dalla ULEB per poi passare nel 2009 sotto il controllo di Euroleague Commercial Assets (ECA).
Proprietà endocroniche della tiotimolina risublimata
Proprietà endocroniche della tiotimolina risublimata (The Endochronic Properties of Resublimated Thiotimoline) è un racconto di fantascienza di Isaac Asimov comparso per la prima volta nel 1948 sulla rivista Astounding Science-Fiction.

Il racconto fu pubblicato in italiano per la prima volta nel 1966 col titolo Le meravigliose proprietà della tiotimolina. Parte I ed è stato in seguito ripubblicato più volte col titolo Proprietà endocroniche della tiotimolina risublimata.

La tiotimolina ricompare nei racconti di Asimov Le meravigliose proprietà della tiotimolina. Parte II (The Mycropsychiatric Applications of Thiotimoline, su Astounding, 1953), La tiotimolina e l'era spaziale (Thiotimoline and the Space Age, su Analog, 1960) e La tiotimolina fra le stelle (Thiotimoline to the Stars, 1973).

Analog Science Fiction and Fact
Analog Science Fiction and Fact, abbreviato in Analog, è la più longeva e famosa rivista di fantascienza. Nata nel 1930 negli Stati Uniti come pulp magazine col titolo di Astounding Stories, ha cambiato più volte la propria denominazione nel corso degli anni; quella con cui è rimasta più conosciuta è Astounding Science-Fiction, che l'ha contraddistinta negli anni dal 1938 al 1960. Il suo millesimo numero è stato pubblicato nel giugno 2015.
Roger Swerts
Roger Swerts (Heusden, 28 dicembre 1942) è un ex ciclista su strada e pistard belga.
Professionista tra il 1965 ed il 1978, conta la vittoria di due Giri del Belgio, di un Campionato di Zurigo, una Gand-Wevelgem e un campionato belga.

Giro del Belgio
Il Giro del Belgio (ufficialmente Belgium Tour, fr. Tour de Belgique, nl. Ronde van België) è una corsa a tappe maschile di ciclismo su strada che si svolge annualmente in Belgio. È inserito nel calendario dell'UCI Europe Tour, come gara di classe 2.HC.
Slavo-Serbia
La Slavo-Serbia o Slaveno-Serbia (in ucraino Слов'яносербія?, Slov"janoserbija; in russo Славяносербия?, Slavjanoserbija; in serbo Славеносрбија (Славосрбија)?, Slavenosrbija (Slavosrbija); in slavo-serbo: Славо-Сербія o Славено-Сербія), fu un territorio della Russia imperiale tra il 1753 e il 1764. Si trovava sulla riva destra del fiume Donec tra i fiumi Bachmutka (Бахмут) e Luhan (Лугань). Quest'area oggi costituisce i territori dell'attuale oblast' di Luhans'k e dell'oblast' di Donec'k dell'Ucraina. Il centro amministrativo della Slavo-Serbia era a Bachmut (Bahmut).

Donec
Il Donec (in russo ed ucraino Донец?; pronuncia russa: dɐˈnʲet͡s), chiamato anche Severskij Donec (in russo Северский Донец?), o Sivers'kyj Donec' (in ucraino Сіверський Донець?), traslitterato in italiano anche come Donez, in passato chiamato anche Tanai Minore, è un fiume della Russia europea meridionale e dell'Ucraina nord-orientale, tributario di destra del Don.

Il suo corso interessa le oblast' russe di Belgorod e Rostov e le oblast' ucraine di Charkiv, Donec'k e Luhans'k.
Dawid Kubacki
Dawid Grzegorz Kubacki (Nowy Targ, 12 marzo 1990) è un saltatore con gli sci polacco.
Nel suo palmarès figurano tra l'altro due medaglie olimpiche, cinque medaglie iridate e un Torneo dei quattro trampolini.

Campionati mondiali di sci nordico
I Campionati mondiali di sci nordico (ufficialmente in inglese FIS Nordic World Ski Championships) sono una competizione sportiva organizzata dalla Federazione internazionale sci e snowboard (FIS) in cui si assegnano i titoli mondiali delle diverse specialità dello sci nordico poste sotto l'egida della FIS: combinata nordica, salto con gli sci e sci di fondo.
Finale della Coppa UEFA 2006-2007
La finale della 36ª edizione della Coppa UEFA si è disputata il 16 maggio 2007 all'Hampden Park di Glasgow tra due compagini iberiche, l'Espanyol e il Siviglia.

L'incontro, arbitrato dallo svizzero Massimo Busacca, ha visto la vittoria degli andalusi che si sono imposti ai calci di rigore per 3-1 sui catalani, dopo che i tempi supplementari si erano conclusi sul 2-2, conquistando il trofeo per la seconda volta consecutiva. Il Siviglia ha così ottenuto il diritto di affrontare i vincitori della UEFA Champions League 2006-2007, gli italiani del Milan, nella Supercoppa UEFA 2007.

Per la prima volta nella storia della competizione si sono affrontate nell'atto conclusivo due squadre spagnole, e per la settima volta si è trattato di uno scontro tra due club della stessa nazione.

Finale della Coppa UEFA 1987-1988
La finale della 17ª edizione della Coppa UEFA fu disputata in gara d'andata e ritorno tra Bayer Leverkusen ed Español. Il 4 maggio 1988 allo Stadio di Sarriá di Barcellona la partita, arbitrata dal cecoslovacco Dušan Krchňák, finì 3-0 per i catalani.

La gara di ritorno si disputò dopo due settimane all'Ulrich-Haberland-Stadion di Leverkusen e fu arbitrata dall'olandese Jan Keizer. Il match terminò 3-0 per i teutonici. Ai rigori la squadra tedesca occidentale ebbe la meglio per 3-2.
Istante
Un istante è un momento di tempo infinitamente piccolo, il cui passaggio è immediato, al punto da essere ritenuto privo di durata.

Oggetto di studio della fisica e della filosofia della scienza, viene definito come un intervallo temporale infinitesimale, cioè smisuratamente breve, nozione indicata dalla sua origine etimologica, risalente al verbo latino instare, composto da in- + stare, che significa «stare presso», in modo «molto vicino».

Assimilabile a una sorta di atomo del tempo, la definizione della sua effettiva consistenza ha dato origine a una serie di problemi nel corso della storia.

Tempo
Il tempo è la percezione e rappresentazione della modalità di successione degli eventi, per cui essi avvengono prima, dopo o durante altri eventi. Da un punto di vista scientifico è una grandezza fisica fondamentale.

La complessità del concetto è da sempre oggetto di studi e riflessioni filosofiche e scientifiche.
Scuole e correnti islamiche
Questo articolo riassume i diversi rami e le diverse scuole nell'Islam. La divisione più conosciuta è quella tra Islam sunnita, Islam sciita e kharigismo, essa fu inizialmente di natura politica, ma alla fine acquisì dimensioni teologiche e giuridiche. Esistono tre tipi tradizionali di scuole nell'Islam: scuole di giurisprudenza, ordini sufi e scuole di teologia. L'articolo riassume anche le principali denominazioni e i movimenti che sono sorti nell'era moderna.

Kharigismo
Il kharigismo è un ramo dell'Islam, distaccatosi dagli altri all'epoca del quarto califfo ʿAlī ibn Abī Ṭālib. Anche all'interno del kharigismo (come nel Sunnismo e nello Sciismo) ci sono i sufi e coloro che ne rifiutano l'approccio, considerato troppo libero.
Silvano Abbà
Silvano Abbà (Rovigno, 3 luglio 1911 – Isbuscenskij, 24 agosto 1942) è stato un pentatleta e militare italiano.

Partecipò ai Giochi olimpici di Berlino del 1936, classificandosi al terzo posto nella gara di pentathlon moderno, vincendo la medaglia di bronzo. Successivamente prese parte alla guerra di Spagna dove si distinse come tenente del 1º battaglione carri da combattimento del Corpo Truppe Volontarie, venendo decorato con la medaglia d'argento al valor militare. Durante la seconda guerra mondiale combatte durante l'invasione della Jugoslavia e poi sul fronte russo dove fu decorato con la Medaglia di bronzo al valor militare. Partecipò alla Carica di Isbuscenskij per la quale morì e fu insignito della medaglia d'oro al valor militare alla memoria.

Pentathlon moderno
Il pentathlon moderno è uno sport multidisciplinare in cui gli atleti competono in cinque diverse discipline:

scherma (spada);

nuoto (200 m stile libero);

equitazione (salto ostacoli, sostituita dalla obstacle race dopo Parigi 2024);

corsa (3000 corsa campestre);

tiro a segno (pistola).

L'aggettivo "moderno" serve a distinguerlo dal pentathlon "tradizionale" che veniva disputato durante i Giochi olimpici antichi, le cui cinque prove erano:

stadion (gara di velocità su una distanza di c. 176 m);

lancio del giavellotto;

lancio del disco;

salto in lungo;

lotta greca.
Dipartimento per l'uscita dall'Unione europea
Il Dipartimento per l'uscita dall'Unione europea (DExEU, noto anche come Dipartimento per la Brexit) è stato un dipartimento esecutivo del governo del Regno Unito incaricato di negoziare il ritiro del Regno Unito dall'Unione europea.

Il ministero è stato formato in seguito al referendum del 23 giugno 2016. Era guidato dal Segretario di Stato per l'uscita dall'Unione europea, Stephen Barclay.

Referendum sulla permanenza del Regno Unito nell'Unione europea
Il referendum sulla permanenza del Regno Unito nell'Unione europea, anche noto come referendum sulla "Brexit" (parola macedonia formata da British ed exit), si è svolto il 23 giugno 2016 nel Regno Unito e a Gibilterra; si è trattato di un referendum consultivo non vincolante per verificare il sostegno alla continuazione della permanenza del Regno Unito nell'Unione europea. Il referendum si è concluso con un voto favorevole all'uscita dalla UE con il 51,89%, contro il 48,11% che ha votato per rimanere nell'UE. Il voto ha manifestato una spaccatura tra le nazioni del Regno Unito, con la maggioranza di Inghilterra e Galles favorevoli a uscire e la maggioranza di Scozia e Irlanda del Nord che hanno votato per rimanere.
Invariante (informatica)
In informatica, un predicato è detto invariante per una sequenza di operazioni quando il predicato risulta vero prima  e dopo dell'esecuzione della sequenza.

Sebbene i programmi per computer sono principalmente specificati in termini di cosa cambia, è ugualmente importante sapere o specificare le invarianti del programma.

La teoria di ottimizzazione dei compilatori, la metodologia di programmazione per contratto e i metodi formali per determinare la correttezza di un programma tengono conto delle invarianti.

I programmatori spesso fanno uso di asserzioni nel loro codice per rendere espliciti gli invarianti.
Alcuni linguaggi ad oggetti hanno una sintassi speciale per specificare le invarianti di classe.

Invariante di classe
Un invariante di classe è un predicato logico che deve risultare vero per ogni istanza di una classe in determinati punti dell'esecuzione: al termine della costruzione dell’oggetto e all’ingresso/uscita di ciascun metodo pubblico. È uno strumento di specifica e verifica usato nella programmazione per contratti e, più in generale, nel ragionamento sui tipi astratti di dato.