hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Ivan Popov (scacchista)
Ivan Vladimirovič Popov (in russo Иван Владимирович Попов?; Rostov sul Don, 20 marzo 1990) è uno scacchista russo.

Ha ottenuto il titolo di Grande maestro nel 2007.

Alcuni risultati di rilievo:

2006 – vince la quarta edizione del "Torneo delle giovani stelle" di Kiriši, davanti fra gli altri a Fabiano Caruana e Jan Nepomnjaščij; pari secondo a Voronež, dietro a Denis Chismatullin;

2007 – pari primo a Serpuchov con Vladimir Romanenko; vince il campionato russo juniores (under 20) a San Pietroburgo; vince il Campionato del mondo under 18 di Adalia; vince il torneo di Vladimir;

2013 – pari primo con S.P. Sethuraman a Hyderabad;

2015 – in gennaio vince il 7º open internazionale di Chennai in India; in dicembre vince il Campionato europeo rapid a Minsk in Bielorussia;;

2019 – in aprile vince con 7,5 /9 il Campionato di Mosca.

Ha raggiunto il massimo punteggio Elo FIDE in settembre 2015, con 2661 punti.

Denis Chismatullin
Denis Rimovič Chismatullin, in russo Денис Римович Хисматуллин, noto come Denis Khismatullin in occidente, (Neftekamsk, 28 dicembre 1984), è uno scacchista russo.

Nel 2004 è diventato il primo Grande maestro della Baschiria.

Ha raggiunto il punteggio FIDE più alto in marzo 2014, con 2714 punti Elo.
Ooliab
Ooliàb (in ebraico: אָהֳלִיאָב, traslitterato ’Āholî’āḇ, col significato di "tenda del padre") è un personaggio biblico, figlio di Achisamach, della tribù di Dan.

Maestro di carpenteria, tessitura e ricamo, lavorò insieme a Bezaleel alla costruzione del Tabernacolo e della stessa Arca dell'Alleanza.

Arca dell'Alleanza
L'Arca dell'Alleanza (in ebraico ארון הברית, ʾĀrôn habbərît, pronuncia moderna /aˌʀon habˈʀit/), conosciuta anche come l'Arca del Patto, l'Arca della Testimonianza o l'Arca di Dio, è una sacra reliquia della tradizione ebraica, descritta come una cassa rivestita interamente d'oro che, secondo la tōrāh, era il simbolo dell'alleanza tra Dio e il popolo d'Israele.

Secondo il Libro dell'Esodo, conteneva le due tavole di pietra dei Dieci Comandamenti. Il racconto biblico riferisce che circa un anno dopo l'esodo degli Israeliti dall'Egitto, l'arca fu creata per custodire le Tavole della Legge che Dio aveva dato a Mosè sul monte Sinai. Secondo la Lettera agli Ebrei del Nuovo Testamento, conteneva anche il bastone di Aronne e una pentola di manna. L'arca serviva come prova della presenza di Dio tra le dodici tribù di Israele.
Hans Forssell
Hans Ludvig Forssell (Gävle, 1843 – Mesocco, 1901) è stato un politico e storico svedese.

Ministro delle finanze dal 1875 al 1880, anno in cui venne eletto alla Camera Alta, fu acceso avversario del proibizionismo e caldeggiò l'unione economico-monetaria scandinava che si venne a formare sotto il suo ministero.

Nel 1881 è stato eletto membre dell'Accademia svedese. È succeduto nel seggio numero 1 a Anders Fryxell.

Morì a San Bernardino di Mesocco.

