hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
FreeBASIC
Il FreeBASIC è un compilatore BASIC multipiattaforma libero e open source (distribuito con licenza GPL) per i sistemi Microsoft Windows, DOS (in modalità protetta), Linux e FreeBSD.

Il FreeBASIC ha una sintassi molto simile a quella del QuickBASIC ma con un certo numero di caratteristiche aggiuntive. La compatibilità è buona tanto che diversi programmi scritti per il QuickBASIC possono essere compilati ed eseguiti senza nessuna modifica al codice.

GNU General Public License
La GNU General Public License (comunemente indicata con l'acronimo GNU GPL o semplicemente GPL) è una licenza fortemente copyleft per software libero, originariamente stesa nel 1989 da Richard Stallman per patrocinare i programmi creati per il sistema operativo GNU. Infatti, a differenza di altre licenze libere non-copyleft, un'opera protetta da GNU GPL deve rimanere libera, ovvero col susseguirsi delle modifiche deve continuare a garantire ai suoi utenti le cosiddette quattro libertà.

La Free Software Foundation può pubblicare nuove revisioni o versioni, l'ultima delle quali fu pubblicata il 29 giugno del 2007 sotto il nome di GNU GPL v3. Il nome della licenza (General Public) è dovuto al fatto che l'autore di un qualsiasi software può applicare la licenza così com'è. L'editor di testo Emacs e il kernel Linux sono esempi di software molto diffusi che per primi adottarono tale licenza.
Adalbert Geheeb
Adalbert Geheeb (Geisa, 21 marzo 1842 – Königsfelden, 13 settembre 1909) è stato un botanico tedesco, specializzato in funghi.

Figlio di una coppia di farmacisti, studiò appunto farmacia per occuparsi del negozio di famiglia. S'occupò però anche di storia naturale, in particolare volse il suo lavoro allo studio ed alla classificazione dei funghi ndel massiccio del Rhön, nel Nord della Baviera. Pubblicò le sue scoperte botaniche nel suo Rhönführer. Fu anche un discreto illustratore.

Nel 1909 scrisse ad Ernst Haeckel una lettera, nella quale affermava che il suo erbario contava 1 300 specie. I botanici dedicarono a Geheeb il genere Geheebia e la specie Brachythecium geheebii.

Suo figlio fu il pedagogo Paul Geheeb.

Geisa
Geisa è una città di 4 777 abitanti della Turingia, in Germania.

Appartiene al circondario della Wartburg.

Svolge il ruolo di "comune amministratore" (Erfüllende Gemeinde) nei confronti dei comuni di Buttlar, Gerstengrund e Schleid.
Skopeftirion
Lo Scopeftirion (in greco Σκοπευτήριο?) è un poligono di tiro situato a Kallithea e costruito tra il 1895 e il 1896 per ospitare le gare di tiro a segno ai Giochi della I Olimpiade.

La realizzazione di questa struttura fu resa possibile dai fondi stanziati per la costruzioni delle sedi di gara della manifestazione olimpica da parte di Evangelos Zappas.

All'inizio del XX secolo, molti sfollati della guerra greco-turca arrivarono a Kallithea e inizialmente utilizzarono l'area del poligono di tiro come spazio abitativo; altri emigranti fecero lo stesso negli anni '30. Dal 1941, in seguito all'occupazione nazista della Grecia, la struttura divenne una prigione, venendo poi definitivamente demolita nel 1966.

Evangelis Zappas
Evangelis Zappas (in greco Ευαγγέλης Ζάππας?; Labovë, 23 agosto 1800 – Bucarest, 19 giugno 1865) è stato un imprenditore e filantropo greco.

Durante la sua giovinezza, prese parte alla guerra d'indipendenza greca (1821-1830), ricevendo il titolo di Maggiore e combattendo in numerose e importanti battaglie. Dopo l'indipendenza greca, si trasferì in Valacchia, dove ebbe una brillante carriera come uomo d'affari e imprenditore, diventando uno dei più ricchi uomini dell'epoca nell'Europa dell'est.

Nel 1859, sponsorizzò i primi giochi olimpici internazionali dell'era moderna, i Giochi olimpici di Zappas, divenendo noto internazionalmente per essere uno dei principali fautori della nascita dei Giochi olimpici moderni. A fianco della sua volontà di far rivivere le Olimpiadi, è noto in Grecia per la sua attività filantropica e benefica; Zappas infatti fondò numerosi istituti greci e si fece carico della costruzione dello Zappeion, sede del torneo di scherma ai Giochi della I Olimpiade.
Daganbhuiyan
Daganbhuiyan è un sottodistretto (upazila) del Bangladesh situato nel distretto di Feni, divisione di Chittagong. Si estende su una superficie di 165,84 km² e conta una popolazione di 204.975 abitanti (dato censimento 1991).

Divisione di Chittagong
La Divisione di Chittagong è una delle divisioni amministrative del Bangladesh, che ha come capoluogo la città di Chittagong. Questa divisione si trova nell'area sud-est del paese, con una superficie totale di 33.771 km² ed una popolazione (secondo il censimento del 2011) di 28.079.000 abitanti.
Servizio internazionale delle latitudini
Il servizio internazionale delle latitudini o ILS era una rete di osservatori astronomici, composta in origine di sei osservatori posizionati tutti approssimativamente sulla latitudine nord di 39° 08', usata per misurare la variazione di latitudine risultante dall'oscillazione dell'asse di rotazione della Terra.
I sei osservatori originali erano situati in: Carloforte (Italia), Charjui (Turkestan), Cincinnati (Ohio, Usa), Gaithersburg (Maryland, Usa), Mizusawa e Ukiah (California, Usa).

Osservatorio astronomico
Un osservatorio astronomico è una struttura preposta all'osservazione dello spazio cosmico tramite opportuna strumentazione astronomica. In genere il suo nome è associato all'installazione di uno o più telescopi.
Mari Törőcsik
Mari Törőcsik (Pély, 23 novembre 1935 – Szombathely, 16 aprile 2021) è stata un'attrice ungherese di cinema, teatro e tv.

Nel 1976, vinse al 29º Festival di Cannes il Premio per la miglior interpretazione femminile per il film Déryné hol van?.

Szombathely
Szombathely (pronuncia ungherese [ˈsombɒthɛj]) (in latino: Savaria o Sabaria o Sabatia; in tedesco: Steinamanger; in croato Sambotel; in slovacco Kamenec; in serbo Coмбатхељ, Sombathelj) è la città più antica dell'Ungheria, capoluogo della contea di Vas.
N-Space
n-Space è stata un'azienda statunitense sviluppatrice di videogiochi, fondata nel 1994 da Erick S. Dyke, Dan O'Leary, e Sean Purcell. Dal 2001 l'azienda si è concentrata nello sviluppo di titoli per console Nintendo.

Die Hard Trilogy 2: Viva Las Vegas
Die Hard Trilogy 2: Viva Las Vegas è un videogioco, sequel di Die Hard Trilogy, basato sui primi tre capitoli della serie cinematografica Die Hard. È stato pubblicato il 29 febbraio 2000 per PlayStation e Microsoft Windows dalla Fox Interactive.

Come il suo predecessore, il gioco contiene tre differenti stili di gameplay, ma a differenza di Die Hard Trilogy, che era basato sulla trama dei film della serie Die Hard, Die Hard Trilogy 2 segue una storia originale.
Sergio Higuita
Sergio Andrés Higuita García (Medellín, 1º agosto 1997) è un ciclista su strada colombiano che corre per il team XDS Astana. Professionista dal 2017, ha vinto una tappa alla Vuelta a España 2019 e la Volta Ciclista a Catalunya 2022.

1º agosto
Il 1º agosto o primo agosto è il 213º giorno del calendario gregoriano (il 214º negli anni bisestili). Mancano 152 giorni alla fine dell'anno.

In quanto primo del mese, a differenza degli altri giorni, è solitamente scritto con l'indicatore ordinale. Tuttavia, sebbene sconsigliabile, è in aumento l'uso della forma con il numerale cardinale (1 agosto).
Grande Mèsule
Il Grande Mèsule (detto anche Monte Mesule - Großer Möseler in tedesco - 3.478 m s.l.m.) è una montagna delle Alpi dei Tauri occidentali (sottosezione Alpi della Zillertal). Si trova sulla linea di confine tra l'Italia (Trentino-Alto Adige) e l'Austria (Tirolo).

La montagna fu salita per la prima volta il 16 giugno 1865 da G. H. Fox, Douglas William Freshfield, Francis Fox Tuckett, François Devouassoud e Peter Michel.

Tirolo (Austria)
Tirolo è un land austriaco di 757 852 abitanti.

Lo Stato federato del Tirolo, o semplicemente Tirolo (in tedesco Land Tirol o Tirol ), è uno degli Stati federati (Länder) dell'Austria, composto da due parti, il Tirolo del Nord (Nordtirol) e il Tirolo Orientale (Osttirol).
Moselle Open 2024
Il Moselle Open 2024 è stato un torneo di tennis professionistico che si è giocato su campi di cemento indoor. È stata la 21ª edizione del torneo facente parte della categoria ATP Tour 250 nell'ambito dell'ATP Tour 2024. Si è giocato all'Arènes de Metz a Metz, in Francia, dal 3 al 9 novembre 2024.

ATP Tour 2024
L'ATP Tour 2024 è un insieme di tornei organizzati dall'ATP comprendente i tornei del Grande Slam (supervisionati dall'ITF), le ATP Finals, i Masters 1000, gli ATP 500, gli ATP 250 e la United Cup. Il programma comprendeva anche la Coppa Davis (organizzata dall'ITF), il torneo olimpico, le Next Gen ATP Finals e la Laver Cup.
Storia della Sicilia angioina
Il governo dei sovrani della dinastia Angioina in Sicilia durò dal 1266, quando il re della dinastia di origine sveva Manfredi di Sicilia, figlio naturale di Federico II di Svevia, venne sconfitto e  ucciso a Benevento da Carlo d'Angiò, fratello del re di Francia. Ma il governo dei sovrani angioini in Sicilia ebbe breve durata e si concluse già nel 1282 con la rivolta dei Vespri siciliani e la conquista aragonese.

Manfredi di Sicilia
Manfredi di Hohenstaufen, o Manfredi di Svevia o Manfredi di Sicilia (1232 – Benevento, 26 febbraio 1266), è stato l'ultimo sovrano Hohenstaufen del Regno di Sicilia. Figlio naturale, successivamente legittimato, dell'imperatore Federico II di Svevia e di Bianca Lancia, fu reggente per il nipote Corradino dal 1254, poi re di Sicilia dal 1258. Morì durante la battaglia di Benevento, sconfitto dalle truppe di Carlo I d'Angiò.
Pompei (romanzo)
Pompei è un romanzo di Robert Harris, pubblicato nel 2003. È un romanzo storico ambientato nei giorni prima dell'eruzione del Vesuvio del 23 agosto 79 d.C., che colpì le città campane di Pompei, Ercolano e Stabia.

Nel romanzo è presente anche un personaggio realmente esistito: Plinio il Vecchio, che fu presente durante l'eruzione. L'autore fa inoltre riferimento a vari aspetti della vulcanologia, e utilizza il calendario romano per datare gli avvenimenti.

Ercolano (città antica)
Ercolano (in latino Herculaneum) è un'antica città, corrispondente all'attuale Ercolano, la cui storia ebbe origine dal XII secolo a.C. per terminare nel 79 d.C. quando, a seguito dell'eruzione del Vesuvio, venne ricoperta sotto una coltre di materiali vulcanici, che col tempo si solidificarono in una massa tufacea.

Gli scavi della città, iniziati nel 1710, hanno riportato alla luce un sito archeologico entrato a far parte della lista dei patrimoni dell'umanità dell'UNESCO nel 1997.
Masia
La masia è un tipo di costruzione rurale, molto comune nella vecchia Catalogna, che deriva dalle antiche ville romane. Si tratta di una costruzione isolata legata ad una azienda agricola di carattere familiare.

Gli elementi utilizzati per la loro costruzione sono cambiati nel corso del tempo e a seconda della loro localizzazione geografica. Durante il Medioevo, le pietre delle costruzioni erano tenute insieme dal fango, finché non venne sostituito dalla calce o dal cemento. Nei luoghi in cui la pietra scarseggiava veniva invece usato l'adobe.

La maggior parte delle case presenta la facciata principale rivolta a sud e la loro pianta di solito non superava i cinque metri, con una copertura di travi di legno collocate perpendicolarmente alla facciata rivestita con piastrelle o mattonelle. Nelle zone pirenaiche si usava una copertura in ardesia. Sovente povere d'interesse artistico, molte masies si sono convertite in agriturismi.

Calce
La calce è una tipologia di materiali da costruzione, noti fin dall'antichità, ottenuti per cottura a temperatura elevata di calcare, marmo, conchiglie o altri materiali contenenti carbonato di calcio, di colore giallino.
Sovetskij (Circondario autonomo degli Chanty-Mansi-Jugra)
Sovetskij (anche traslitterata come Sovetsky o Sovetski) è una cittadina della Russia siberiana occidentale, situata nel Circondario autonomo degli Chanty-Mansi; sorge a breve distanza dal corso del fiume Konda, 470 chilometri ad occidente di Chanty-Mansijsk. È il capoluogo del rajon Sovetskij.

Fondata nel 1963 durante la costruzione della ferrovia che congiungeva la città di Ivdel' al fiume Ob'; fu dichiarata città nel 1997.

La cittadina è servita da un aeroporto (Tjumenskaja).

Ob'
L'Ob' (talvolta traslitterato Obi; in russo: Обь [opʲ] oppure [ɔbʲ]; in altai Оп, Op) è un fiume artico della Siberia occidentale (Russia). Si forma nella zona pedemontana settentrionale dei monti dell'Altaj e, dopo aver attraversato il bassopiano siberiano occidentale, sfocia nel Mare di Kara, che è parte del Mare Glaciale Artico.

È noto agli ostiachi con i nomi di As, Yag, Kolta e Yema, ai samoiedi come Kolta o Kuay e ai tatari di Siberia come Omar o Umar.

L’Ob ha una lunghezza di 3.650 km dalla sorgente al mare di Kara. Se si considera invece come sorgente quella del suo principale affluente, l'Irtyš, diventa di 5.410 km. Pertanto, l'insieme Ob'-Irtyš può essere annoverato tra i fiumi più lunghi del mondo.
Linktree
Linktree è una landing page freemium per social media sviluppata da Alex Zaccaria, Anthony Zaccaria e Nick Humphreys, con sede a Melbourne, Australia. Fondata nel 2016, funge da pagina di destinazione e aggregatore per tutti i collegamenti di una persona o un'azienda ai propri social media (Youtube, Facebook, Instagram, Twitch, e così via) i quali solitamente non consentono collegamenti ipertestuali multipli nei profili degli utenti.

L'utente può personalizzare l'aspetto della propria pagina con alcuni accorgimenti grafici e, nel caso possegga un account a pagamento (scegliendo tra le opzioni Starter, Pro e Premium), ha a disposizione ulteriori funzioni di analisi del traffico, sfondi, bottoni, animazioni e template. Il sito consente anche di creare QR code.

Twitch
Twitch è una piattaforma di streaming in diretta di proprietà di Amazon.com. È stata lanciata il 6 giugno 2011 come spin-off della piattaforma analoga Justin.tv come piattaforma dedicata ai videogiochi. Nonostante sia tuttora incentrata principalmente sui videogiochi ed è leader del settore nelle trasmissioni di eventi e competizioni e-sportive, presenta anche trasmissioni dedicate a contenuti di vari argomenti e dirette dal vivo (in real life). I contenuti possono essere visti sia in diretta sia in differita.

Nel 2024 Twitch conta 35 milioni di utenti attivi al giorno, e oltre un milione di utenti online a qualsiasi ora.
Antoine Gimenez
Antoine Gimenez, all'anagrafe Bruno Salvadori (Chianni, 14 dicembre 1910 – Marsiglia, 26 dicembre 1982), è stato un anarchico e rivoluzionario italiano.

La sua singolare e complessa vicenda umana e politica è legata indissolubilmente alla guerra civile spagnola. Vicenda che, grazie anche alle sue memorie, ampiamente commentate, ed uscite nel 2006 in Francia, con il titolo de Les fils de la nuit, in Spagna, con il titolo de Los hijos de la noche e nel 2007 anche in lingua italiana con il titolo modificato di Amori e rivoluzione, a cura di un gruppo di ricercatori e estimatori che si sono dati l'appellativo di Giménologues,  è venuta soltanto tardivamente alla luce rivelando preziose testimonianze dirette sulla guerra di Spagna, soprattutto quella combattuta sul fronte d'Aragona, e sull'esperienza anarchica nella Catalogna e nella Barcellona di Buenaventura Durruti. L'edizione italiana delle memorie di Antoine Gimenez è stata pubblicata dalle Edizioni La Baronata, di Lugano.

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.
1º ottobre
Il 1º ottobre o primo ottobre è il 274º giorno del calendario gregoriano (il 275º negli anni bisestili). Mancano 91 giorni alla fine dell'anno.

In quanto primo del mese, a differenza degli altri giorni, è solitamente scritto con l'indicatore ordinale. Tuttavia, sebbene sconsigliabile, è in aumento l'uso della forma con il numerale cardinale (1 ottobre).

Fino alla legge n. 517 del 4 agosto 1977, il primo ottobre era in Italia la data di inizio di tutte le scuole e, poiché in questo giorno viene celebrato San Remigio (in quanto il 1º ottobre 1701 vi fu la traslazione delle sue reliquie), i bambini di prima elementare (oggi scuola primaria) erano detti "remigini".

Scuola primaria in Italia
La scuola primaria in Italia, rappresenta, nell'ordinamento scolastico italiano, il primo livello del primo ciclo di studio dell'istruzione obbligatoria. È normalmente suddivisa in cinque classi, in Italia complessivamente chiamate elementari.

L'espressione scuola primaria fu introdotta ufficialmente in Italia nel 2003, per una scelta contenuta nella riforma Moratti. Il termine "elementare" fa riferimento al fatto che nella scuola così definita si insegnano le basi della conoscenza, gli elementi fondamentali della scienza, dell'arte e dello studio in genere. È rimasto nell'uso comune perché per molti decenni, fino al 2003, era la denominazione ufficiale di tale ciclo.

Dura cinque anni, dai 6 agli 11 anni. È preceduta dalla scuola dell'infanzia, comunemente detta scuola materna, ed è seguita dalla scuola secondaria di primo grado, comunemente detta scuola media.
Gran Palazzo
Il Gran Palazzo (in latino Magnum Palatium, in greco Μέγα Παλάτιον?, in turco Büyük Saray) di Costantinopoli, anche noto come Sacro Palazzo (in latino Sacrum Palatium, in greco Ιερόν Παλάτιον?) o Palazzo della Magnaura, era un ampio complesso palaziale dell'Impero romano d'Oriente posto al limite sud-orientale della penisola su cui sorge la città, nei pressi dell'Ippodromo e di Basilica di Santa Sofia e Santa Irene. Servì come principale residenza degli imperatori romani d'Oriente dal 330 al 1081 e fu per quasi 800 anni il cuore dell'amministrazione imperiale. Abbandonato nel corso del XIII secolo e definitivamente demolito in seguito alla presa di Costantinopoli da parte di Maometto II, ne sono stati ultimamente riportati alla luce alcuni mosaici, visitabili in situ nel Museo del Mosaico.

Teofilo (imperatore)
Teofilo (in greco: Θεόφιλος; 813 – Costantinopoli, 20 gennaio 842) è stato un imperatore bizantino, fu Basileus dei Romei dal 2 ottobre 829 fino alla sua morte.

Era figlio dell'imperatore Michele II (820-829) e della sua prima consorte Tecla.
Survivor Series 2011
Survivor Series 2011 è stata la venticinquesima edizione dell'omonimo evento in pay-per-view prodotto annualmente dalla WWE. L'evento si è svolto il 20 novembre 2011 al Madison Square Garden di New York City (New York).

Madison Square Garden
Il Madison Square Garden, conosciuto anche come MSG, The World’s Most Famous Arena, o più semplicemente The Garden, è un famoso impianto sportivo che sorge a Manhattan, nella città di New York, negli Stati Uniti. Dal 1968 è l’arena casalinga dei New York Knicks dell’NBA e dei New York Rangers dell’NHL.

Nel basket è conosciuto anche come “The Mecca”.

Ha cambiato sede più volte: attualmente è sulla 7º Avenue, tra la 31º e la 33º strada. Presta il nome al Madison Square Garden Network, un canale satellitare che trasmette molti degli eventi che vi si tengono.
Banja Luka Challenger 2023 - Doppio
Il doppio maschile del torneo di tennis professionistico Banja Luka Challenger 2023, facente parte della categoria Challenger 100 nell'ambito dell'ATP Challenger Tour 2023, si è giocato dal 7 al 13 agosto 2023 a Banja Luka, in Bosnia ed Erzegovina.
Vladyslav Manafov e Oleg Prihodko erano i detentori del titolo ma hanno scelto di difendere il titolo con compagni diversi: Manafov ha giocato in coppia con Ivan Liutarevich ma sono stati eliminati al primo turno da Andrej Golubev e Denys Molčanov mentre Prihodko ha giocato in coppia con Denis Klok ma sono stati eliminati al primo turno da Viktor Durasovic e Akira Santillan.

In finale Victor Vlad Cornea e Philipp Oswald hanno sconfitto Andrej Golubev e Denys Molčanov con il punteggio di 3–6, 6–1, [15–13].

Banja Luka
Banja Luka (in cirillico serbo Бањалука o Бања Лука; in tedesco storico Weina Luka o Luka) è la seconda più grande città metropolitana della Bosnia ed Erzegovina, nonché il capoluogo della Repubblica Serba di Bosnia, e della storica regione della Bosanska Krajina. Ha 254.882 abitanti al censimento del 1 febbraio 2026.

Ospita il governo dell'entità amministrativa della Republika Srpska, è il centro della regione di Banja Luka e di una municipalità omonima. La città è un importante centro culturale ed è conosciuta nel resto del Paese per la sua travagliata storia, che risale all'Alto Medioevo. È situata nella Bosnia nord-occidentale, su entrambe le sponde del fiume Vrbas che, originato da una gola di roccia, scorre nella pianura pannonica. L'intera città è piena di viali alberati, giardini e parchi.
Star Trek (videogioco 1971)
Star Trek è un videogioco strategico testuale ispirato alla serie televisiva Star Trek, realizzato non commercialmente da Mike Mayfield nel 1971 tramite linguaggio BASIC e inizialmente diffuso su mainframe e minicomputer. Il gioco ha raggiunto una grande popolarità dopo l'inclusione del codice sorgente nel libro BASIC Computer Games di David H. Ahl, in una versione denominata Super Star Trek (1978). Venne poi riprodotto in innumerevoli rifacimenti e varianti per personal computer.

Codice sorgente
In informatica, il codice sorgente (spesso detto sorgente o codice o listato) è il testo di un algoritmo di un programma scritto in un determinato linguaggio di programmazione, compreso all'interno di un file sorgente, che definisce il flusso di esecuzione del programma stesso, ovvero la sua codifica software.

Il codice sorgente, scritto in un linguaggio di programmazione leggibile dagli esseri umani, fornisce indicazioni ai computer affinché questi possano tradurle (compilarle) in linguaggio macchina, costituendo così la base di siti web e programmi. Il processo di compilazione include i link alle librerie di sistema.

Per estensione, l'espressione "codice sorgente" viene utilizzata anche per riferirsi a testo scritto in linguaggi informatici non di programmazione, come i linguaggi di markup (ad esempio HTML o XML) o i linguaggi di interrogazione, come Structured Query Language (SQL)
Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine, detto anche logica dei predicati del primo ordine,  è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni ..." (∀) ed "esiste..." (∃). L'espressione "del primo ordine" indica che c'è un insieme di riferimento e i quantificatori possano riguardare solo gli elementi di tale insieme e non i sottoinsiemi; ad esempio si può dire "per tutti gli x elementi dell'insieme vale P(x)" ma non si può dire "per tutti i sottoinsiemi A vale P(A)" (le teorie in cui ci sono quantificatori che spaziano sui sottoinsiemi dell'insieme di riferimento sono dette invece del secondo ordine).

Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di  oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere. Sovente si suppone che l'alfabeto sul quale è costruito il linguaggio sia un insieme finito.
Yagba West
Yagba West è una delle ventuno aree a governo locale (local government areas) in cui è suddiviso lo stato di Kogi, in Nigeria. Estesa su una superficie di 1.276 km², conta una popolazione di 149.023 abitanti.

Stati federati della Nigeria
Gli Stati federati della Nigeria sono la suddivisione territoriale di primo livello del Paese e sono pari a 36; ad essi è equiordinato il Territorio della Capitale Federale (Federal Capital Territory).

Gli Stati si suddividono a loro volta in aree di governo locale, complessivamente pari a 774.