OpenLLM-France/wikimedia huggingface dataset:
# Istone H2a

L'istone H2A è uno dei cinque principali istoni, proteine coinvolte nella struttura della cromatina nelle cellule eucariotiche. L'H2A è caratterizzato da un dominio globulare principale e da una lunga coda all'N-terminale; è coinvolto nella struttura delle fibre a 10 nm ("beads on a string").
Gli altri istoni sono H1, H2B, H3, H4.

## Variazioni di sequenza

Il termine "istone H2A" è intenzionalmente non specifico, e si riferisce a un'ampia varietà di proteine altamente simili che spesso differiscono solo per pochi amminoacidi. Tra le varianti note si possono includere H2A.1, H2A.2, H2A.X, e H2A.Z.

## Genetica

H2A è codificato da numerosi geni nel genoma umano, tra i quali H2AFB1, H2AFB2, H2AFB3, H2AFJ, H2AFV, H2AFX, H2AFY, H2AFY2, e H2AFZ.
# Julian Korb

Julian Korb (Essen, 21 marzo 1992) è un calciatore tedesco, difensore del Borussia M'gladbach II.

## Carriera
### Club

Ha giocato nella massima serie del campionato tedesco con il Borussia Mönchengladbach.

### Nazionale

Nel 2015 ha partecipato agli Europei Under-21.
# Adam Morgan

Adam Joseph Morgan (Liverpool, 21 aprile 1994) è un calciatore inglese, attaccante del City of Liverpool.

## Carriera
### Club

Ha giocato 3 partite in Europa League nella stagione 2012-2013 con il Liverpool (due nei turni preliminari ed una nella fase a gironi); dall'estate del 2013, dopo un prestito nella terza divisione inglese al Rotherham Utd (con cui gioca una partita), è in prestito allo Yeovil Town, squadra neopromossa nella seconda serie inglese. Dopo aver fatto 12 presenze viene riscattato e ceduto in prestito al St. Johnstone, squadra della prima divisione scozzese, con cui gioca 5 partite di campionato. Dopo varie esperienze nelle serie minori inglesi, nel 2018 realizza 4 reti in 16 presenze nella prima divisione irlandese con gli Sligo Rovers. Nella stagione 2019-2020 realizza 8 reti in 12 presenze nel Romford per poi trasferirsi al Chelmsford City, club di National League South (sesta divisione).

### Nazionale

Ha preso parte ai Mondiali Under-17 del 2011, nei quali ha anche segnato due gol. Ha inoltre giocato 5 partite amichevoli con la nazionale Under-19, nella quale ha anche segnato un gol.

## Statistiche
### Presenze e reti nei club

Statistiche aggiornate al 1º dicembre 2013.
| Stagione | Squadra | Campionato | Campionato | Campionato | Coppe nazionali | Coppe nazionali | Coppe nazionali | Coppe continentali | Coppe continentali | Coppe continentali | Altre coppe | Altre coppe | Altre coppe | Totale | Totale |
| Stagione | Squadra | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Pres | Reti |
| 2012-2013 | Liverpool | PL | 0 | 0 | FACup+CdL | 0 | 0 | UEL | 3 | 0 | - | - | - | 3 | 0 |
| Totale carriera | Totale carriera | Totale carriera | 0 | 0 | | 0 | 0 | | 3 | 0 | | | | 3 | 0 |

## Palmarès
### Individuale

* Capocannoniere della FA Cup: 1
    2016-2017 (6 reti, alla pari con Son Heung-Min)
# Martin Jindráček

Martin Jindráček (Roudnice nad Labem, 29 novembre 1989) è un calciatore ceco, attaccante del Teplice, in prestito dall'Ústí nad Labem.

## Caratteristiche tecniche

Punta centrale, può essere schierato anche come seconda punta o come trequartista.

## Carriera

Comincia a giocare al Teplice. Nel 2009 viene ceduto in prestito biennale all'Ústí nad Labem.
Nel 2011 torna al Teplice. Nel 2015 viene prestato allo Slavoj Vyšehrad. Nel 2016 viene nuovamente ceduto in prestito, questa volta al Most.
Nel 2016 viene acquistato dall'Ústí nad Labem. Nel 2018 viene ceduto in prestito al Teplice.
# Luiz Antônio de Souza Soares

