OpenLLM-France/wikimedia huggingface dataset:
# Virgin-nafta

La virgin-nafta è un prodotto della raffinazione del petrolio, costituita da una miscela di paraffine (idrocarburi saturi) a basso peso molecolare, con una bassa concentrazione di composti aromatici. Lo zolfo organico è assente o presente in tracce.
Si forma nella torre di raffinazione ad una temperatura approssimativamente intorno a 0÷150 °C nel caso di "virgin nafte leggere" (LVN) 150÷200 °C nel caso di "virgin nafte pesanti" (HVN). Insieme alla benzina e al cherosene costituisce la frazione liquida del petrolio più leggera.
Viene utilizzata come combustibile o per ottenere carburanti per motori Diesel (gasolio). Viene inoltre utilizzata in ambito petrolchimico come materia prima per la produzione di etilene e propilene.

## Esempi

La tabella seguente riporta le temperature di distillazione e le composizioni tipiche di alcune tipologie di virgin nafta pesanti.
Tipiche virgin nafte pesanti :
| Nome greggio $\Rightarrow$ Zona $\Rightarrow$ | Barrow Island Australia | Mutineer-Exeter Australia | CPC Blend Kazakistan | Draugen Mare del Nord |
| T$_{eb}$ inferiore, °C | 149 | 140 | 149 | 150 |
| T$_{eb}$ superiore, °C | 204 | 190 | 204 | 180 |
| Paraffine, % in volume nel liquido | 46 | 62 | 57 | 38 |
| Nafteni, % in volume nel liquido | 42 | 32 | 27 | 45 |
| Aromatici, % in volume nel liquido | 12 | 6 | 16 | 17 |
# Volker Zotz

Volker Zotz (Landau in der Pfalz, 28 ottobre 1956) è un filosofo, orientalista e storico delle religioni austriaco, autore in particolare di significativi contributi relativi alla filosofia buddhista.

## Biografia

Zotz studiò filosofia all'Università di Vienna. Nel 1989 si trasferì in Giappone, dapprima nel Kansai e a Kyōto, come lettore per l'università di Kyōto e poi a quella di Tokyo. Nel 1999 venne nominato professore all'Università del Lussemburgo. È autore di circa 200 pubblicazioni, tra articoli scientifici, saggi, opere divulgative.
È sposato con Birgit Zotz.

## Opere principali

* Maitreya. Kontemplationen über den Buddha der Zukunft. (1984) ISBN 3-87998-054-3
* Maitréja. Elmélkedések a jövö Buddhájáról. (1986)
* Freiheit und Glück. Buddhas Lehren für das tägliche Leben. (1987), ISBN 3-8138-0090-3
* André Breton, Reinbek bei Hamburg, Rowohlt, (1990), ISBN 3-499-50374-3
* Erleuchtung im Alltag. (1990), ISBN 3-8138-0175-6
* Buddha, Reinbek bei Hamburg, Rowohlt, (1991), ISBN 3-499-50477-4
* Der Buddha im Reinen Land. Shin-Buddhismus in Japan, München, Diederichs, (1991), ISBN 3-424-01120-7
* Geschichte der buddhistischen Philosophie, Reinbek bei Hamburg, Rowohlt (1996), ISBN 3-499-55537-9.
* Mit Buddha das Leben meistern. Buddhismus für Praktiker, Reinbek bei Hamburg, Rowohlt, (1999), ISBN 3-499-60586-4
* Konfuzius. (2000), Reinbek bei Hamburg, Rowohlt, ISBN 3-499-50555-X
* Auf den glückseligen Inseln. Buddhismus in der deutschen Kultur, Berlin, Theseus, (2000), ISBN 3-89620-151-4
* con Friederike Migneco, Totus tuus. Marianisches Lesebuch zur Luxemburger Muttergottes-Oktave, Luxembourg, Kairos Edition(2004), ISBN 2-9599829-9-1
* Die neue Wirtschaftsmacht am Ganges, Heidelberg, Redline Wirtschaft, (2006), ISBN 3-636-01373-4
* Buda, Maestro de Vida. (2006), ISBN 84-95881-87-X
* Konfuzius für den Westen. Neue Sehnsucht nach alten Werten, Frankfurt, S.Fischer, (2007), ISBN 978-3-502-61164-6
* Die Suche nach einem sozialen Buddhismus, Luxembourg, Kairos Edition (2007), ISBN 2-9599829-6-7
* Historia Filozofii Buddyjskiej. (2007) ,ISBN 978-83-7318-878-5
* Business im Land der aufgehenden Sonne, Heidelberg, Redline Wirtschaft (2008), ISBN 978-3-636-01449-8
* Kamasutra im Management. Inspirationen und Weisheiten aus Indien, Frankfurt, Campus, (2008), ISBN 978-3-593-38515-0
# Volkerak

