OpenLLM-France/wikimedia huggingface dataset:
# Promozione Abruzzo 1974-1975

Nella stagione 1974-1975 la Promozione era il quinto livello del calcio italiano (il massimo livello regionale). Qui vi sono le statistiche relative al campionato in Abruzzo.
Il campionato è strutturato in vari gironi all'italiana su base regionale, gestiti dai Comitati Regionali di competenza. Promozioni alla categoria superiore e retrocessioni in quella inferiore non erano sempre omogenee; erano quantificate all'inizio del campionato dal Comitato Regionale secondo le direttive stabilite dalla Lega Nazionale Dilettanti, ma flessibili, in relazione al numero delle società retrocesse dal Campionato Interregionale e perciò, a seconda delle varie situazioni regionali, la fine del campionato poteva avere degli spareggi sia di promozione che di retrocessione.

## Squadre partecipanti

| Club | Città |
| F.C. Avezzano | Avezzano (AQ) |
| A.S. Carsoli | Carsoli (AQ) |
| A.S. Casoli | Casoli (CH) |
| A.S. Cliternum | Celano (AQ) |
| S.S. Francavilla | Francavilla al Mare (CH) |
| S.S. Fucense | Trasacco (AQ) |
| S.P. Hatria | Atri (TE) |
| A.S.C. Montereale | Montereale (AQ) |
| A.P. Montesilvano | Montesilvano (PE) |
| A.S. Montorio Calcio | Montorio al Vomano (TE) |
| F.C. Nereto | Nereto (TE) |
| G.S. Raiano | Raiano (AQ) |
| Pol. Sagittario | Pratola Peligna (AQ) |
| U.S. San Salvo | San Salvo (CH) |
| A.S. Santegidiese | Sant'Egidio alla Vibrata (TE) |
| S.S.C. Silvi | Silvi (TE) |

### Classifica finale

| Pos. | Squadra | Pt | G | V | N | P | GF | GS | DR |
| 1. | Francavilla | 50 | 30 | 22 | 6 | 2 | 66 | 13 | +53 |
| 2. | Avezzano | 49 | 30 | 21 | 7 | 2 | 56 | 16 | +40 |
| 3. | Silvi | 37 | 30 | 15 | 7 | 8 | 41 | 29 | +12 |
| 4. | Hatria | 31 | 30 | 11 | 9 | 10 | 27 | 34 | -7 |
| 5. | San Salvo | 30 | 30 | 8 | 14 | 8 | 33 | 27 | +6 |
| 6. | Fucense | 30 | 30 | 10 | 10 | 10 | 32 | 27 | +5 |
| 7. | Carsoli | 30 | 30 | 10 | 10 | 10 | 33 | 33 | 0 |
| 8. | Montorio | 28 | 30 | 10 | 8 | 12 | 27 | 35 | -8 |
| 9. | Sagittario | 28 | 30 | 9 | 10 | 11 | 31 | 39 | -8 |
| 10. | Montereale | 27 | 30 | 10 | 7 | 13 | 25 | 35 | -10 |
| 11. | Montesilvano | 26 | 30 | 7 | 12 | 11 | 22 | 29 | -7 |
| 12. | Cliternum | 25 | 30 | 10 | 5 | 15 | 26 | 33 | -7 |
| 13. | Santegidiese | 24 | 30 | 7 | 10 | 13 | 25 | 37 | -12 |
| 14. | Casoli | 24 | 30 | 7 | 10 | 13 | 15 | 36 | -21 |
| 15. | P. Rapino | 21 | 30 | 4 | 13 | 13 | 19 | 37 | -18 |
| 16. | Nereto | 20 | 30 | 5 | 10 | 15 | 25 | 43 | -18 |

### Verdetti finali

* Francavilla non promossa per illecito sportivo
* Avezzano promosso dopo delibera della C.A.F.
# Provincia di Narciso Campero

La provincia di Narciso Campero è una delle 16 province del dipartimento di Cochabamba, nella parte centrale della Bolivia. Il capoluogo è Aiquile.
Secondo il censimento del 2001 possedeva una popolazione di 37.011 abitanti.

## Geografia antropica
### Suddivisioni amministrative

La provincia comprende 3 comuni:
* Aiquile
* Omereque
* Pasorapa
# Primera División 1960 (Argentina)