Proibizionismo
Con proibizionismo s'intende il periodo fra il 1920 e il 1933 in cui negli Stati Uniti d'America, tramite il XVIII emendamento e il Volstead Act, venne sancito il bando sulla fabbricazione, vendita, importazione e trasporto di alcool.
NGC 2768
NGC 2768 è una galassia ellittica situata prospetticamente nella costellazione dell'Orsa Maggiore alla distanza di 63 milioni di anni luce dalla Terra. 
Fa parte di un piccolo gruppo di galassie denominato Gruppo di NGC 2768 che include anche NGC 2654, NGC 2726, NGC 2742, UGC 4549 e MCG+10-13-066. Nel 1986 alcuni ricercatori (Lo, Sargent, Kowal e Smith) hanno identificato una debole galassia nana, [LSK86] 89, anch'essa probabilmente legata fisicamente a NGC 2768.

È una galassia di Seyfert in possesso di un nucleo galattico attivo per la presenza di un buco nero supermassiccio
In questa galassia sono stati rilevate 315 nebulose planetarie e 112 ammassi globulari.
Nel 2000 è stata individuata una supernova denominata SN 2000ds di tipo Ia.

Orsa Maggiore
L'Orsa Maggiore (in latino Ursa Major) è una costellazione tipica dei cieli boreali. Le sue sette stelle più luminose, raggruppate nel famoso asterismo del Grande Carro, sono visibili per tutto l'anno nell'emisfero nord e non tramontano mai a nord del 41°N (la latitudine di Napoli, Madrid e New York).

Questo gruppo di stelle è noto fin dai tempi più remoti e le storie che ad esso si legano sono le più svariate: il riferimento all'asterismo come un orso (le quattro stelle orientali) inseguito da tre cacciatori (le tre di coda) è probabilmente il più antico mito a cui l'umanità faccia ancora riferimento.