Il Volkerak è un lago e un'ex-baia del delta del Reno, della Mosa e della Schelda nei Paesi Bassi. È situato tra le province dell'Olanda Meridionale a nord, del Brabante Settentrionale a sud e della Zelanda a ovest.

## Geografia

Il Volkerak delimita la parte meridionale dell'isola di Goeree-Overflakkee. Alla sua estremità nord-orientale, le chiuse Volkeraksluizen permettono il collegamento con l'Hollandsch Diep; la parte occidentale del Volkerak viene chiamata Krammer ed è separata dalla Schelda orientale attraverso le chiuse Krammersluizen.
A sud è collegato al Canale Schelda-Reno, che permette di raggiungere il porto di Anversa. A est, nel Volkerak sfociano il Dintel e il Steenbergse Vliet.

## Storia

Il Volkerak si è probabilmente formato in seguito all'inondazione di Santa Elisabetta del 1421, quando un mare interno si formò tra Dordrecht, Gorinchem e Roosendaal.
Nel XVI e XVII secolo parte delle terre sono state recuperate e su di esse sono stati costruiti i villaggi di Steenbergen e Dinteloord. Dopo l'Inondazione causata dal mare del Nord nel 1953 la regione ha subito profonde modifiche per la realizzazione dei lavori del piano Delta, soprattutto attraverso la realizzazione delle chiuse alle due estremità del Volkerak. Originariamente costituito da acqua marina, dopo la realizzazione delle opere l'acqua è diventata dolce, leggermente salmastra.

## Ambiente

È stato calcolato che il tempo di ricambio delle acque del lago è pari a 270 giorni. Questo causa un alto tasso di inquinamento e una elevata proliferazione delle alghe e, conseguentemente, le acque non possono essere utilizzate né per l'irrigazione, né tantomeno per uso potabile. La balneazione è altresì interdetta.
# Vitalij Eremeev

Vitalij Mikhailovič Eremeev (in russo Вита́лий Миха́йлович Ереме́ев; 23 settembre 1975) è un ex hockeista su ghiaccio kazako.

## Palmarès
### Giochi asiatici invernali

* 1 medaglia:
** 1 oro (Astana-Almaty 2011)
# Vitalij Evgen'evič Aksёnov

Vitalij Evgen'evič Aksёnov (Rostov sul Don, 21 marzo 1931 – San Pietroburgo, 16 ottobre 2020) è stato un regista sovietico.

## Filmografia parziale
### Regista

* Sinie zajcy ili Muzykal'noe putešestvie (1972)
* Kak stat' zvezdoj (1986)
# Volkswagen Challenger 2002

Il Volkswagen Challenger 2002 è stato un torneo di tennis facente parte della categoria ATP Challenger Series nell'ambito dell'ATP Challenger Series 2002. Il torneo si è giocato a Wolfsburg in Germania dal 4 al 10 febbraio 2002 su campi in sintetico indoor.

## Vincitori
### Singolare

Jakub Herm-Zahlava ha battuto in finale Dick Norman 6-4, 6-2

### Doppio

Jan Hernych / Shaun Rudman hanno battuto in finale Filippo Messori / Gianluca Pozzi 7–6$^{(3)}$, 6$^{(3)}$–7, 6-3
# Sio (Mali)