La Primera División 1960 è stata la trentesima edizione del massimo torneo calcistico argentino e la trentesima ad essere disputata con la formula del girone unico.

## Classifica

| Pos | Club | G | V | N | S | GF | GS | P |
| 1 | Independiente | 30 | 17 | 7 | 6 | 49 | 33 | 41 |
| 2 | River Plate | 30 | 16 | 7 | 7 | 46 | 29 | 39 |
| 2 | Argentinos Juniors | 30 | 15 | 9 | 6 | 68 | 48 | 39 |
| 4 | Racing Club de Avellaneda | 30 | 14 | 9 | 7 | 72 | 43 | 37 |
| 4 | Boca Juniors | 30 | 13 | 11 | 6 | 58 | 36 | 37 |
| 6 | San Lorenzo de Almagro | 30 | 14 | 8 | 8 | 71 | 45 | 36 |
| 7 | Vélez Sársfield | 30 | 12 | 9 | 9 | 48 | 46 | 33 |
| 8 | Rosario Central | 30 | 10 | 9 | 11 | 55 | 71 | 29 |
| 9 | Huracán | 30 | 10 | 8 | 12 | 48 | 45 | 28 |
| 9 | Chacarita Juniors | 30 | 9 | 10 | 11 | 50 | 53 | 28 |
| 11 | Atlanta | 30 | 8 | 11 | 11 | 49 | 56 | 27 |
| 12 | Gimnasia y Esgrima La Plata | 30 | 9 | 7 | 14 | 50 | 60 | 25 |
| 13 | Estudiantes de La Plata | 30 | 9 | 5 | 16 | 44 | 69 | 23 |
| 14 | Lanús | 30 | 5 | 11 | 14 | 38 | 54 | 21 |
| 15 | Ferro Carril Oeste | 30 | 5 | 9 | 16 | 28 | 58 | 19 |
| 16 | Newell's Old Boys | 30 | 6 | 6 | 18 | 38 | 66 | 18 |

### Classifica marcatori

| Gol | Marcatore | Squadra |
| 34 | José Sanfilippo | San Lorenzo |
# Primera División 1961 (Argentina)

La Primera División 1961 è stata la trentunesima edizione del massimo torneo calcistico argentino e la trentunesima ad essere disputata con la formula del girone unico.

## Classifica

| Pos | Club | G | V | N | S | GF | GS | P |
| 1 | Racing Club de Avellaneda | 30 | 19 | 9 | 2 | 68 | 39 | 47 |
| 2 | San Lorenzo de Almagro | 30 | 16 | 8 | 6 | 56 | 35 | 40 |
| 3 | River Plate | 30 | 15 | 8 | 7 | 53 | 30 | 38 |
| 4 | Atlanta | 30 | 13 | 11 | 6 | 49 | 34 | 37 |
| 5 | Boca Juniors | 30 | 14 | 7 | 9 | 57 | 33 | 35 |
| 6 | Independiente | 30 | 12 | 9 | 9 | 46 | 40 | 33 |
| 7 | Vélez Sársfield | 30 | 10 | 11 | 9 | 43 | 38 | 31 |
| 7 | Chacarita Juniors | 30 | 12 | 7 | 11 | 49 | 53 | 31 |
| 9 | Gimnasia y Esgrima La Plata | 30 | 12 | 4 | 14 | 56 | 53 | 28 |
| 10 | Huracán | 30 | 7 | 11 | 12 | 43 | 51 | 25 |
| 11 | Argentinos Juniors | 30 | 10 | 4 | 16 | 42 | 56 | 24 |
| 11 | Lanús | 30 | 7 | 10 | 13 | 36 | 59 | 24 |
| 13 | Rosario Central | 30 | 7 | 9 | 14 | 54 | 69 | 23 |
| 14 | Estudiantes de La Plata | 30 | 4 | 14 | 12 | 29 | 47 | 22 |
| 15 | Ferro Carril Oeste | 30 | 8 | 5 | 17 | 38 | 55 | 21 |
| 15 | Los Andes | 30 | 10 | 1 | 19 | 38 | 65 | 21 |

### Classifica marcatori

| Gol | Marcatore | Squadra |
| 26 | José Sanfilippo | San Lorenzo |
# Prowler in the Yard