Luiz Antônio de Souza Soares, meglio noto come Luiz Antônio (Rio de Janeiro, 11 marzo 1991), è un calciatore brasiliano, centrocampista del Thanh Hóa.

## Caratteristiche tecniche

Mediano dal buon contrasto e dal grande pressing, ma anche capace di gestire il gioco.

## Palmarès
### Club
#### Competizioni statali

* Campionato Carioca: 2
    Flamengo: 2011, 2014
* Campionato Catarinense: 1
    Chapecoense: 2017

#### Competizioni nazionali

* Coppa del Brasile: 1
    Flamengo: 2013
* Coppa del Vietnam: 2
    Thanh Hóa: 2023, 2023-2024
* Supercoppa del Vietnam: 1
    Thanh Hóa: 2023
# Jonathan Bourhis

Jonathan Louis Alain Bourhis (Tours, 10 ottobre 1990 – Veuvey-sur-Ouche, 1º novembre 2009) è stato un cestista francese.

## Carriera

Playmaker cresciuto cestisticamente nel Digione, esordì in Pro A con la prima squadra nel 2008. Al termine della stagione 2008-2009 collezionò in totale 7 presenze. Nel luglio 2009 venne convocato per il Mondiale Under-19, chiuso dalla Francia all'8º posto. Iniziò la stagione 2009-2010 sempre al Digione, firmando il suo primo contratto da professionista.
Il 1º novembre 2009 è morto prematuramente all'età di 19 anni in un incidente stradale nei pressi di Veuvey-sur-Ouche.
# Erjon Vuçaj

Erjon Vuçaj (Scutari, 25 dicembre 1990) è un calciatore albanese, centrocampista del Luftëtari.

## Carriera
### Club

Cresciuto nel Vllaznia, squadra con la quale ha debuttato nel campionato albanese nel 2008.

### Nazionale

Ha esordito con la Nazionale albanese Under-21 nel 2010.
Ha ricevuto la prima convocazione nella Nazionale maggiore invece nel 2011, senza riuscire a debuttare.

## Statistiche
### Presenze e reti nei club

Statistiche aggiornate al 19 maggio 2019.
| Stagione | Squadra | Campionato | Campionato | Campionato | Coppe nazionali | Coppe nazionali | Coppe nazionali | Coppe continentali | Coppe continentali | Coppe continentali | Altre coppe | Altre coppe | Altre coppe | Totale | Totale |
| Stagione | Squadra | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Pres | Reti |
| 2007-2008 | Vllaznia | KS | 1 | 0 | CA | 0 | 0 | - | - | - | - | - | - | 1 | 0 |
| 2008-2009 | Vllaznia | KS | 0 | 0 | CA | 2 | 0 | - | - | - | - | - | - | 2 | 0 |
| 2009-2010 | Laçi | KS | 20 | 1 | CA | 2 | 0 | - | - | - | - | - | - | 22 | 1 |
| 2010-2011 | Laçi | KS | 29 | 1 | CA | 2 | 0 | UEL | 2 | 0 | - | - | - | 33 | 1 |
| 2011-2012 | Laçi | KS | 20 | 4 | CA | 9 | 2 | - | - | - | - | - | - | 29 | 6 |
| ago. 2012 | Skënderbeu | KS | 0 | 0 | CA | 0 | 0 | UCL | 2 | 0 | SA | 0 | 0 | 2 | 0 |
| 2012-2013 | Laçi | KS | 24 | 9 | CA | 10 | 3 | - | - | - | - | - | - | 34 | 12 |
| 2013-2014 | Laçi | KS | 29 | 8 | CA | 6 | 2 | UEL | 2 | 0 | SA | 1 | 0 | 38 | 10 |
| lug. 2014 | Laçi | KS | 0 | 0 | CA | 0 | 0 | UEL | 3 | 0 | - | - | - | 3 | 0 |
| 2014-2015 | Flamurtari Valona | KS | 32 | 0 | CA | 2 | 0 | UEL | - | - | SA | 1 | 0 | 35 | 0 |
| lug. 2015 | Laçi | KS | 0 | 0 | CA | 0 | 0 | UEL | 2 | 0 | - | - | - | 2 | 0 |
| 2015-2016 | Tirana | KS | 20 | 1 | CA | 2 | 1 | - | - | - | - | - | - | 22 | 2 |
| 2016-gen. 2017 | Tirana | KS | 10 | 0 | CA | 2 | 1 | - | - | - | - | - | - | 12 | 1 |
| Totale Tirana | Totale Tirana | Totale Tirana | 30 | 1 | | 4 | 2 | | - | - | | - | - | 34 | 3 |
| gen.-giu. 2017 | Laçi | KS | 15 | 1 | CA | 2 | 0 | - | - | - | - | - | - | 17 | 1 |
| Totale Laçi | Totale Laçi | Totale Laçi | 137 | 24 | | 31 | 7 | | 9 | 0 | | 1 | 0 | 178 | 31 |
| 2017-2018 | Vllaznia | KS | 32 | 1 | CA | 4 | 1 | - | - | - | - | - | - | 36 | 2 |
| Totale Vllaznia | Totale Vllaznia | Totale Vllaznia | 33 | 1 | | 6 | 1 | | - | - | | - | - | 39 | 2 |
| lug.-ago. 2018 | Luftëtari | KS | 0 | 0 | CA | 0 | 0 | UEL | 2 | 0 | - | - | - | 2 | 0 |
| 2018-2019 | Drita | SL | 30 | 1 | CK | 0 | 0 | UCL+UEL | - | - | - | - | - | 30 | 1 |
| Totale carriera | Totale carriera | Totale carriera | 262 | 27 | | 43 | 10 | | 13 | 0 | | 2 | 0 | 320 | 37 |