Sio è un comune rurale del Mali facente parte del circondario di Mopti, nella regione omonima.
# Timantit on ikuisia

Timantit on ikuisia (finlandese: "I diamanti sono per sempre") è un singolo del rapper finlandese Cheek, pubblicato il 9 agosto 2013 dalla Liiga Music Oy. Il brano ha anticipato la pubblicazione dell'album Kuka muu muka, che era prevista per il 20 settembre 2013.
Il singolo è entrato nelle classifiche e ha raggiunto la prima posizione nella classifica dei singoli più trasmessi in radio, di quelli più scaricati e di quelli più venduti.
Il video musicale è stato pubblicato sull'account ufficiale della casa discografica il 9 agosto 2013.

## Tracce

* Timantit on ikuisia – 3:40

## Classifica

| Classifica | Massima posizione |
| Finlandia | 1 |
| Finlandia (digitale) | 1 |
| Finlandia (radio) | 1 |
# Giuseppe Curci

Giuseppe Curci (Barletta, 15 giugno 1808 – Barletta, 5 agosto 1877) è stato un compositore e direttore d'orchestra italiano.

## Biografia

Giuseppe Curci seguì gli studi musicali presso il conservatorio di San Pietro a Majella di Napoli con i maestri Furno, Raimondi, Zingarelli e Crescentini.
Nel 1832 raggiunse, all'età di 25 anni, un notevole successo con l'opera Un'ora di prigione. In seguito viaggiò in tutta Europa, muovendosi da Vienna a Parigi e poi ancora a Londra fino al ritorno in Italia nel 1855.
Detenne la direzione artistica del teatro Comunale di Barletta fino alla sua morte, avvenuta nel 1877 all'età di 69 anni.
Per il lustro che il compositore diede alla città di Barletta il Consiglio Comunale con delibera del 25 settembre 1877 decise di dedicare in suo onore il nuovo teatro comunale.

## Opere

Le opere liriche che di Giuseppe Curci si ricordano sono:
* Un’ora di prigione, commedia in canto e prosa in due atti di Michele Paturzo, 1832
* Il ciabattino medico e la morte, opera semiseria di Giuseppe Ceccherini, 1832
* Un matrimonio conchiuso dalle bugie, commedia in canto e prosa in due atti di Andrea Passaro,1833
* Il Sarto e i Tabarri, melodramma in due atti di Andrea Passaro, 1834
* Ruggiero duca di Puglia, azione drammatica in un atto di Cesare Dalbono,1835
* Il Proscritto, melodramma in due atti di Pietro Salatino, 1835
* Don Desiderio, melodramma giocoso in due atti di Leone Fontana, 1838
* I due mariti, opera buffa in due atti di Giuseppe Gianfranceschi, 1845
* Le Moine Blanc, di Gustave Bigoire, mai rappresentata, 1848
* Le Bachelier d’Oviedo, di Gustave Bigorie, mai rappresentata ,1848
* Alfonso il magnanimo, azione drammatica in un atto di Francesco Rubino, mai rappresentata, 1856
# Sakaemachi (metropolitana di Sapporo)

Sakaemachi (栄町駅, Sakaemachi-eki) (H02) è una stazione della metropolitana di Sapporo situata nel quartiere di Higashi-ku, a Sapporo, Giappone, servita dalla linea Tōhō della quale è il capolinea nord. Da questa stazione è possibile proseguire verso l'aeroporto di Sapporo Okadama tramite un bus.

## Struttura

La stazione è dotata di un marciapiede a isola con due binari passanti. Al termine dei binari, sotterranei, essendo questa la stazione capolinea, è presente un tronchino di inversione.
| 1 | Linea Tōhō | per Sapporo, Ōdōri e Fukuzumi |
| 2 | Linea Tōhō | per Sapporo, Ōdōri e Fukuzumi |

## Stazioni adiacenti

| « | Servizio | » |
| Linea Tōhō |||
| Capolinea | - | Shindō-Higashi |
# Vadzim Dzevjatoŭski