Prowler in the Yard è il secondo album in studio della grindcore band americana Pig Destroyer. È stato pubblicato il 24 luglio 2001 su Relapse Records.

## Il disco

L'album segue una storia oscura e contorta di amore, ossessione e sangue. L'opuscolo presenta anche una pagina in più di prosa sul protagonista e su Jennifer. L'album è stato registrato su un drummer a 8 tracce dalla cantina di Brian Harvey.
Nel marzo 2009, Terrorizer ha definito l'album la terza miglior uscita grindcore americana di tutti i tempi.. Nel luglio 2015, Relapse Records ha annunciato che avrebbe riproposto Prowler in the Yard con audio remixato e rimasterizzato, una varietà di formati 2CD e vinile e una traccia inedita.
Il remix 2015 omette Evacuating Heaven. Scott Hull spiega nelle note di copertina: Into the music la sequenza della traccia, quella traccia (Evacuating Heaven) è stata omessa, e il postlogue di Jennifer che era alla fine di Piss Angel è stato pubblicato come proprio ID traccia, separandolo dalla canzone precedente.

## Tracce

* Jennifer – 1:21
* Cheerleader Corpses – 0:35
* Scatology Homework – 0:49
* Trojan Whore – 1:35
* Ghost of a Bullet – 0:20
* Heart and Crossbones – 0:48
* Strangled with a Halo – 1:25
* Intimate Slavery – 1:05
* Mapplethorpe Grey – 1:21
* Evacuating Heaven – 0:16
* Tickets to the Car Crash – 0:39
* Naked Trees – 1:46
* Sheet Metal Girl – 1:09
* Preacher Crawling – 1:29
* Pornographic Memory – 0:57
* Murder Blossom – 0:18
* Body Scout – 1:01
* Snuff Film at Eleven – 1:10
* Hyperviolet – 3:28
* Starbelly – 5:03
* Junkyard God – 1:59
* Piss Angel – 7:57
* Delusional Supremacy (Japanese bonus track) – 0:25
# Proxima (gruppo musicale)

I Proxima sono stati un gruppo musicale italiano, attivo dal 1987 al 1999.

## Storia del gruppo

Nascono nel 1987 dal sodalizio artistico di Stefania Martinelli (voce ed autrice dei testi), Andrea Majocchi (tastiere e compositore delle musiche) ed Alberto Deponti (chitarre).
Da iniziali tentativi musicali nell'ambito del filone electropop-new wave cantati in lingua inglese si spostano poi verso un genere più melodico cantato in italiano, nel quale però cercano di mantenere le loro originali influenze. Grazie alla guida del loro produttore Gianpiero Scussel, dopo circa un anno di lavoro di preparazione di un repertorio, approdano alla PDU-EMI.
Massimiliano Pani è il loro produttore esecutivo per la realizzazione del primo album e del loro singolo Oh dolce amor, con il quale partecipano al 40º Festival di Sanremo nella sezione Novità.
Eliminati dal festival dopo la prima serata, riscuotono ugualmente un buon interesse presso la stampa e le radio che non approvano la loro eliminazione. Pertanto nel 1990 i Proxima girano l'Italia con varie interviste nelle radio e partecipano a diverse trasmissioni televisive su reti nazionali, raggiungendo la loro massima popolarità.
Nel 1991 sono invitati in Canada da Chin Radio per una serie di concerti presso l'Italian Celebration Festival organizzato a Toronto.
L'anno successivo, nel 1992, realizzano il loro secondo album Extro, pubblicato da RTI Music. L'album passò praticamente inosservato, ma uno dei brani che conteneva, intitolato Rossa bocca, diventa un piccolo successo discografico che guadagna una certa accoglienza tra i pezzi radiofonici legati all'estate di quell'anno. Ancora percorrono tutta l'Italia delle radio, partecipano a trasmissioni TV e realizzano un video del singolo Ridammi la bici trasmesso da Videomusic.
Fino al 1996 continuano un'attività di concerti come cover band (attività che hanno sempre tenuto viva in modo parallelo alla loro storia artistica) e propongono nuove composizioni a diverse etichette discografiche senza riuscire a realizzare un nuovo album. Nel 1999 il gruppo si è sciolto.
# Publio Quintilio Varo (pretore)

