OpenLLM-France/wikimedia huggingface dataset:
# Jean Gallier

Jean Henri Gallier (born 1949) is a researcher in computational logic at the University of Pennsylvania, where he holds appointments in the Computer and Information Science Department and the Department of Mathematics.

## Biography

Gallier was born January 5, 1949, in Nancy, France, and holds dual French and American citizenship. He earned his baccalauréat at the Lycée de Sèvres in 1966, and a degree in civil engineering at the École Nationale des Ponts et Chaussées in 1972. He then moved to the University of California, Los Angeles for his graduate studies, earning a Ph.D. in computer science in 1978 under the joint supervision of Sheila Greibach and Emily Perlinski Friedman. His dissertation was entitled Semantics and Correctness of Classes of Deterministic and Nondeterministic Recursive Programs. After postdoctoral study at the University of California, Santa Barbara, he joined the University of Pennsylvania Department of Computer and Information Science in 1978. At Pennsylvania, he was promoted to full professor in 1990, gained a secondary appointment to the Department of Mathematics in 1994, and directed the French Institute of Culture and Technology from 2001 to 2004.

## Contributions

Gallier's most heavily cited research paper, with his student William F. Dowling, gives a linear time algorithm for Horn-satisfiability. This is a variant of the Boolean satisfiability problem: its input is a Boolean formula in conjunctive normal form with at most one positive literal per clause, and the goal is to assign truth values to the variables of the formula to make the whole formula true. Solving Horn-satisfiability problems is the central computational paradigm in the Prolog programming language.
Gallier is also the author of five books in computational logic, computational geometry, low-dimensional topology, and discrete mathematics.

## Selected publications
### Research papers

| DG84. | Dowling, William F.; Gallier, Jean H. (1984), "Linear-time algorithms for testing the satisfiability of propositional Horn formulae", Journal of Logic Programming, 1 (3): 267–284, doi:10.1016/0743-1066(84)90014-1, MR 0770156. |

### Books

| G86. | Gallier, Jean H. (1986), Logic for Computer Science: Foundations of Automatic Theorem Proving, Wiley. 2nd ed., Dover Publications, 2015. |
| G99. | Gallier, Jean (1999), Curves and Surfaces in Geometric Modeling: Theory and Algorithms, The Morgan Kaufmann Series in Computer Graphics and Geometric Modeling, San Francisco, CA: Morgan Kaufmann, ISBN 1-55860-599-1. |
| G00. | Gallier, Jean (2000), Geometric Methods and Applications: For Computer Science and Engineering, Texts in Applied Mathematics, vol. 38, New York: Springer-Verlag, doi:10.1007/978-1-4613-0137-0, ISBN 0-387-95044-3. 2nd ed., 2011, ISBN 978-1-4419-9960-3. |
| G11. | Gallier, Jean (2011), Discrete Mathematics, Universitext, New York: Springer-Verlag, doi:10.1007/978-1-4419-8047-2, ISBN 978-1-4419-8046-5, MR 2777371. |
| GX13. | Gallier, Jean; Xu, Dianna (2013), A Guide to the Classification Theorem for Compact Surfaces, Geometry and Computing, vol. 9, Heidelberg: Springer, doi:10.1007/978-3-642-34364-3, ISBN 978-3-642-34363-6. |
# Sascha Williams

Sascha Williams (born 14 May 1980 in Chelmsford, Essex) is a British journalist and newsreader employed by ITV News.
Sascha started her broadcasting career at ITV Anglia, working on ITV News Anglia as a production journalist from June 2003 until January 2006, when she was promoted to on-screen reporter and presenter.
In December 2009, she became freelance, reporting for Daybreak, ITV News, ITV News London and NBC News. She was also a newscaster of the national ITV News at 5:30 and newsreader for ITV News London.
In July 2013 she was contracted to ITV News as a journalist and newsreader.
# Indiavaí

Indiavaí is a municipality in the state of Mato Grosso in the Central-West Region of Brazil.
# White Spot / Delta Road Race