Vadzim Anatolevič Dzevjatoŭski, accreditato come Vadim Devyatovskiy dalla IAAF (in bielorusso Вадзім Анатолевіч Дзевятоўскі; Navapolack, 20 marzo 1977), è un ex martellista bielorusso.

## Biografia

Pratica il lancio del martello dall'età di 7 anni. Vanta un primato personale di 84 metri e 90 centimetri stabilito nel 2005 a Minsk, anno in cui raggiunge il secondo posto ai campionati mondiali di Helsinki con la misura di 82,60. Vanta la terza miglior misura mai ottenuta nel lancio del martello.
Nel 2006 vince la medaglia di bronzo ai campionati europei di Göteborg con la misura di 80,76. Alle Olimpiadi di Pechino del 2008 vince la medaglia d'argento con la misura di 81,61 m, ma in seguito alla sua positività per doping (testosterone), il prestigioso riconoscimento gli viene ritirato.
Il 10 giugno 2010, dopo un ricorso durato due anni, il Tribunale Arbitrale dello Sport di Losanna ha restituito ai martellisti bielorussi Vadzim Dezvjatoŭski e Ivan Cichan le medaglie d'argento e bronzo conquistate alle Olimpiadi di Pechino. Il TAS ha giudicato non validi i test antidoping che avevano portato a giudicare positivi al testosterone i due atleti e a disporre la revoca dei piazzamenti ottenuti. Secondo la corte elvetica, il cui parere è inappellabile, i test furono condotti senza rispettare gli standard internazionali.

## Palmarès

| Anno | Manifestazione | Sede | Evento | Risultato | Misura |
| 1996 | Mondiali juniores | Sydney | Lancio del martello | Argento | 70,88 m |
| 1999 | Europei under 23 | Göteborg | Lancio del martello | 4º | 73,34 m |
| 1999 | Universiadi | Palma di Maiorca | Lancio del martello | Finale | nm |
| 2003 | Mondiali | Parigi | Lancio del martello | 7º | 78,13 m |
| 2004 | Olimpiadi | Atene | Lancio del martello | Bronzo | 78,84 m |
| 2005 | Mondiali | Helsinki | Lancio del martello | Oro | 82,60 m |
| 2005 | Universiadi | Smirne | Lancio del martello | Oro | 79,13 m |
| 2006 | Europei | Göteborg | Lancio del martello | Bronzo | 80,76 m |
| 2007 | Mondiali | Osaka | Lancio del martello | 4º | 81,57 m |
| 2008 | Olimpiadi | Pechino | Lancio del martello | Argento | 81,61 m |

## Campionati nazionali

* 2 volte campione nazionale nel lancio del martello (2000, 2006)
# Max hypnotisé

Max hypnotisé è un cortometraggio del 1910 diretto da Lucien Nonguet.

## Trama

Julie e Baptiste, sono la domestica e il cameriere di Max. I due servi di Max, apprendono che il loro datore di lavoro sta per sposarsi con una ragazza. Sconvolti di questo, Julie e Baptiste decidono di ostacolare il fidanzamento ipnotizzandolo. Decidono così di fare alcune prove su Max; prima lo trasformano in una cameriera e poi in un maggiordomo. Ma mentre Max ed i genitori della ragazza stanno per concludere la transazione matrimoniale, Max viene trasformato in un cane.
# Forte Santa Tecla

La denominazione Forte Santa Tecla può riferirsi:
* Forte Santa Tecla (Genova), fortificazione del sistema difensivo di Genova
* Forte Santa Tecla (Sanremo), fortificazione settecentesca nella città di Sanremo
# Fouchères (Yonne)

Fouchères è un comune francese di 411 abitanti situato nel dipartimento della Yonne nella regione della Borgogna-Franca Contea.

## Società
### Evoluzione demografica

Abitanti censiti
# Fouché (fumetto)

Fouché è un romanzo a fumetti di ambientazione storica, creato negli anni settanta da Max Bunker e Paolo Piffarerio.