Publio Quintilio Varo (in latino Publius Quintilius Varus; fl. III secolo a.C.) è stato pretore della Repubblica romana.

## Biografia

Fu nominato pretore nel 203 a.C. e gli fu affidato il controllo della provincia di Ariminum, con l'ordine da parte del Senato di contrastare Magone Barca che si era spinto fino alla Gallia Cisalpina. Unitamente al proconsole Marco Cornelio Cetego sconfisse l'armata di Magone Barca nel territorio dei Galli Insubri.
# Promozione Toscana 1975-1976

Nella stagione 1975-1976 la Promozione era il quinto livello del calcio italiano (il massimo livello regionale). Qui vi sono le statistiche relative al campionato in Toscana.
Il campionato è strutturato in vari gironi all'italiana su base regionale, gestiti dai Comitati Regionali di competenza. Promozioni alla categoria superiore e retrocessioni in quella inferiore non erano sempre omogenee; erano quantificate all'inizio del campionato dal Comitato Regionale secondo le direttive stabilite dalla Lega Nazionale Dilettanti, ma flessibili, in relazione al numero delle società retrocesse dal Campionato Interregionale e perciò, a seconda delle varie situazioni regionali, la fine del campionato poteva avere degli spareggi sia di promozione che di retrocessione.

## Squadre partecipanti

| Squadra | Città |
| U.S. Borgo a Buggiano | Borgo a Buggiano (PT) |
| Camaiore ‘70 S.C. | Camaiore (LU) |
| A.S. Castellina | Castellina in Chianti (FI) |
| A.S. Cecina | Cecina (LI) |
| S.C. Cerretese | Cerreto Guidi (FI) |
| U.S. Colligiana | Colle di Val d'Elsa (SI) |
| U.S. Forte dei Marmi | Forte dei Marmi (LU) |
| A.S. Fortis Juventus 1909 | Borgo San Lorenzo (FI) |
| U.S. Larcianese Plasticfibre | Larciano (PT) |
| U.S. Libertas | Tavarnelle Val di Pesa (FI) |
| U.S. Piombino | Piombino (LI) |
| U.S. Pontassieve | Pontassieve (FI) |
| U.S. Querceta | Seravezza (LU) |
| G.S. Rosignano Solvay | Rosignano Solvay (LI) |
| A.S. Terranuovese | Terranuova Bracciolini (AR) |
| A.C. Volterrana | Volterra (PI) |

## Classifica finale

| Pos. | Squadra | Pt | G | V | N | P | GF | GS | DR |
| 1. | Cecina | 47 | 30 | 20 | 7 | 3 | 47 | 12 | +35 |
| 2. | Cerretese | 45 | 30 | 18 | 9 | 3 | 42 | 18 | +24 |
| 3. | Piombino | 44 | 30 | 18 | 8 | 4 | 47 | 20 | +27 |
| 4. | Castellina | 40 | 30 | 17 | 6 | 9 | 43 | 19 | +24 |
| 5. | Forte dei Marmi | 36 | 30 | 15 | 6 | 9 | 42 | 31 | +11 |
| 6. | Rosignano Solvay | 33 | 30 | 12 | 9 | 9 | 38 | 31 | +7 |
| 7. | Larcianese Plasticfibre | 32 | 30 | 12 | 8 | 10 | 35 | 32 | +3 |
| 8. | Camaiore '70 | 28 | 30 | 10 | 8 | 12 | 35 | 35 | 0 |
| 8. | Colligiana | 28 | 30 | 10 | 8 | 12 | 29 | 39 | -10 |
| 10. | Volterrana | 27 | 30 | 9 | 9 | 12 | 22 | 27 | -5 |
| 11. | Terranuovese | 26 | 30 | 9 | 9 | 12 | 24 | 30 | -6 |
| 12. | Fortis Juventus | 22 | 30 | 7 | 8 | 15 | 25 | 35 | -10 |
| 13. | Querceta | 22 | 30 | 5 | 12 | 13 | 26 | 39 | -13 |
| 14. | Borgo a Buggiano | 20 | 30 | 6 | 8 | 16 | 24 | 53 | -29 |
| 15. | Pontassieve | 16 | 30 | 5 | 6 | 19 | 24 | 50 | -26 |
| 16. | Libertas | 13 | 30 | 2 | 9 | 19 | 18 | 50 | -32 |
| | | 479 | 480 | 175 | 130 | 175 | 521 | 521 | 0 |
Cecina e Cerretese sono promosse in Serie D. Nessuna retrocessione per ampliamento quadri.
# Psycho!