## Palmarès
### Club
#### Competizioni nazionali

* Coppa d'Albania: 2
    Vllaznia: 2007-2008
    Laçi: 2012-2013
# Brice Ntambwe

Brice Ntambwe (Bruxelles, 29 aprile 1993) è un calciatore belga, centrocampista svincolato.

## Carriera
### Club

Ha giocato nella prima divisione belga con il Mons.

### Nazionale

Il 5 settembre 2013 ha esordito in nazionale Under-21 giocando la partita Italia-Belgio (1-3), valevole per le qualificazioni agli Europei di categoria del 2015.
# Denis Innocentin

Denis Daniele Innocentin (Fossalta di Portogruaro, 26 marzo 1961 – Monza, 12 gennaio 1991) è stato un cestista italiano.

## Biografia

Innocentin iniziò a giocare a basket nel 1973, presso il Circolo Giovanile Brugherese Basket. Nel 1977 venne ingaggiato dalla Pallacanestro Cantù per giocare nelle giovanili, ma in breve tempo esordì in prima squadra. In 10 stagioni con la maglia canturina vinse: lo scudetto nel 1980-1981; la Coppa dei Campioni nel 1982 e nel 1983; la Coppa Intercontinentale 1982; la Coppa delle Coppe nel 1978, 1979 e 1981. Con Cantù disputò complessivamente 331 partite di campionato. Nel 1987 passò alla Irge Desio, con cui disputò 29 partite in Serie A1.
Dopo l'esperienza di Desio, fu costretto a terminare la carriera agonistica a causa di una grave forma di leucemia. Morì nel 1991, a 29 anni.
Riposa al Cimitero Urbano di Monza.

## Palmarès
### Trofei internazionali

* Coppa Intercontinentale: 1
    Pall. Cantù: 1982
* Coppa dei Campioni: 2
    Cantù: 1981-82, 1982-83
* Coppa delle Coppe: 3
    Pall. Cantù: 1977-78, 1978-79, 1980-81

### Trofei nazionali

* Campionato italiano: 1
    Cantù: 1980-81
# Dale Carrick

Dale Carrick (Edimburgo, 7 gennaio 1994) è un calciatore scozzese, attaccante dello Stirling Albion.

## Caratteristiche tecniche

Centravanti, può giocare sia come seconda punta sia come ala destra.

## Carriera
### Club

Ha giocato nella prima divisione scozzese.

### Nazionale

Ha giocato nelle nazionali giovanili scozzesi Under-19 ed Under-21.

## Palmarès
### Club
#### Competizioni nazionali

* Scottish Championship: 1
    Hearts: 2014-2015
* Scottish League Two: 1
    Stirling Albion: 2022-2023