## Storia editoriale

Venne pubblicato a puntate nel 1973 sulla rivista Eureka edita dall'Editoriale Corno, nei numeri dal 101 al 115, e successivamente raccolto in un unico volume, sempre dall'Editoriale Corno, intitolato "Fouché, un uomo nella Rivoluzione" nel 1976.
Venne ripubblicata in volume da Mondadori Comics nel 2015 nella collana Historica.

## Trama

Il protagonista della vicenda, che si svolge in Francia durante la rivoluzione francese, è Joseph Fouché, uomo politico di primo piano realmente esistito che, dopo essersi dedicato alle scienze e all'insegnamento, prende gli ordini minori, è deputato alla Convenzione e collabora con Robespierre. In seguito sostiene Napoleone, di cui diviene il potentissimo ministro di polizia e, alla sua caduta, tenta invano di porsi al servizio di Luigi XVIII, da cui, dopo i Cento giorni, viene definitivamente esiliato. La documentazione storica è molto curata e i disegni sono realizzati tenendo presenti le ambientazioni dell'epoca, con risultati di notevole qualità.
# Formalismo (arte)

Nella storia dell'arte, il formalismo è lo studio dell'arte attraverso l'analisi e il confronto di forma e stile. La sua discussione include anche il modo in cui sono realizzati gli oggetti e i loro aspetti puramente visivi o materiali. Nella pittura, il formalismo enfatizza elementi compositivi come colore, linea, forma, trama e altri aspetti percettivi piuttosto che contenuto, significato o contesto storico e sociale.
Al suo estremo, il formalismo nella storia dell'arte postula che tutto ciò che è necessario per comprendere un'opera d'arte sia contenuto nell'opera d'arte. Il contesto dell'opera, compreso il motivo della sua creazione, il contesto storico e la vita dell'artista, ovvero il suo aspetto concettuale, è considerato esterno al mezzo artistico stesso, e quindi di secondaria importanza.
# Francesco Paredi

Francesco Paredi (Calolziocorte, 3 maggio 1922 – ...) è stato un calciatore italiano, di ruolo centrocampista.

## Caratteristiche tecniche

Giocatore alto e forte fisicamente, viene impostato come centromediano per sfruttarne le doti fisiche con cui sopperisce a una tecnica di base limitata.

## Carriera

Cresciuto nell'Olginatese, nel 1941 passa tra le file dell'Atalanta, con cui disputa il torneo di guerra ed esordisce in Serie A disputando 9 partite nel campionato di Divisione Nazionale 1945-1946. Tuttavia le prestazioni non gli valgono la riconferma, e si trasferisce al Piacenza. In Emilia rimane per due stagioni, entrambe tra i cadetti, alternandosi a Mario Magotti. In seguito alla retrocessione del Piacenza in Serie C si trasferisce alla SPAL, di nuovo in Serie B, giocando come titolare.
Prosegue la carriera nel Seregno, in Serie C, e con la formazione lombarda ottiene la promozione, vincendo il proprio girone nel campionato di Serie C 1949-1950. Viene riconfermato anche per la stagione successiva, nella quale non evita la retrocessione in terza serie.
Ha totalizzato 9 presenze in Divisione Nazionale e 111 presenze con una rete in Serie B.
# Frances Ondiviela

Frances Ondiviela, nota anche come Pat Ondiviela, all'anagrafe Francisca Ondiviela Otero, detta Paquita, (Las Palmas, 19 maggio 1962), è una modella e attrice spagnola, eletta Miss Spagna nel 1980.

## Biografia