In altre parti del mondo vengono usati nomi diversi: in Nord America è il Grande mestolo, nel Regno Unito è "l'aratro" mentre Septem triones (i sette buoi) è il termine con cui gli antichi Latini definivano le sette stelle del Grande Carro descrivendone il lento movimento attorno alla stella polare (da qui l'origine del termine settentrione, cioè nord).
Madrid Open 2024 - Singolare maschile
Il singolare maschile del torneo di tennis professionistico Madrid Open 2024, facente parte della categoria ATP Tour Masters 1000 nell'ambito dell'ATP Tour 2024, si è giocato alla Caja Mágica di Madrid, in Spagna, dal 24 aprile al 5 maggio 2024. Tra i partecipanti era presente Carlos Alcaraz, il detentore del titolo, ma è stato eliminato ai quarti di finale da Andrej Rublëv.

In finale Rublëv ha sconfitto Félix Auger-Aliassime con il punteggio di 4-6, 7-5, 7-5.

Félix Auger-Aliassime
Félix Auger-Aliassime (Montréal, 8 agosto 2000) è un tennista canadese.

In singolare ha disputato ventidue finali del circuito maggiore e si è aggiudicato nove titoli, di cui tre ATP 500, nel novembre 2025 ha raggiunto la 5ª posizione della classifica mondiale.
Nei tornei del Grande Slam ha raggiunto la semifinale agli US Open 2021 e 2025 e i quarti di finale a Wimbledon 2021 e agli Australian Open 2022.

In doppio vanta la vittoria del Paris Masters 2020 in coppia con Hubert Hurkacz e ha raggiunto il 60º posto nel novembre 2021. Nel 2022 ha conquistato l'ATP Cup e la Coppa Davis, primo trionfo per la squadra canadese nella competizione.

Alle Olimpiadi di Parigi 2024 ha perso la finale per la medaglia di bronzo in singolare e vinto quella in doppio misto in coppia con Gabriela Dabrowski.
Independent Spirit Awards 2012
La cerimonia di premiazione della 27ª edizione degli Independent Spirit Awards si è svolta il 25 febbraio 2012 sulla spiaggia di Santa Monica ed è stata presentata da Seth Rogen.

Le nomination sono state rese note il 29 novembre 2011.

Alexander Payne
Constantine Alexander Payne (Omaha, 10 febbraio 1961) è un regista, sceneggiatore e produttore cinematografico statunitense.

I suoi film sono caratterizzati da un senso dello humor cattivo e descrivono, in modo satirico, vizi e virtù della società americana contemporanea. Payne è stato candidato agli Oscar 1999 per l'adattamento di Election; ha vinto l'Oscar 2005 e il Golden Globe nel 2005 per la sceneggiatura di Sideways - In viaggio con Jack. Ha vinto il suo secondo Oscar nel 2012 per la sceneggiatura di Paradiso amaro.
Chapel of Love
Chapel of Love è un singolo scritto da Jeff Barry, Ellie Greenwich e Phil Spector, reso famoso dalle Dixie Cups nel 1964, rimanendo tre settimane al primo posto dell Billboard Hot 100 negli Stati Uniti. La canzone descrive la felicità e l'eccitamento che prova il narratore il giorno del suo matrimonio. Negli anni sono state registrate diverse altre versioni del pezzo. La canzone è stata inserita alla posizione numero 279 nella lista delle 500 migliori canzoni secondo Rolling Stone.

Ellie Greenwich
Eleanor Louise Greenwich, detta Ellie (Brooklyn, 23 ottobre 1940 – New York, 26 agosto 2009), è stata una cantautrice e produttrice discografica statunitense.

Collaboratrice di Phil Spector e di Jeff Barry, ha scritto o coscritto diversi brani di successo soprattutto negli anni '60, come Be My Baby, Christmas (Baby Please Come Home), Da Doo Ron Ron, Leader of the Pack, Do Wah Diddy Diddy e River Deep - Mountain High.
Alexandria (Romania)
Alexandria è un municipio della Romania di 50 847 abitanti, capoluogo del distretto di Teleorman, nella regione storica della Muntenia.

La città è situata nella parte meridionale del Paese, a 88 km da Bucarest e a pochi chilometri dal Danubio e quindi dal confine con la Bulgaria; è attraversata dal fiume Vedea, affluente di sinistra dello stesso Danubio.

Vedea (fiume)
Il fiume Vedea è un fiume della Romania che scorre nella parte meridionale del paese.

È un affluente di sinistra del fiume Danubio, è lungo circa 224 km e il suo bacino imbrifero è pari a 5 430 km².

Nasce ai piedi delle Alpi Transilvaniche, il corso superiore attraversa un territorio collinare fino a giungere alla pianura del basso Danubio e sfociare nel Danubio poco ad est della cittadina di Zimnicea.
Giro di Germania 2007
Il Giro di Germania 2007, trentunesima edizione della corsa, si svolse in nove tappe dal 10 al 18 agosto 2007 per un percorso di 1 292,5 km. Fu vinto dal tedesco Jens Voigt, che terminò la gara in 30h 57' 21" alla media di 41,753 km/h davanti allo statunitense Levi Leipheimer e allo spagnolo David López García.

Le classifiche minori furono appannaggio di Erik Zabel, Niki Terpstra e Robert Gesink, rispettivamente vincitori della classifica a punti, di quella scalatori e di quella giovani.

Voigt riuscì ad aggiudicarsi la vittoria finale avvantaggiandosi prima nelle 2 corse a cronometro (conquistò sia quella a squadre che quella individuale) e restando in testa dalla seconda tappa in poi ininterrottamente. L'altro corridore che indossò la maglia di leader, provvisoriamente, fu l'altro tedesco Robert Forster, vincitore della prima tappa a Saarbrücken.

Sonthofen
Sonthofen (in dialetto svevo Sünthöf) è un comune tedesco di 20 990 abitanti, situato nel land della Baviera.

Come capoluogo circondariale dell'Alta Algovia, viene indicata quale città, in cui ha infatti la sua sede un circondario, e dove si trova il consiglio o l'amministrazione del circondario. La città ha ottenuto il titolo Città alpina dell'anno 2005.
Monte Cridola
Il monte Cridola (La Crìdule in friulano, Cròde de Medodì in ladino cadorino) (2.581 m s.l.m. - cima est) è una montagna delle Alpi Orientali (precisamente Dolomiti Friulane e d'Oltrepiave), situato nella zona denominata Oltrepiave a cavallo tra i comuni di Lorenzago di Cadore, Domegge di Cadore e Forni di Sopra.

Lingua friulana
Il friulano (furlan , lenghe furlane; marilenghe, "lingua madre") è una lingua romanza del gruppo retoromanzo.

Si è sviluppata a partire dal latino rustico aquileiese, mescolato a elementi celtici, a cui si sono poi aggiunti numerosi elementi slavi e germanici, in quanto i vari popoli di stirpe germanica (longobardi, goti, franchi, tedeschi) hanno dominato il Friuli per oltre 900 anni.

Già nel 1600, come dice Sergio Salvi, "(…) Era del resto opinione comune dei viaggiatori del tempo che il friulano fosse una sorta di francese oppure di spagnolo. Ma soltanto nel 1873, Ascoli dà forma compiutamente scientifica a queste opinioni diffuse."

Lo Stato italiano ha riconosciuto, nel 1999, la "minoranza linguistica storica friulana" e la sua lingua e cultura, con la legge 482/1999, articolo 2.
Cantone di Envermeu
Il Cantone di Envermeu era una divisione amministrativa dell'arrondissement di Dieppe.

È stato soppresso a seguito della riforma complessiva dei cantoni del 2014, che è entrata in vigore con le elezioni dipartimentali del 2015.

Comprendeva i comuni di

Assigny

Auquemesnil

Avesnes-en-Val

Bailly-en-Rivière

Bellengreville

Biville-sur-Mer

Brunville

Dampierre-Saint-Nicolas

Douvrend

Envermeu

Freulleville

Glicourt

Gouchaupre

Greny

Guilmécourt

Les Ifs

Intraville

Meulers

Notre-Dame-d'Aliermont

Penly

Ricarville-du-Val

Saint-Aubin-le-Cauf

Saint-Jacques-d'Aliermont

Saint-Martin-en-Campagne

Saint-Nicolas-d'Aliermont

Saint-Ouen-sous-Bailly

Saint-Quentin-au-Bosc

Saint-Vaast-d'Équiqueville

Sauchay

Tourville-la-Chapelle

Glicourt
Glicourt era un comune francese di 206 abitanti situato nel dipartimento della Senna Marittima nella regione della Normandia.
Il 1º gennaio 2016 si è fuso con altri 17 comuni per formare il nuovo comune di Petit-Caux di cui è divenuto comune delegato.
Solanum laxum
Solanum laxum Spreng., conosciuto in Italia con il nome volgare di gelsomino di notte, è una pianta rampicante sempreverde della famiglia delle Solanacee.

La specie, endemica dell'America meridionale, è diffusa in tutto il mondo in quanto coltivata come pianta ornamentale per i suoi fiori, bianchi, leggermente profumati a forma di stella con antere color giallo vivo, mantenendo tuttavia la tipica tossicità, se ingerito, delle piante appartenenti alla stessa famiglia a causa degli alcaloidi presenti.

Pianta rampicante
Con il termine piante rampicanti ci si riferisce a piante che hanno la capacità di appoggiarsi e arrampicarsi a pareti verticali o altre piante vicine. Le pareti ricoperte da queste piante favoriscono, inoltre, l'isolamento termico, acustico, nonché la protezione dalle intemperie.

Questa loro capacità permette la creazione di pareti fiorite o comunque ricoperte di verde, che hanno principalmente scopo ornamentale. La funzione di sostegno delle piante rampicanti può essere svolta dai viticci. Le rampicanti sono piante con un fusto molto lungo e flessibile e necessitano di appoggiarsi ad un sostegno per poter crescere.

Sono conosciute per l'utilità di avvolgere, addobbare e riempire muri, pali e recinzioni, e sono indispensabili nel caso di strutture da giardino come bersò, pergolati e graticci da giardino, appositamente costruite per esserne ricoperte. Alcune rampicanti sono piante sempreverdi, cioè capaci di mantenersi sempre verdi e vitali anche durante l'inverno.
Faustino Tanara
Faustino Tanara (Langhirano, 10 gennaio 1831 – 25 aprile 1876) è stato un patriota e militare italiano, partecipante alla spedizione dei Mille.

A Langhirano è stato fondato il Museo del Risorgimento Faustino Tanara, che raccoglie documenti e cimeli dell'epoca risorgimentale, sia di Tanara che degli altri 28 garibaldini langhiranesi.

A Parma gli è intitolato viale Faustino Tanara, un tratto della circonvallazione interna parallelo a viale Mentana.

Patriottismo
Il patriottismo è l'impegno profuso in nome della patria, in genere uno Stato-nazione, ma anche una regione o una città. Si esprime ad esempio attraverso l'orgoglio per i progressi conseguiti o per la cultura sviluppata in patria ma anche col desiderio di conservarne il carattere e i costumi, l'identificazione con altri membri della nazione.

Il patriottismo ha anche una connotazione etica poiché implica che la madrepatria, comunque sia essa definita, sia uno standard o un valore morale in sé, come esprimono formule quali per la Patria, nel bene e nel male. Ai patrioti si richiede, inoltre, di anteporre gli interessi della patria anche ai propri e a quelli dello stesso gruppo di appartenenza il che, in tempo di guerra, può anche significare mettere a rischio o donare la propria vita. Anche per questo la morte non voluta in battaglia per la madrepatria è l'archetipo estremo del patriottismo.
USS Walker
Due unità della United States Navy hanno portato il nome di USS Walker:

USS Walker (DD-163) – cacciatorpediniere della classe Wickes, varato nel 1918 e radiato nel 1942

USS Walker (DD-517) – cacciatorpediniere della classe Fletcher, varato nel 1943, ceduto all'Italia nel 1969e rinominato Fante (D-516), radiato nel 1977

USS Walker (DD-517)
Lo USS Walker  (Hull classification symbol DD-517) è stato un cacciatorpediniere appartenente alla United States Navy, unità della prolifica e versatile classe Fletcher. Conobbe un intenso servizio nell'area dei Caraibi e poi sul teatro dell'Oceano Pacifico, quindi negli anni del dopoguerra rimase di riserva, comparendo anche in due lungometraggi. Nel 1970 fu trasferito alla Marina Militare italiana che lo ribattezzò Fante e lo tenne in servizio per sette anni assieme ad altre due unità della classe.
Lorca Deportiva Club de Fútbol
Il Lorca Deportiva Club de Fútbol (o più semplicemente Lorca) era una squadra di calcio spagnola che aveva base nella città murciana di Lorca e giocava le partite casalinghe al Francisco Artés Carrasco.

Murcia (comunità autonoma)
La regione di Murcia (AFI in italiano: /ˈmurʧa/; in spagnolo Región de Murcia, AFI /ˈmurθja/) è una delle diciassette comunità autonome della Spagna, posizionata nella parte sud-orientale della nazione, sulla costa del mar Mediterraneo, tra Andalusia, Castiglia-La Mancia e la Comunità Valenciana.
Uso dei rimedi farmacologici cinesi
L'uso dei rimedi farmacologici cinesi può avvenire in molti modi diversi per ottenere da essi la massima efficacia terapeutica e per raggiungere l'obiettivo nel più breve tempo possibile.
Il principale metodo di utilizzo dei rimedi è il decotto, poi vi sono le polveri, le pillole, gli sciroppi, gli estratti, i cerotti, ecc.

Compressa
Una compressa è generalmente una forma farmaceutica solida contenente una dose unica di uno o più principi attivi, ottenuta generalmente per compressione di un volume di particelle (in genere polveri) e destinate a somministrazione orale.

Le compresse sono la forma farmaceutica più comoda e favorevole per la compliance del paziente.
Cobra (videogioco 1986)
Cobra, anche Stallone: Cobra in copertina, è un videogioco a piattaforme e sparatutto pubblicato nel 1986-1987 per Amstrad CPC, Commodore 64 e ZX Spectrum dalla Ocean Software e tratto dal film Cobra (1986).
Si controlla un poliziotto in borghese in combattimento contro una banda criminale. Nel film è interpretato da Sylvester Stallone, da cui il titolo di copertina. Il genere di gioco venne spesso considerato una variante di Green Beret. Le tre versioni per i tre computer, sebbene basate su idee generali comuni, hanno design differente.

Zzap!
Zzap! era una rivista italiana mensile dedicata ai videogiochi per gli home computer a 8 bit, principalmente il Commodore 64, e meno frequentemente per le console, nata nel 1986 come edizione italiana della rivista inglese Zzap!64. Le scansioni di tutti i numeri dell'edizione storica della rivista sono state pubblicate su internet con l'autorizzazione di Xenia sul sito web del "Progetto Zzap! Italia".
Urška Žigart
Urška Žigart (Slovenska Bistrica, 4 dicembre 1996) è una ciclista su strada slovena che corre per il team AG Insurance-Soudal. Attiva tra le Elite dal 2015, ha vinto cinque titoli nazionali, uno in linea e quattro a cronometro.

Setmana Ciclista - Volta a la Comunitat Valenciana fémines
La Setmana Ciclista - Volta a la Comunitat Valenciana Fémines è una corsa a tappe femminile di ciclismo su strada che si disputa dal 2017 nella Comunità Valenciana in Spagna. È la versione femminile della Volta a la Comunitat Valenciana maschile.

La prima edizione si corse nel 2017 come parte del calendario ciclistico professionale UCI femminile come Setmana Ciclista Valenciana.. Dal 2020 ha preso il nome attuale, che richiama la Volta a la Comunitat Valenciana Féminas che si corre sempre a Valencia a inizio febbraio.

La corsa fu di categoria 2.2 dal 2017 al 2019, categoria 2.1 dal 2020 al 2022, e di categoria 2.Pro dal 2023.
Andria di Anfusu
Andria di Anfusu (Messina, 1340 circa – Lentini, dopo il 1416) è stato un poeta, notaio e giudice italiano.

Di lui si conoscono poche notizie biografiche; tuttavia, si sa che era già notaio il 14 febbraio 1365, che era giudice nel 1408 e che era ancora attivo nel 1416.

Come poeta, è noto per il Canto dell'eruzione etnea (1408), in cui egli descrisse l'eruzione dell'Etna del 9 novembre 1408. Nel componimento, scritto in 51 terzine in siciliano volgare intriso di parole latine e toscanismi, l'autore tesse le lodi di Bianca di Navarra, ammirandone la bellezza e la regalità.

Notaio
Il notaio o, nella antica dizione tuttora talvolta usata, notaro (dal latino notare ossia "annotare", "prender nota"), è il pubblico ufficiale al quale è affidata la funzione di garantire la validità dei contratti, degli atti giuridici civili e dei negozi giuridici, attribuendo pubblica fede agli atti e sottoscrizioni apposte alla sua presenza. Gli atti sottoscritti dal notaio fanno piena prova legale fino a querela di falso. Nell’ordinamento giuridico italiano la funzione notarile è attribuita al notaio e al segretario comunale.
Maiale Yorkshire americano
Lo Yorkshire americano è una razza di maiale domestico derivata dal vecchio maiale Yorkshire britannico, oggi solitamente detto solo Maiale britannico.

È la razza di maiale più allevata negli USA.

Il vecchio Yorkshire britannico nacque in Inghilterra attorno al 1760; i primi esemplari raggiunsero gli Stati Uniti, e specificatamente l'Ohio, nel 1830. Tuttavia, a causa della loro lenta crescita non riuscirono a divenire popolari fra gli allevatori fino alla seconda parte del 1940, quando molti esemplari venivano importati verso Canada e Gran Bretagna; la crescita fu velocizzata grazie ad incroci selettivi.

Le maggiori popolazioni odierne di questi maiali si trovano oggi in Illinois, Indiana, Iowa, Nebraska, ed Ohio. Il moderno Yorkshire americano possiede una bassissima percentuale di grasso rispetto alla carne.

Yorkshire
Lo Yorkshire (IPA [ˈjɔːkʃə]) è una contea storica dell'Inghilterra, un tempo la più grande del Regno Unito.
Non esiste più come entità amministrativa perché sul suo territorio sorgono dal 1974 le contee di North Yorkshire, East Riding of Yorkshire, South Yorkshire e West Yorkshire; tuttavia persiste come entità storica e culturale.
La popolazione odierna è di circa 5 milioni di abitanti e l'estensione è di circa 15000 km².
Il suo simbolo è la rosa bianca, emblema della Casa di York e il suo capoluogo storico e culturale è York
DPLL
DPLL (Davis-Putnam-Logemann-Loveland) è un algoritmo di ricerca esaustiva, basato sul backtracking, utilizzato per decidere la soddisfacibilità booleana di formule di logica proposizionale in forma normale congiuntiva (CNF), problema noto come CNF-SAT.

È stato introdotto nel 1962 da Martin Davis, Hilary Putnam, George Logemann e Donald W. Loveland, e rappresenta una specializzazione del precedente algoritmo di Davis-Putnam, una procedura sviluppata nel 1960. Per questo, soprattutto nelle pubblicazioni più vecchie l'algoritmo Davis-Logemann-Loveland è spesso indicato come il "metodo Davis-Putnam" o "algoritmo DP". Altre nomenclature comuni che mantengono la distinzione fra i due sono DLL e DPLL.

Il DPLL è una procedura assai efficiente, e dopo più di 40 anni forma ancora la base dei più efficienti risolutori SAT completi, così come per molti dimostratori di teoremi per frammenti di logica del primo ordine.

Forma normale congiuntiva
Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali. Una formula in FNC ha quindi la seguente struttura:

dove  è il numero di clausole,  è il numero di letterali della clausola -esima e  è il -esimo letterale della -esima clausola. Un letterale può essere una variabile booleana (cioè che può valere solo 0 o 1, vero o falso) o la negazione di una variabile.

Una funzione booleana è una funzione che ha in ingresso diversi valori booleani (cioè vero/falso oppure 1/0) e come risultato ha un valore booleano. Per ogni funzione booleana, esiste una formula in forma normale congiuntiva che produce come risultato gli stessi valori.
Russell Mark
Russell Andrew Mark (Ballarat, 25 febbraio 1964) è un tiratore a segno australiano.

Ha vinto due medaglie olimpiche: una medaglia d'oro alle Olimpiadi di Atlanta 1996 nella doppia fossa olimpica e una medaglia d'argento a Sydney 2000 anche in questo caso nella doppia fossa olimpica.

Ha partecipato anche alle Olimpiadi 1988, alle Olimpiadi 1992, alle Olimpiadi 2008 e alle Olimpiadi 2012. Nei primi due casi ha gareggiato nel misto.

Ha inoltre vinto una medaglia d'oro (2006) e una di bronzo (2010) ai giochi del Commonwealth in entrambi i casi nella specialità doppia fossa.

Ballarat
Ballarat è una città australiana situata nello Stato di Victoria approssimativamente a 105 chilometri a nord-ovest dalla capitale Canberra. È la terza città più popolosa dello Stato con 94 088 abitanti.