# Bill Self

Bill Eugene Self (Okmulgee, 27 dicembre 1962) è un ex cestista e allenatore di pallacanestro statunitense, campione NCAA nel 2008 e nel 2022 con i Kansas Jayhawks.

## Palmarès

* Campione NCAA (2008, 2022)
* 2 volte Associated Press College Basketball Coach of the Year (2009, 2016)
* Henry Iba Award (2009)
* Naismith College Coach of the Year (2012)
* John R. Wooden Award (2013)
* NABC Coach of the Year (2016)
# Nduka Ozokwo

Nduka Morrisson Ozokwo (Enugu, 25 dicembre 1988) è un ex calciatore nigeriano, di ruolo attaccante.

## Carriera
### Club

Dopo gli esordi in patria ha giocato per due anni al Nizza, con cui nella stagione 2008-2009 ha disputato 2 partite in Ligue 1, la massima serie francese. Dopo un'ulteriore parentesi in patria nella stagione 2009-2010 ha giocato 14 partite senza mai segnare nella massima serie turca con il Boluspor. A fine anno è stato acquistato dal Mersin, squadra di 1. Lig (la seconda serie turca). Nella stagione 2010-2011 con 3 gol in 15 presenze ha contribuito alla promozione della squadra in massima serie, categoria in cui nei due anni successivi ha collezionato complessivamente 58 partite e 4 gol. Rimane al Mersin anche nella stagione 2013-2014, nuovamente in 1. Lig dopo la retrocessione dell'anno precedente. Lascia la squadra dopo cinque campionati consecutivi nell'estate del 2014; tra il 2014 ed il 2016 segna 7 gol in 45 partite con l'Adanaspor, mentre dal 2016 gioca nel Wil nella seconda divisione svizzera.

### Nazionale

Nel 2007 ha giocato 3 partite senza segnare nei Mondiali Under-20.
# Martin Jurtom

Martin Jurtom (Tallinn, 11 marzo 1994) è un cestista estone.
# Thoma Orollogaj

Thoma Orollogaj (1888 – Repubblica Popolare Socialista d'Albania, 30 novembre 1947) è stato un politico albanese e un leader nazionalista della resistenza anticomunista in Albania durante la Seconda guerra mondiale.

## Vita

Nato nel 1888 a Korçë, nel Eyalet di Monastir dell'Impero ottomano (nell'odierna Albania meridionale), studiò legge ad Atene e Parigi. Dopo aver terminato gli studi tornò a Korçë, dove lavorò come avvocato e sostenne gli sforzi di Kosta Kota per l'indipendenza della zona dal dominio francese. Nel 1927 divenne membro del comitato di riforma del diritto in Albania e professore di diritto presso la scuola di legge di Tirana.
Nel 1931 divenne presidente del comitato per le riforme del codice civile, mentre l'anno successivo fu eletto deputato di Korçë nel parlamento albanese. Durante il secondo mandato di Kostaq Kota come primo ministro, divenne ministro della giustizia. Dopo l'invasione italiana dell'Albania e la sua occupazione da parte dell'Italia fascista nel 1939, Orolloga fu tra i pochi parlamentari albanesi che non si unirono all'assemblea che offrì la corona albanese al re italiano, per cui fu imprigionato nel Castello di Porto Palermo vicino a Himara, e successivamente trasferito in Italia. Nel 1943, dopo essere stato rilasciato dagli italiani, tornò in Albania e si unì all'organizzazione nazionalista e anticomunista Balli Kombëtar e fu eletto membro del suo comitato centrale.
Nel 1943 fu rappresentante di Balli Kombëtar all'Accordo di Mukje. Nel 1944 divenne per la seconda volta ministro della giustizia in Albania nel primo governo dopo la sconfitta tedesca. Dopo la presa di potere da parte del Partito del Lavoro d'Albania, fu accusato per la sua collaborazione con le forze dell'Asse e giustiziato nel settembre 1947.
# Paulo Sérgio Moreira Gonçalves

Paulo Sérgio Moreira Gonçalves, noto semplicemente come Paulo Sérgio (Lisbona, 24 gennaio 1984), è un ex calciatore portoghese, di ruolo ala destra.

## Palmarès
### Club