Eletta Miss Spagna a Port-au-Prince in rappresentanza delle Canarie, la diciottenne Francisca Ondiviela, ex ballerina in seguito partecipò anche a Miss Mondo 1980, Miss Universo 1981 e Miss International 1981.
In seguito la Ondiviela si è affermata come attrice, debuttando al cinema nel 1982 nel film poliziesco Jugando con la muerte, diretto da José Antonio de la Loma. Nel 1983 parteciperà a una manciata di altri film, lavorando per registi come Francisco Lara Polop (J.R. contraataca), Paul Naschy (Latidos de pánico), José Ramón Larraz (Juana la Loca... de vez en cuando) e Angelino Fons (El Cid cabreador).
In seguito si dedicherà quasi esclusivamente alle produzioni televisive, in particolare telenovela. Dopo aver debuttato nel 1983 nella miniserie televisiva Las pícaras, nell'episodio La lozana andaluza, diretta da Chumy Chúmez, si specializzerà in telenovela, prendendo parte, tra le altre, a: Semplicemente Maria (Simplemente María) (1989), Un amore di nonno (El abuelo y yo, 1992), María la del Barrio (1996), Luz Clarita (1996-1997), Gata salvaje (2002-2003), La madrastra (2005), Tormenta en el paraíso (2007-2008), Hasta que el dinero nos separe (2009-2010), Rosario (2012-2013).

## Filmografia parziale
### Cinema

* Jugando con la muerte, regia di José Antonio de la Loma (1982)
* J.R. contraataca, regia di Francisco Lara Polop (1983)
* Latidos de pánico, regia di Paul Naschy (1983)
* Juana la Loca... de vez en cuando, regia di José Ramón Larraz (1983)
* El Cid cabreador, regia di Angelino Fons (1983)
* Noche de paz, regia di Ximena Cuevas - cortometraggio (1988)
* Un Rincon Cerca de la Muerte, episodio di Cita con la muerte, regia di Juan Antonio de la Riva (1989)
* Perfume, efecto inmediato, regia di Alejandro Gamboa (1994)

### Televisione

* Las pícaras, regia di Antonio del Real, Francisco Lara Polop, José María Gutiérrez Santos, Chumy Chúmez, Angelino Fons - miniserie TV, episodio 1x05 (1983)
* Un, dos, tres... responda otra vez - serie TV, 42 episodi (1983-1984)
* Semplicemente Maria (Simplemente María) - serie TV, episodio 1x01 (1989)
* Un amore di nonno (El abuelo y yo) - serie TV, 90 episodi (1992)
* María la del Barrio - serie TV, 6 episodi (1996)
* Luz Clarita - serie TV, 104 episodi (1996-1997)
* Gata salvaje - serie TV, 251 episodi (2002-2003)
* La madrastra - serie TV, episodi 1x01-1x04 (2005)
* Tormenta en el paraíso - serie TV, 185 episodi (2007-2008)
* Hasta que el dinero nos separe - serie TV, 119 episodi (2009-2010)
* Rosario - serie TV, 107 episodi (2012-2013)
# Francesco Maria Coppola

Francesco Maria Coppola (Nicotera, 12 aprile 1773 – Oppido Mamertina, 11 dicembre 1851) è stato un vescovo cattolico italiano.

## Biografia

Nacque da una nobile famiglia di Nicotera ove fu rettore del seminario nonché canonico-teologo del capitolo della cattedrale. Nel 1822 fu nominato vescovo di Oppido Mamertina succedendo alla guida della diocesi a mons. Ignazio Greco. Fu consacrato dal cardinale Giulio Maria della Somaglia assistito da mons. Daulo Augusto Foscolo e Antonio Baldini.
Uomo colto e pragmatico, costruì la nuova cattedrale di Oppido Mamertina che inaugurò, anche se ancora non del tutto completata, nel 1844.
Il suo nome è legato anche alla costruzione in Oppido dell'ospedale civile, l'attuale Ospedale Maria Pia di Savoia.
Morì nel dicembre 1851. Le sue spoglie mortali sono conservate nella cattedrale di Oppido Mamertina.
Queste le parole pronunciate dal vicario Grillo in occasione dell'orazione funebre:
«Mirate questo Tempio magnifico, che maestosi si estolle, emulatore delle più grandiose Chiese del Regno; esso è l'opera più pregevole delle sue mani ... Queste altissime Torri, che sorgono gigantesche, e le cui alte volte, novelle campane da lui consacrate allietano coi sonori lor tuoni ... Questa magnifica Ara di finissimi marmi, questi molteplici Altari ... Questi ornati, questi arredi ricchi, e preziosi, questi elegantissimi quadri, l'organo dei dolci, armonici e melodiosi concerti, il pavimento marmoreo, la magnifica sagrestia, il coro ....»