Psycho! fu una rivista a cadenza mensile, specializzata in musica heavy metal, nata nel 1996 e chiusa nel 2005.

## Storia

Psycho! nacque nel novembre del 1996 da un'idea di Francesco "fuzz" Pascoletti, che ne divenne il direttore editoriale trovando la produzione editoriale nella Magic Press Edizioni. La linea editoriale copriva un target di pubblico interessato alla musica metal più classica, ma anche aperto alla contaminazione con la musica post-industriale, con il rock gotico e soprattutto con l'hardcore punk.
Il primo numero uscì nelle edicole con il sottotitolo "Musica violenta ed altre brutte storie" e dedicava la copertina ai Type O Negative, con articoli su band storiche del metal come Motörhead, Ronnie James Dio, Manowar, ma anche all'hardcore con i Corrosion of Conformity, al glam punk con D Generation, al punk rock dei Neurotic Outsiders ed al'industrial rock degli italiani Meathead. In redazione spiccavano i nomi di Gianni Della Cioppa e Luca Collepiccolo.
Negli anni a seguire, la rivista allegò spesso una compilazione in CD con selezioni di ultime uscite.
Psycho! chiuse nella primavera del 2005
# Psychofagist (album)

Psychofagist è un album studio dell'omonimo gruppo musicale italiano, pubblicato nel 2004.

## Tracce

* Non.Rational.Algebra – 1:10
* High Minded Martyrs – 2:12
* Io ti dono la pace – 1:44
* Emo - Clasis – 2:38
* La ballata della repulsione – 2:06
* Come cieco – 2:21
* Unstable? – 0:54
* Tema: Delirio – 2:21
* 21st Century Schizoid God – 1:51
* Traces of Ephemeral Steadiness – 3:52
* Al tramonto dell'io – 4:07
* Strage – 2:12

## Formazione

* Ste - chitarra
* Cello - basso, voce
* Fiamma - batteria
# Psychobeat

Psychobeat è il secondo album dei Delta V, uscito nell'autunno del 1999. Per questo disco il gruppo si affida alla voce di Lu Heredia. Ospiti sono Angela Baraldi (che duetta con Lu in Silenzi), Mao e Garbo.

## Tracce

* Il primo giorno del mondo
* Non sei solo tu
* Marta ha fatto un sogno
* Silenzi (con Angela Baraldi)
* Sul filo
* La mia cosa (con Mao)
* Nel mare
* Le cose che vorrei
* Milla Sensi
* Quanti anni hai? (con Garbo)

## Promo

* Sul filo (Luglio 1999)
* Il primo giorno del mondo (Novembre 1999)
* Marta ha fatto un sogno (Marzo 2000)

## Crediti

* Testi e musica di Bertotti-Ferri tranne:
** Silenzi (Bertotti-Baraldi-Ferri)
** La mia cosa (Bertotti-Gurlino)
** Le cose che vorrei (Bertotti-Ferri-Marsano)
** Quanti anni hai? (Abate)
* Luana Heredia: voce
* Carlo Bertotti: tastiere, synth, voce, pianoforte, programmazione, trombone
* Flavio Ferri: samples, chitarra elettrica, ganja, filtri, rumori
* Angela Baraldi: voce
* Mao: voce
* Garbo: voce
* Phil Palmer: chitarra acustica
* Ru Catania: chitarra elettrica
* Gianluca Grazioli: batteria
* Paolo Gozzetti: programmazione
* Chicco Gussoni: chitarra acustica
* Gianluca Gaiba: chitarra elettrica
* Prodotto da: Roberto Vernetti (1,2,5,9), Paolo Gozzetti (3,4), Maurizio Liguori (6,7,8), Straker & Foster (10)
* Arrangiamenti: Carlo Bertotti per Straker & Foster
* Registrato e mixato a Londra, Milano, Modena e Bologna

## Recensioni