* Singapore Premier League: 1
    DPMM: 2015
* Campionato indonesiano: 1
    Bali United: 2019

### Individuale

* Capocannoniere del campionato europeo di calcio Under-19: 1
    2003 (5 gol)
# Jordan Stewart

Jordan Barrington Stewart (Birmingham, 3 marzo 1982) è un ex calciatore inglese, di ruolo difensore.

## Carriera
### Club
#### Leicester City

Stewart inizia la sua carriera al Leicester City, dove viene aggregato alla squadra giovanile nel 1997.
Nel 1999 viene inserito in prima squadra, debuttando il 22 gennaio 2000 in Premier League in una partita contro il West Ham. La sua prima stagione in Premier League si conclude con la breve cessione in prestito al Bristol Rovers.
Tornato al Leicester, non viene inserito nella formazione titolare. Nella stagione 2003-2004, segna il gol decisivo nella partita giocata al City of Manchester Stadium contro il Manchester City, vinta per 3-0 dai Foxes.

#### Watford

Nell'estate del 2005 viene acquistato dal Watford per 125.000 sterline. Impiegato inizialmente come terzino sinistro, troverà come posizione ideale quella di difensore centrale, diventando fondamentale per il reparto difensivo. Le sue prestazioni hanno aiutato gli Hornets ad arrivare alla promozione in Premier League.
Dopo aver giocato una difficile stagione con il Watford, in cui lo stesso club ha subito la retrocessione in Championship, nella stagione seguente ha subito messo in mostra le sue qualità nella partita inaugurale della stagione della serie cadetta inglese contro il Wolverhampton, segnando il gol del decisivo 2-1. Tuttavia il Watford decise di svincolare prima del previsto Stewart a fine stagione.

#### Derby County

Il 30 maggio 2008, assieme al suo compagno di squadra del Watford Nathan Ellington, firma un contratto triennale con il Derby County, club appena retrocesso dalla Premier League.
Una volta aggregatosi alla rosa del club viene reimpiegato come terzino sinistro, senza però trovare abbastanza spazio al posto di Jay McEveley. Quando poi quest'ultimo verrà ceduto in prestito al Charlton, verrà schierato titolare per gran parte della stagione. Segna la sua prima rete con il club contro lo Sheffield Wednesday.

#### Sheffield United

Nell'estate del passa allo Sheffield United, debuttando contro i rivali del Doncaster Rovers, in un pareggio casalingo di 1-1.

#### Skoda Xanthi

Dopo essere stato svincolato dallo Sheffield United, nel giugno 2010 si trasferisce in Grecia allo Skoda Xanthi, dove rincontra il suo compagno di squadra Nathan Ellington.

#### Millwall

Il 7 luglio 2011 torna in Inghilterra con il Millwall, firmando un contratto annuale.

#### Notts County

Il 6 ottobre 2012 firma un contratto con il Notts County.

#### Coventry City

Nel marzo del 2013 Stewart viene acquistato dal Coventry City. Tuttavia la sua permanenza al club dura poco più di un mese, venendo svincolato dopo appena sei partite giocate.

#### San Jose Earthquakes

Nel luglio dello stesso anno si trasferisce ai San Jose Earthquakes, militante nella Major League Soccer.
# Júlio De Oliveira

Júlio Miotti De Oliveira (San Paolo, 8 giugno 1991) è un giocatore di calcio a 5 brasiliano naturalizzato italiano.

## Carriera
### Club

Portato giovanissimo in Italia dall'Aosta, nelle prime stagioni viene impiegato sia in prima squadra sia nella formazione Under-21 con cui raggiunge la finale scudetto persa contro il Terni. Nell'estate 2011 si trasferisce all'Asti, dove nella prima è impiegato principalmente nell'Under-21. Con la prima squadra è inserito nella lista dei convocati per la fase finale della Coppa Italia, vinta dai piemontesi. Nella manifestazione, tuttavia, De Oliveira non viene mai schierato. Nelle stagioni seguenti il pivot si ritaglia gradualmente più spazio, aiutando la prima squadra a vincere nel 2013-14 la Winter Cup. Nella prima edizione assoluta, De Oliveira si laurea capocannoniere di questa manifestazione, grazie soprattutto ai 13 goal siglati contro la Marca Futsal, che nel doppio confronto aveva tuttavia schierato la formazione Juniores. La stagione successiva si trasferisce in prestito all'Acqua e Sapone per giocare con più continuità.