## Genealogia episcopale

La genealogia episcopale è:
* Cardinale Scipione Rebiba
* Cardinale Giulio Antonio Santori
* Cardinale Girolamo Bernerio, O.P.
* Arcivescovo Galeazzo Sanvitale
* Cardinale Ludovico Ludovisi
* Cardinale Luigi Caetani
* Cardinale Ulderico Carpegna
* Cardinale Paluzzo Paluzzi Altieri degli Albertoni
* Papa Benedetto XIII
* Papa Benedetto XIV
* Papa Clemente XIII
* Cardinale Marcantonio Colonna
* Cardinale Giacinto Sigismondo Gerdil, B.
* Cardinale Giulio Maria della Somaglia
* Vescovo Francesco Maria Coppola
# Formula di Barcan

In logica modale, la formula di Barcan e l'inverso della formula di Barcan definiscono una relazione tra quantificatori e operatori modali.

## Formula di Barcan

La formula di Barcan può essere formalizzata come segue:
    $\forall x\Box A\rightarrow \Box \forall xA$
In altri termini, la traduzione in lingua Italiana è la seguente "'Per ogni x, è necessario A', implica, 'È necessario che per ogni x, A'".
In tutti i mondi accessibili da un generico mondo W, se la formula A è vera per ogni x del dominio di W, allora la formula A è vera per ciascun elemento del dominio di tutti i mondi accessibili da W. In altre parole, questa formula vincola a definire, nelle interpretazioni, domini uguali per tutti i mondi considerati.
È un assioma solo nel sistema formale S5.
Questa formula fu proposta da Ruth Barcan Marcus.

## Inverso della formula di Barcan

L'inverso della formula di Barcan può essere formalizzato come segue:
    $\Box \forall xA\rightarrow \forall x\Box A$
Questa formula afferma quanto segue: se è vero A per ogni x del dominio di ogni mondo, allora A è vera per ogni x del generico mondo W in tutti i mondi visibili da W. Rispetto alla formula di Barcan, questa è meno vincolante perché non richiede l'uguaglianza dei domini ma solo la condizione che se un generico mondo Wi vede un generico mondo Wj, il dominio di Wi sia incluso in quello di Wj.
È un assioma nei sistemi formali T, S4, S5

## Relazione con la semantica di Kripke

La formule di Barcan affermano una equivalenza fra necessità (possibilità) de dicto e necessità (possibilità) de re.
Considerato un generico sistema formale in cui sia ammessa la semantica di Kripke, è dimostrato che la formula di Barcan e il suo inverso non sono più assiomi, in quanto non è più garantito il fatto che se un generico mondo Wi vede un generico mondo Wj, il dominio del primo sia incluso in quello del secondo.
Per evitare di associare lo stesso insieme di esistenti, D, a ogni modello, cioè a ogni mondo possibile, Kripke nel 1963 stabilì che le condizioni di verità degli enunciati quantificati devono essere modificate in modo da non presupporre la verità di tale tesi, dichiarando in modo esplicito per ogni mondo possibile, quale sia l'insieme degli individui in esso esistenti: per ogni elemento del mondo attuale viene specificato un dominio di quantificazione non vuoto.

## Teorema

Considerato un generico sistema formale in cui sia imposta la relazione di simmetria tra i mondi (ad esempio S5), è dimostrato che in tale sistema formale la formula di Barcan è un assioma, come anche il suo inverso. Questo perché se un generico mondo Wi vede Wj, allora, per definizione di simmetria, Wj vede Wi. Quindi i domini sono uguali.
# Frassinellesi

* Frassinellesi – abitanti di Frassinelle Polesine
* Frassinellesi – abitanti di Frassinello Monferrato