* Gufetto.it.
* Rockit.it.
* Rockol.it.
* Rockstar.it.
# Greenstream

Il Greenstream è un gasdotto lungo 520 km che collega la Libia con l'Italia. È operativo dal 1º ottobre del 2004 e i suoi lavori di costruzione si sono svolti con notevole rapidità, essendo iniziati ad agosto 2003 e ultimati nel febbraio dell'anno successivo. La posa dei tubi è stata eseguita dalla Saipem. Le forniture del gasdotto sono iniziate il 1º ottobre 2004 mentre l'inaugurazione è avvenuta il 7 ottobre dello stesso anno, da Silvio Berlusconi e da Muʿammar Gheddafi.

## Soci

È operato da Eni (quota del 75%) e NOC (quota del 25%) nel quadro della più ampia joint-venture paritetica denominata Western Libyan Gas Projects e fa parte del sistema di trasporto del gas libico Libyan Gas Transmission System. Consente al gas estratto dai giacimenti di Bahr Essalam (offshore) e Wafa (nel deserto libico, al confine con l'Algeria) di essere trasportato in Sicilia e di qui al resto dell'Italia. L'investimento totale è stato di 7 miliardi di euro, di cui 3,7 in quota Eni.

## Capacità

La quantità di gas trasportata è di 8 miliardi di metri cubi all'anno. Circa 2 miliardi di metri cubi di gas estratti dai campi produttivi del WLGP sono invece destinati ai mercati locali e non vengono esportati tramite il Greenstream.

## Tracciato e caratteristiche tecniche

Il gasdotto è lungo 520 km e si snoda fra la stazione di compressione di Mellitah ed il terminale di ricevimento del gas di Gela. Con i suoi 520 km è attualmente il gasdotto più lungo esistente nel Mar Mediterraneo, ed in alcuni tratti raggiunge la profondità di 1.127 metri.

## Altri gasdotti del Mar Mediterraneo

* Galsi
* Transmed
* TAP - Gasdotto Trans Adriatico
* Interconnettore Grecia-Italia
# Sommet de Château Jouan

Il Sommet de Château Jouan (sulla bibliografia in italiano anche monte Janus) è una montagna di 2.565 m s.l.m. d'altitudine, situata sul versante sud del colle del Monginevro e che fa parte delle Alpi Cozie nella sottosezione Alpi del Monginevro.

## Geografia

Amministrativamente la montagna fa parte del Dipartimento delle Alte Alpi e si trova sul confine tra i comuni di Montgenèvre e Val-des-Prés. È collocata sullo spartiacque che separa la parte più alta della Valle della Durance dal tratto della vallata che, dopo avere compiuto una rotazione verso sud-ovest, si affaccia su Briançon. Ad sud-est il crinale scende al colle Janus (2347 m) per risalire al Sommet des Anges e raccordarsi verso est alla Catena principale alpina in corrispondenza dello Chenaillet. Il crinale prosegue invece verso nord ospitando l'ex-forte dello Janus e si esaurisce sul fondovalle poco a ovest della Durance.

## Storia

La montagna faceva parte del complesso sistema di difesa posto in essere dalla Francia nella zona del Briançonnais grazie alla sua posizione geografica rispetto allo spartiacque e al Colle del Monginevro. Dopo Luigi XIV, dai forti Vauban alla Linea Maginot l'opera di fortificazione della zona da parte dell'esercito francese non è praticamente mai stata cessata. In un pianoro poco al di sotto del Sommet de Château Jouan venne costruito un massiccio forte, che fu potenziato in vista della seconda guerra mondiale con nuove fortificazioni sotterranee. Nel corso del conflitto la zona fu teatro di vari scontri tra le truppe italo-tedesche e quelle franco-marocchine.

## Accesso alla vetta

Si può raggiungere il forte dello Janus con una ex-strada militare, parzialmente rovinata dall'erosione, a partire dal colle Gondran. Questo è a sua volta raggiungibile dal Colle del Monginevro e dal versante nord, rivolto a Briançon. Dal forte la cima della montagna può essere raggiunta in breve seguendo un sentierino ripido e piuttosto esposto che risale un crinale di roccia friabile. Il forte è anche una meta di escursioni in mountain bike e scialpinistiche.

## Cartografia

* Cartografia ufficiale francese dell'Institut géographique national (IGN), consultabile online, su geoportail.gouv.fr.
* Istituto Geografico Centrale - Carta dei sentieri e dei rifugi scala 1:50.000 n. 1 Valli di Susa Chisone e Germanasca
# Counting quantifier

Un counting quantifier è un quantificatore della forma "esistono almeno k elementi che soddisfano la proprietà X ". Nella logica del primo ordine possono essere definiti mediante i quantificatori ordinari, quindi si tratta di una notazione più compatta.
Tuttavia, sono interessanti nel contesto della logica a due variabili che limita il numero di variabili nelle formule. Inoltre, i counting quantifier generalizzati , in quanto si riferiscono a un numero infinito di elementi, non sono esprimibili mediante un numero finito di formule della logica del primo ordine.

## Definizione rispetto ai quantificatori ordinari

I counting quantifier possono essere definiti in modo ricorsivo in termini di quantificatori ordinari.
* Sia $\exists ^{=k}$ e si legga "esistono esattamente $k$ elementi". Allora:
    ${\begin{aligned}\exists ^{=0}xF(x)&\leftrightarrow \neg \exists xF(x)\\\exists ^{=k+1}xF(x)&\leftrightarrow \exists x(F(x)\land \exists ^{=k}y(y\neq x\land F(y)))\end{aligned}}$
* Sia $\exists ^{\geq k}$ e si legga "esistono almeno $k$ elementi". Allora:
    ${\begin{aligned}\exists ^{\geq 0}xF(x)&\leftrightarrow \top \\\exists ^{\geq k+1}xF(x)&\leftrightarrow \exists x(F(x)\land \exists ^{\geq k}y(y\neq x\land F(y)))\end{aligned}}$
# Greensville Correctional Center

Il Greensville correctional center è un luogo di detenzione situato presso la cittadina di Jarratt, in Virginia. Gestito dalla Virginia Department of Corrections, che si occupa delle prigioni in Virginia, è una delle prigioni nella quale viene eseguita la pena capitale nel suddetto stato. Ha una popolazione di 3055 detenuti al giugno 2008.

## Storia

La prigione fu aperta nel 1990 con una cerimonia dal governatore della Virginia L. Douglas Wilder, e costò 106 milioni di dollari, per rimpiazzare due vecchie prigioni presso Richmond.
Inizialmente, fu classificato Carcere di Massima sicurezza, ma dopo passò a carcere di media sicurezza. La struttura ha una forma di esagono, circondata da un doppio perimentro a forma esagonale, sul quale vengono montate le torrette di guardia; Nel 1995, fu costruito un campo di lavoro forzato vicino alla struttura.
Nel 1991 è stata completata la camera della morte, sul retro dell'edificio. Fino al 2010, la Virginia usava esclusivamente la sedia elettrica come metodo di pena capitale, ma con l'esecuzione di Teresa Lewis, avvenuta il 23 settembre 2010, proprio tristemente nota per questo, è stata adottata l'iniezione letale, fino al 2021 quando il governo della Virginia ha abolito la pena di morte.
# Morti nel 407 a.C.

* Questa pagina contiene informazioni ricavate automaticamente dalle voci biografiche con l'ausilio del template Bio e di un bot.
* L'aggiornamento è periodico e automatico e ricostruisce completamente la pagina.
* Se manca una persona in questa lista, sei pregato di non aggiungerla, ma accertati piuttosto che la sua voce biografica contenga il template Bio e che i dati anagrafici siano correttamente compilati. Se il template Bio manca, inseriscilo tu stesso o, in alternativa, metti l'avviso {{tmp|Bio}} che ne segnala la mancanza. Se i dati riportati sono sbagliati, correggi direttamente la voce biografica; le modifiche saranno visibili in questa lista entro pochi giorni. Per chiarimenti vedi il progetto biografie. La lista contiene solo le 2 persone che sono citate nell'enciclopedia e per le quali è stato implementato correttamente il template Bio. Pagina aggiornata al 10 ott 2024.
* Antioco, ammiraglio ateniese
* Ermocrate, politico e militare siceliota
# Matuku

Matuku è un ward dello Zambia, parte della Provincia Centrale e del Distretto di Mkushi.