### Nazionale

Punto di forza della Under 21 di Raoul Albani, viene incluso dallo stesso selezionatore nella Nazionale sperimentale che il 6 e il 7 gennaio 2013 partecipa a una tournée benefica in Thailandia. Nel giugno dello stesso anno il ct Roberto Menichelli lo convoca a uno stage della Nazionale maggiore con cui esordisce nel duplice incontro amichevole contro il Vietnam. In quest'occasione mette a segno la sua prima rete con la maglia azzurra. Il 28 gennaio 2018 viene inserito da Roberto Menichelli nella lista definitiva dei convocati per il campionato europeo del 2018. Inizialmente escluso dalla lista dei convocati per l'edizione successiva, il 24 gennaio 2022 De Oliveira viene richiamato in sostituzione dell'infortunato Gabriel Motta.

## Palmarès
### Competizioni giovanili

* Coppa Italia Under-21: 1
    Asti: 2012-13

### Competizioni nazionali

* Campionato italiano: 4
    Asti: 2015-16
    A&S: 2017-18
    Italservice: 2020-21, 2021-22
* Coppa Italia: 5
    Asti: 2011-12
    A&S: 2017-18, 2018-19
    Italservice: 2020-21, 2021-22
* Supercoppa italiana: 4
    A&S: 2014, 2018
    Italservice: 2021, 2022
* Winter Cup: 2
    Asti: 2013-14
    A&S: 2016-17
# Christopher Teichmann

Christopher Teichmann (Siegen, 13 ottobre 1995) è un ex calciatore tedesco naturalizzato svizzero, di ruolo centrocampista.
# Song Tao

Song Tao (宋涛, Sòng Tāo; Jimo, 6 novembre 1965) è un ex cestista cinese.
È il marito di Peng Ping.

## Carriera

È stato selezionato dagli Atlanta Hawks al terzo giro del Draft NBA 1987 (67ª scelta assoluta).
Ha partecipato al mondiale 1986, segnando 60 punti in 6 partite.
# Altin Hoxha

Altin Hoxha (Durazzo, 21 ottobre 1990) è un calciatore albanese, centrocampista svincolato.
# Damien Inglis

Damien Inglis (Caienna, 20 maggio 1995) è un cestista francese, selezionato come 31ª scelta assoluta al Draft NBA 2014 dai Milwaukee Bucks.

## Carriera

Dopo tre anni nelle giovanili del Centre Fédéral, ha esordito da professionista con il Roanne nel 2013, disputando 27 partite in Pro A.
È stato selezionato dai Milwaukee Bucks al secondo giro del Draft NBA 2014 (31ª scelta assoluta).

## Palmarès

* Coppa di Francia: 1
    Strasburgo: 2017-18
* Eurocup: 2
    Monaco: 2020-21
    Gran Canaria: 2022-23
# Jovan Novak

Jovan Novak (in serbo Јован Новак; Vršac, 8 novembre 1994) è un cestista serbo.
# Tayfun Erülkü

Tayfun Erülkü (İzmir, 22 febbraio 1994) è un cestista turco.
# Jakub Paur

Jakub Paur (Višňové, 4 luglio 1992) è un calciatore slovacco, centrocampista dello Spartak Trnava.

## Carriera
### Club

Ha sempre giocato nel campionato slovacco.

### Nazionale

Con la nazionale Under-21 ha partecipato alle qualificazioni agli europei di categoria.

## Palmarès
### Club
#### Competizioni nazionali

* Supercoppa di Slovacchia: 1
    Žilina: 2012
* Coppa di Slovacchia: 1
    Spartak Trnava: 2022-2023
# Tatsuya Uchida

Tatsuya Uchida (内田 達也, Uchida Tatsuya; Hyogo, 8 febbraio 1992) è un calciatore giapponese, centrocampista del Tiamo Hirakata.
# Chris Goulding

Christopher John Goulding (Launceston, 24 ottobre 1988) è un cestista anglo-australiano.

## Carriera