White Spot / Delta Road Race is the name of two cycling races:
* White Spot / Delta Road Race (men's race)
* White Spot / Delta Road Race (women's race)
# Tricon

Tricon may refer to:
* Tricon Garage, an automobile racing team formerly known as David Gilliland Racing
* Tricon Global Restaurants, a spin-off company of PepsiCo that, after a merger, became known as Yum! Brands
* Tricon Residential, formerly Tricon Capital, a Canadian real estate company
* Tricon, an alternate name for the 24th World Science Fiction Convention, a convention held in three cities in 1966
* Tricon Award, an award presented to Lady Gaga at the 2020 MTV Video Music Awards
* Tricon Boston Consulting Corporation, a company that produced power stations for wind power in Pakistan
* Tricon container, an intermodal shipping container one-third the size of a standard 20-foot container
* Tricon, a consortium related to the Senator Lines shipping company
* Tricon Films & Television, a production company that produced content such as the television series Cock'd Gunns, Counterfeit Cat, and Go Away, Unicorn!
* Tricon systems, an industrial safety-shutdown technology system produced by the company Triconex
* Tricon Design, a company involved in the design of the Doha Metro and the German Vossloh G2000 BB locomotive
* Tricon, a logo used by BBC Three
* Vincent Tricon, the editor of the film Divines and director of Daphné Patakia
* Tricon, the term for hands having three-of-a-kind in the card game Commerce, Gé, Point, Flux et Sequence, or Gilet
* Tricon, a term for having three or four cards of the same denomination in the card game Hoc Mazarin
* Tricon International Airlines, a defunct airline of the United States that operated a flight that crashed at Dallas Love Field in 1973
* SA Tricon, a company that operates a garment factory in the Cahul District of Moldova
* Bell Atlantic-Tricon Leasing Corporation, a company that owned the Aladdin hotel and casino in Las Vegas, Nevada
# White Mountain (Wolin)

The White Mountain is a hill of the Wolin Range, located in the north-eastern part of the island of Wolin, in the West Pomeranian Voivodeship, Poland, within Gmina Międzyzdroje, Kamień County. Its height above mean sea level is 65 m (213.26 ft). To the southeast from the hill is located the hamlet of Biała Góra.
# Syrrusis pictura

Syrrusis pictura is a moth of the family Noctuidae. It is found in Madagascar.
The wingspan of the adult moths is 30 mm.
# Syrrusoides

Syrrusoides is a genus of moths of the family Noctuidae in Madagascar.

## Species

* Syrrusoides lecordieri Laporte, 1972
* Syrrusoides viettei Laporte, 1972
# Lances de Malissard

The Lances de Malissard are two summits, located in the Chartreuse Mountains in the Department of Isère, in the French Prealps. More than the peaks themselves, it is the long ridge that is north–south facing, that separate the col de Bellefond and a long alpine valley of another ridge, the Aulp du Seuil, that dominates the Gresivaudan valley. There are two "Lances" (summits) in the Lances de Malissard. The South "Lance" of Malissard culminates at 2,045 metres (6,709 ft) and north "Lance" of Malissard at 2,036 metres (6,680 ft). The Guiers Vif rises at the north end of the ridge of the Lances de Malissard.

## Caving

An important Speleological network is located under the lances of Malissard and not in the centre of the syncline of the Aulp du Seuil. The Malissard River develops on a north–south axis and exits the karst spring of the Guiers Vif 45°23′26″N 5°53′50″E﻿ / ﻿45.39050°N 5.89729°E﻿ / 45.39050; 5.89729. Its development is 17,793 metres (58,376 ft) for 415 metres (1,362 ft) depth. In 1992 the British pass the sump of Guiers Vif cave and make the junction with the Trou of the Flammes discovered in 1973 and located at the top. In 1993 the Tasurinchi chasm 45°23′26″N 5°53′50″E﻿ / ﻿45.39050°N 5.89729°E﻿ / 45.39050; 5.89729 was connected to the entrance to the Guiers Vif. Two other chasms, the Ténébreux (−360 m) and the Cavernicole (−362 m), are located above the network but are not connected to the Malissard River.
# Transatlantic Legislators' Dialogue

Taking the existing interparliamentary relationship as its basis, the Transatlantic Legislators' Dialogue (TLD) aims to strengthen and enhance the level of political discourse between European and American legislators. It does so against the background of the numerous other contacts that have resulted in a significantly closer EU-US relationship at a variety of levels. These include, namely, the annual EU-US Summit meetings established by the Transatlantic Declaration of 1990, the Transatlantic Dialogues (Business, Consumers, Environment, and Labour) and other initiatives.
The TLD constitutes the formal response of the European Parliament and the US Congress to the commitment in the New Transatlantic Agenda (NTA) of 1995, to enhanced parliamentary ties between the European Union and the United States. In practical terms, the TLD includes the bi-annual meetings of the European Parliament and the US Congress delegations and a series of teleconferences, organised on specific topics of mutual concern, with a view to fostering an ongoing and uninterrupted dialogue.
The European Parliament and the US Congress have established a steering committee to co-ordinate TLD activities. The steering committees also maintains contacts with the members of the Senior Level Group (SLG), which is composed of high-ranking officials from the European Commission, the EU Presidency and the US Administration.
The current chairs of the TLD are Radosław Sikorski PPE (Poland/PPE-DE) on the European side and Rep. Jim Costa (D-California) on the American side.
# Tree Climbers

"Tree Climbers" is the seventh single from Japanese pop singer Kaela Kimura. It was released on September 6, 2006, and reached number six on the Japan Oricon singles chart. It is from the album Scratch.
# Syncopacma sikoraella

Syncopacma sikoraella is a moth of the family Gelechiidae. It was described by Pierre Viette in 1956. It is found in Madagascar.
# Syncopacma suecicella

Syncopacma suecicella is a moth of the family Gelechiidae. It was described by Wolff in 1958. It is found in Great Britain, Portugal, Spain, France, Germany, Denmark, Sweden, Austria, Italy, the Czech Republic, Hungary, Greece and Russia, as well as on Sardinia.
The wingspan is 9–10 mm.
# Lansing, Ohio

Lansing is a census-designated place in northern Pease Township, Belmont County, Ohio, United States, along Wheeling Creek. As of the 2020 census it had a population of 596. It has a post office with the ZIP code 43934.
Lansing is part of the Wheeling, WV-OH Metropolitan Statistical Area.
A post office called Lansing has been in operation since 1898. Besides the post office, Lansing had a church, built there in 1834. Lansing was known as Soaptown from 1860 to 1889.
# Synpalamides escalantei

Synpalamides escalantei is a moth of the family Castniidae. It was described by Jacqueline Y. Miller in 1976, and is known from Mexico.
The length of the forewings 40–45 mm for males and 55–58 mm for females.
# Langmuir (crater)

Langmuir is an impact crater on the Moon's far side. It is located in a region to the southwest of the Mare Orientale impact basin. Langmuir is bracketed between two larger craters, with Chebyshev to the west-northwest and Brouwer to the east. It partly overlaps the rims of these two craters, making it the youngest of the three. The outer rampart of ejecta from Langmuir partly covers the southeast interior floor of Chebyshev.
This crater has not been heavily eroded, and many of its original features remain intact and sharply defined. The rim to the west is somewhat disrupted due to having overlaid the rim of the larger Chebyshev. In a coincidental arrangement, a small crater is situated across the rim edge at the northern end of where it joins with Chebyshev, and a smaller crater lies at the southern end of this merger.
The inner wall of Langmuir contains some minor terrace structures and displays some appearance of slumping along the southwestern edge. The inner wall in the southern half of the crater is wider than elsewhere, and is nearly twice as wide as the inner wall along the northern edge. As a result, the interior floor is offset to the north. There is a central peak formation on the floor, but it is located to the northeast of the midpoint. The floor is relatively level in the western half, but more uneven in the east.
# Trebsen

Trebsen is a town in the Leipzig district, in Saxony, Germany. It is situated on the river Mulde, 6 km northeast of Grimma, and 27 km east of Leipzig (centre).

## Mayors

In June 2015 Stefan Müller was elected the new mayor. Before S. Müller, Heidemarie Kolbe was 25 years in office.
# Trianaea naeka

Trianaea naeka is a species of plant in the family Solanaceae. It is endemic to Ecuador. Its natural habitat is subtropical or tropical moist montane forests.
# Trinidad and Tobago national field hockey team

Trinidad and Tobago national field hockey team may refer to:
* Trinidad and Tobago men's national field hockey team
* Trinidad and Tobago women's national field hockey team
# Trinity (Ronnie Atkins album)

Trinity is the third solo studio album by Danish hard rock singer and songwriter Ronnie Atkins. The album was released on 13 October 2023 by Frontiers Records. Atkins has said of the album: "Likely the heaviest of the three albums I've released so far but nevertheless it's very melodic and lyrically present".

## Track listing

All tracks are written by Ronnie Atkins

## Charts

| Chart (2023) | Peak position |
| Swiss Albums (Schweizer Hitparade) | 49 |
# Trine Torp

Trine Schøning Torp (born 18 February 1970 in Glostrup) is a Danish politician, who is a member of the Folketing for the Socialist People's Party. She was elected into parliament at the 2015 Danish general election.

## Political career

Torp was a member of the municipal council of Halsnæs Municipality from 2009 to 2015. She was first elected into parliament at the 2015 election, where she received 2,494 votes. She was reelected in 2019 with 4,307 votes.
# Så mycket Olle Ljungström

Så mycket Olle Ljungström is a triple Olle Ljungström compilation album released in December 2012. CD 1 and 2 consist of songs from Olle Ljungström's solo albums, while CD 3 consists of his songs from the Så mycket bättre 2012 programme, as well as a rerecording of his older song "Min trädgård".

## Track listing
### CD 1

* En apa som liknar dig
* Överallt
* Jag och min far
* Vatten, sol och ängar
* Jag spelar vanlig
* Sthlm, sthlm
* Som man bäddar
* Hur långt kan det gå
* La la la
* Du och jag
* Jesus kan
* Tysk indian
* Kaffe & cigarette
* Minns i november
* Feber
* En galen hund
* Att vi älskar
* Svenskt stål

### CD 2

* Norrländska präriens gudinna
* Nåt för dom som väntar
* Du sköna värld
* Bara himlen ser på
* Solens strålar
* Det betyder ingenting
* Som du
* Somnar om
* Sveriges sista cowboy
* En förgiftad man
* Happy End
* Morotsman
* Skjut dom som älskar
* Nitroglycerin
* Du ska bli min
* Sötnos
* Hjältar
* Vila vid denna källa

### CD 3

* Dinga linga Lena
* Om du lämnade mig nu
* Johnny the Rucker
* Rock n Roll
* Eviva España
* Who's That Girl
* I min trädgård (acoustic)

## Charts

| Chart (2013) | Peak position |
| Sweden (Sverigetopplistan) | 2 |
# Whitethorn

Whitethorn or white thorn may refer to:

## Plants

* Acacia constricta, known as whitethorn acacia, a shrub in the family Fabaceae
* Bursaria spinosa, a small shrub in the family Pittosporaceae
* Ceanothus leucodermis, a shrub in the family Rhamnaceae
* Crataegus monogyna, the common hawthorn, a small tree in the family Rosaceae
* Crataegus punctata

## Other

* Whitethorn, California, United States
* Whitethorn (Blacksburg, Virginia), U.S., a historic house
* Whitethorn Woods, 2006 novel by Maeve Binchy
* Whitethorn (novel), a 2005 novel by Bryce Courtenay
# Who Is the Craftiest

Who Is the Craftiest is a 1988 Hong Kong comedy film directed by Poon Man-kit and starring Ricky Hui, Bill Tung, Tang Pik-wan, Sammy Cheung, Tiffany Lau, Keung Chung-ping and Lo Hoi-pang.

## Cast

* Ricky Hui as Mon
* Bill Tung as Leung Piu
* Tang Pik-wan as Mrs. Kang / Mita Sudan
* Sammy Cheung as Kang Chuen
* Tiffany Lau as Siu Wan / Winnie
* Keung Chung-ping as Kang Chung Ping
* Lo Hoi-pang as Police sergeant Pang
* Fung King-man as Kang's family member
* Yu Mo-lin as Kang's family member
* Cheung Hei as Letter writer
* Leung Oi as Kang's family member
* Shirley Gwan as Susan
* Amy Yip as Club girl
* Yeung Yau-cheung as Kang's family member
* Ho Pak-kwong as Kang's family servant
* Mai Kei as Brother Wah
* Chan Kim-wang as Superintendent KK Wong
* Ben Wong Tin-tok
* Leung Hak-shun as Jewelry store's staff
* Ling Lai-man as Manager Wong of jewelry store
* Thomas Sin as Wedding car driver
* Yung Sau-yee
* Tony Tam as Cop
* Chin Lai-yee
* Luk Ying-hung as policeman
* Lam Foo-wai as Fake cop
* Ng Kwok-kin as policeman
* Ho Chi-moon as Passerby
* Kingson Shek as Cop

## Box office

This film grossed HK$3,193,219 during its theatrical run from 1 January to 7 January 1988 in Hong Kong.
# Trekanten, Sweden

Trekanten is a locality situated in Kalmar Municipality, Kalmar County, Sweden with 1,422 inhabitants in 2010.
# Guitars and Microphones

Professional ratings :
| Aggregate scores ||
| Source | Rating |
| Metacritic | 63/100 |
| Review scores ||
| Source | Rating |
| MusicOMH | |
| Pitchfork Media | (6.4/10) |
Guitars and Microphones is the debut studio solo album by Kate Pierson of The B-52s. It was released in February 2015 under Lazy Meadow Music.
# Journal of Safety Research

The Journal of Safety Research is a quarterly peer-reviewed academic journal covering all aspects of safety and health research. It was established in 1969 and is published jointly by Elsevier and the National Safety Council. The editor-in-chief is Thomas Planek (National Safety Council). According to the Journal Citation Reports, the journal has a 2014 impact factor of 1.870.
# Salvia sonchifolia

Salvia sonchifolia is a perennial plant that is native to Yunnan province in China, found growing in damp forest humus on limestone mountains at 1,300 to 1,500 m (4,300 to 4,900 ft) elevation. S. sonchifolia grows on erect stems to 30 cm (12 in) tall, with oblong leaves that are 4 to 6.5 cm (1.6 to 2.6 in) long and 1.5 to 3 cm (0.59 to 1.18 in) wide.
Inflorescences are compact 2-flowered verticillasters in terminal racemes, with a 3.5 cm (1.4 in) purple corolla.
# Tintinnabuli

Tintinnabuli (singular. tintinnabulum; from the Latin tintinnabulum, "a bell") is a compositional style created by the Estonian composer Arvo Pärt, introduced in his Für Alina (1976), and used again in Spiegel im Spiegel (1978). This simple style was influenced by the composer's mystical experiences with chant music. Musically, Pärt's tintinnabular music is characterized by two types of voice, the first of which (dubbed the "tintinnabular voice") arpeggiates the tonic triad, and the second of which moves diatonically in mostly stepwise motion. The works often have a slow and meditative tempo, and a minimalist approach to both notation and performance. Pärt's compositional approach has expanded somewhat in the years since 1970, but the overall effect remains largely the same. An early example can be heard in Cantus in Memoriam Benjamin Britten.

## Pärt's own comments on his style

* "Tintinnabulation is an area I sometimes wander into when I am searching for answers – in my life, my music, my work. In my dark hours, I have the certain feeling that everything outside this one thing has no meaning. The complex and many-faceted only confuses me, and I must search for unity. What is it, this one thing, and how do I find my way to it? Traces of this perfect thing appear in many guises – and everything that is unimportant falls away. Tintinnabulation is like this. . . . The three notes of a triad are like bells. And that is why I call it tintinnabulation."
* "I could compare my music to white light which contains all colours. Only a prism can divide the colours and make them appear; this prism could be the spirit of the listener." – from the essay White Light by Hermann Conen, as translated into English by Eileen Walliser-Schwarzbart (found in the liner notes of the ECM release of Alina).
* "Tintinnabuli is the mathematically exact connection from one line to another.....tintinnabuli is the rule where the melody and the accompaniment [accompanying voice]...is one. One and one, it is one – it is not two. This is the secret of this technique." – from a conversation between Arvo Pärt and Antony Pitts recorded for BBC Radio 3 at the Royal Academy of Music in London on 29 March 2000, as printed in the liner notes of the Naxos Records release of Passio.
# Whytecliff Park

Whytecliff Park is located in West Vancouver, British Columbia, Canada, near the Horseshoe Bay neighbourhood, which was originally named White Cliff City when it was first settled in 1909. The park is currently home to more than 200 marine animal species and is the first Marine Protected Area in Canada. Sea lions can be seen sunbathing on the beach during summer.

## History

In 1914, Colonel Albert Whyte pressed for the spelling change from White Cliff City to Whytecliff. The Whytecliff area is now distinct from Horseshoe Bay. The park, originally Rockcliffe Park, was developed by W.W. Boultbee in 1926, and a private access road was cut from the Marine Drive highway at Batchelor Bay.
The fifty acre Boultbee estate was purchased by the Union Steamship Company in 1939 and the company operated a Bowen Island Ferry from Whytecliff during 1939-41 and 1946-1952
# Townfield

Townfield is a village in County Durham, in England. It is situated just to the south of Hunstanworth and part of that parish, about 10 miles (16 km) west of Consett.
The lands were owned by the Hospital of St Giles which passed to William Paget at the dissolution. In 1545 Paget passed the lands to William Egliston and his descendants who held the lands until 1692 when the line ended. The land then passed to the Ord family of Newcastle.
Lead mining was an important industry from the 1650s onwards though most of the mining was centred at the nearby village of Ramshaw. The London Lead Company operated in the area from the 1700s to the 1850s when the Derwent Mining Company took over. By the 1950s mining had ceased.
Some of the buildings were designed by the architect S.S. Teulon in the 1860s as was much of Hunstanworth.
# Jean Gallois (musicologist)

Jean Gallois, pseudonym of Jean Gaillard, (30 March 1929 – 4 October 2022) was a French musicologist, violinist, music historian, and music critic.

## Biography

Gallois published numerous books on Baroque music, Romantic music, and music from the 19th and 20th centuries. He became close with composer Maurice Delage in 1948 and compiled a catalog of his works. His biography of Ernest Chausson earned him the Grand Prix Bernier from the Académie des Beaux-Arts. His book, Les Polignac, mécènes du xxe siècle, was honored by the Institut social de France et de l'Union européenne.
Gallois created the collection Horizons with Bleu nuit, which he directed until 2008. He was also a member of the Académie Charles Cros and the scientific committee of the Musée Eugène Carrière.
Jean Gallois died on 4 October 2022, at the age of 93.

## Discography

* "Ernest Chausson, Le Roi Arthus" (1987)
* "Maurice Delage" (1998)
* "Cinq Quintettes avec piano de l'école française" (2014)

## Publications

* Jean-Sébastien Bach (1961)
* Richard Wagner (1962)
* César Franck (1966)
* Ernest Chausson (1967)
* Antonio Vivaldi (1967)
* Anton Bruckner (1971)
* Robert Schumann (1972)
* Georg Friedrich Haendel (1980)
* César Franck (1980)
* Ernest Chausson (1994)
* Les Polignac, mécènes du xxe siècle (1995)
* Les grands musiciens (1997)
* Ernest Chausson : écrits inédits, journaux intimes, roman de jeunesse, correspondance (1999)
* Jean-Baptiste Lully ou la naissance de la tragédie lyrique (2001)
* Henri Collet ou l'Espagne impérieuse (2001)
* Camille Saint-Saëns (2004)
* Anton Bruckner (2014)
* Igor Stravinski (2016)
* Georg Friedrich Haendel (2019)
* Robert Schumann (2020)