Nella notte del 21 febbraio 2016 trova un accordo con la società italiana Auxilium CUS Torino.
Con l'Australia ha disputato due edizioni dei Giochi olimpici (Rio de Janeiro 2016, Tokyo 2020), due dei Campionati mondiali (2014, 2019) e i Campionati oceaniani del 2015.
# Aleksandr Kulinitš

Aleksandr Kulinitš (Tallinn, 24 maggio 1992) è un calciatore estone, difensore del Rostocker.

## Caratteristiche tecniche

Terzino destro, può giocare anche da difensore centrale.

## Carriera
### Club

Vanta 9 presenze nella competizioni UEFA per club.

## Palmarès
### Club
#### Competizioni nazionali

* Coppa d'Estonia: 3
    Levadia Tallinn: 2009-2010, 2011-2012
    FCI Tallin: 2016-2017
* Supercoppa d'Estonia: 3
    Levadia Tallinn: 2010, 2013
    FCI Tallin: 2017
* Campionato estone: 2
    Levadia Tallinn: 2013
    FCI Tallin: 2016
# Andrej Lemanis

Andrej Marcus Lemanis (Melbourne, 18 marzo 1969) è un ex cestista e allenatore di pallacanestro australiano.

## Carriera

Dal 2013 guida l'Australia, dopo esserne stato vice allenatore dal 2009 al 2012. In precedenza (2005-2013) ha allenato i New Zealand Breakers, con cui ha vinto tre National Basketball League.
Da cestista ha vinto un titolo NBL con la maglia dei South East Melbourne Magic nel 1992.

## Palmarès
### Giocatore

* National Basketball League: 3
    South East Melbourne Magic: 1992

### Allenatore

* National Basketball League: 3
    New Zealand Breakers: 2011, 2012, 2013
* National Basketball League Coach of the Year: 2 (2011, 2013)
# Alberto Boggio

Alberto Osvaldo Boggio (Bahía Blanca, 14 agosto 1969) è un ex calciatore argentino, di ruolo difensore.
# Dries Wuytens

Dries Wuytens (Bruxelles, 18 marzo 1991) è un calciatore belga, difensore dello SK Beveren.

## Carriera
### Club

Cresciuto nella società olandese del PSV, nel 2011 si trasferisce ai belgi del Beerschot giocando per due stagioni in massima serie con 21 presenze all'attivo. Nel 2013 si trasferisce al Willem II con cui ottiene la promozione in Eredivisie al termine della stagione 2013-2014, esordendo quindi anche nella massima serie del campionato olandese.

### Nazionale

Con la nazionale Under-21 belga ha disputato alcune partite di qualificazione agli Europei di categoria del 2015.

## Palmarès
### Club
#### Competizioni nazionali

* Eerste Divisie: 1
    Willem II: 2013-2014
# Logica dimostrativa

La logica dimostrativa è una logica modale nella quale l'operatore di necessità è interpretato come "è dimostrabile che". Il fine è quello di catturare il predicato di prova di una teoria formale, ragionevolmente ricca, come l'aritmetica di Peano.

## Descrizione

Il sistema fondamentale è in genere chiamato GL (dalle iniziali di Kurt Gödel e Martin Löb), o anche L o K4W (in cui W sta per ben fondato). Esso può essere ottenuto associando la versione modale del teorema di Löb alla logica K (K4).
Indicativamente, gli assiomi di GL sono tutte tautologie di una logica proposizionale classica in aggiunta a tutte le formule di una delle seguenti forme:
* assioma di distribuzione:$\Box (p\to q)\to (\Box p\to \Box q)$;
* assioma di Löb: $\Box (p\to p)\to \Box p$.
Le regole di inferenza sono:
* modus ponens: dato $p$ e $p\to q$ si conclude che $q$;
* necessitazione: dato $\vdash$ e $p$, si conclude che $\vdash \Box p$.

## Storia

Il modello GL fu elaborato per la prima volta da Robert M. Solovay nel 1976. Il principale ispiratore fu George Boolos da allora sino alla sua morte nel 1996.
Significativi contributi alla materia arrivarono da Sergei N. Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Giovanni Sambin, Vladimir Shavrukov, Albert Visser.

## Esempi

Alcuni dei molti utilizzi sono: la logica interpretativa e la logica polimodale di Japaridze che presentano estensioni naturali della logica dimostrativa.