OpenLLM-France/wikimedia huggingface dataset:
# Analytic proof

In mathematics, an analytic proof is a proof of a theorem in analysis that only makes use of methods from analysis, and that does not predominantly make use of algebraic or geometrical methods. The term was first used by Bernard Bolzano, who first provided a non-analytic proof of his intermediate value theorem and then, several years later provided a proof of the theorem that was free from intuitions concerning lines crossing each other at a point, and so he felt happy calling it analytic (Bolzano 1817).
Bolzano's philosophical work encouraged a more abstract reading of when a demonstration could be regarded as analytic, where a proof is analytic if it does not go beyond its subject matter (Sebastik 2007). In proof theory, an analytic proof has come to mean a proof whose structure is simple in a special way, due to conditions on the kind of inferences that ensure none of them go beyond what is contained in the assumptions and what is demonstrated.

## Structural proof theory

In proof theory, the notion of analytic proof provides the fundamental concept that brings out the similarities between a number of essentially distinct proof calculi, so defining the subfield of structural proof theory. There is no uncontroversial general definition of analytic proof, but for several proof calculi there is an accepted notion. For example:
* In Gerhard Gentzen's natural deduction calculus the analytic proofs are those in normal form; that is, no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule;
* In Gentzen's sequent calculus the analytic proofs are those that do not use the cut rule.
However, it is possible to extend the inference rules of both calculi so that there are proofs that satisfy the condition but are not analytic. For example, a particularly tricky example of this is the analytic cut rule, used widely in the tableau method, which is a special case of the cut rule where the cut formula is a subformula of side formulae of the cut rule: a proof that contains an analytic cut is by virtue of that rule not analytic.
Furthermore, proof calculi that are not analogous to Gentzen's calculi have other notions of analytic proof. For example, the calculus of structures organises its inference rules into pairs, called the up fragment and the down fragment, and an analytic proof is one that only contains the down fragment.
# Ruhan

Ruhan is a given name and surname of multiple origins. Notable people with the name include:
* Ruhan Işim (born 1970), retired Turkish pole vaulter
* Jia Ruhan, Chinese soprano
* Ruhan Nel (born 1991), South African rugby union player
* Ruhan Pretorious (born 1991), South African first-class cricketer

## Surname

* Andy Ruhan (born 1962), British businessman and motor racing driver
# And I Thought About You

And I Thought About You may refer to:
* And I Thought About You (Patti Page album), 1955
* And I Thought About You (Johnny Hartman album), 1959
# Run for the Roses (album)

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
| The Encyclopedia of Popular Music | |
| The Music Box | |
| The Rolling Stone Album Guide | |
Run for the Roses is the fourth and final solo album by the American musician Jerry Garcia, released in 1982. It was recorded during a period when Garcia began to have health issues.

## Track listing

This side
* "Run for the Roses" (Jerry Garcia, Robert Hunter) – 3:30
* "I Saw Her Standing There" (John Lennon, Paul McCartney) – 2:53
* "Without Love" (Danny Small) – 4:22
* "Midnight Getaway" (Jerry Garcia, John Kahn, Robert Hunter) – 7:46
That side
* "Leave The Little Girl Alone" (John Kahn, Robert Hunter) – 3:33
* "Valerie" (Jerry Garcia, Robert Hunter) – 5:19
* "Knockin' on Heaven's Door" (Bob Dylan) – 7:27
Bonus tracks (All Good Things box set):
* "Fennario" (Traditional) (aka Peggy-O)
* "Alabama Getaway" (Jerry Garcia, Robert Hunter)
* "Tangled Up in Blue" (Bob Dylan)
* "Simple Twist of Fate" (Bob Dylan)
* "Dear Prudence" (John Lennon, Paul McCartney)
* "Valerie" alternative mix (Jerry Garcia, Robert Hunter)

## Personnel
### Musicians

* Jerry Garcia – guitar, vocals
* John Kahn – bass, fretless bass, synthesizer, piano, clavinet, guitar
* Ron Tutt – drums, percussion
* Melvin Seals – organ
* Merl Saunders – organ
* James Warren – piano, clavinet
* Michael O'Martian – piano, clavinet
* Michael Neuman – trumpet
* Liz Stires – vocals
* Julie Stafford – vocals

### Production

* Produced by Jerry Garcia, John Kahn
* Recording: Betty Cantor-Jackson, Ron Malo
* Mixing: Bob Matthews
* Mastering: George Horn
* Artwork: Victor Moscoso
# Dion Martinez

Dión M. Martínez (26 June 1837 – 11 March 1928) was a Cuban–born American chess master.
He was regarded as one of the strongest chess players in Philadelphia. There he played several matches against James Mason (4 : 5 in 1874 and 3 : 1 in 1875), Wilhelm Steinitz (0 : 7 in November 1882, 2.5 : 4.5 in December 1882, and 1 : 10 in 1883), and Johannes Zukertort (3.5 : 9.5 in 1884).
He took 9th at Philadelphia 1876 (Fourth American Chess Congress, Mason won), and tied for 17-18th at New York 1889 (Sixth American CC, Max Weiss and Mikhail Chigorin won). The New York Times of 16 June 1889 describes him as "Dion Martinez of Philadelphia is rather an elderly gentleman, tall and dignified. He was regarded as one of the strongest chessplayers in Philadelphia, but has not practiced much for two years past, and financial adversities have tended to detract his mind from the game.".
# Hanusse Bay

Hanusse Bay is a broad, V-shaped bay, off the west coast of Graham Land, Antarctica. The bay is 37 kilometres (20 nmi) long and trends generally north–south. It is bordered by Cape Mascart on Anvers Island, and Shmidt Point on Arrowsmith Peninsula, Loubet Coast. At its north entrance, Isacke Passage separates it from Liard Island. It is bounded to the south by a line from Landauer Point, the north point of Hansen Island and Bagnold Point on Arrowsmith Peninsula.
The bay was discovered and first charted by the French Antarctic Expedition, 1908–10, under Jean-Baptiste Charcot, and named by him for the director of the Hydrographic Service of the French Navy Ferdinand Isidore Hanusse (1848–1921). Isacke Passage was also charted Charcot's expedition. It was named by the UK Antarctic Place-Names Committee for Captain Christopher J. Isacke, Royal Navy, commanding officer of HMS Endurance in the Antarctic Peninsula area, 1972–74.
# Black Sluice

The Black Sluice is the name given to the structure that controls the flow of the South Forty-Foot Drain into The Haven, at Boston, Lincolnshire, England.

## History and ownership

The original Black Sluice was probably the Skirbeck Sluice where Earl of Lindsey's 1635 attempt to drain what was then called the Lindsey Levels ran to the sea. The ensuing battle with the population left the works destroyed, and this seems to be the origin of the name Black Sluice. The name became associated with the area drained by the original 40 foot drain, and has been used for each successive outfall from the area, and for the name of the authority responsible for the drainage. Created in 1765 the Black Sluice Commissioners are succeeded today by the Black Sluice Internal Drainage Board and a range of interlocking boards and authorities: The Witham and Steeping Rivers Catchment Board, Lincolnshire River Board. National Rivers Authority, and now the Environment Agency.
There have been at least three Black Sluices, the latest of which incorporates the pumping station built in 1946.

## The lock

The lock which gave passage past the Black Sluice fell into disrepair after the second world war, but was restored to full operation in 2008 as part of the Fens Waterways Link scheme to improve navigation through the fens for pleasure craft. A formal opening of the lock was held on 20 March 2009. The new lock can handle boats up to 21 metres (69 ft) long, 6 metres (20 ft) broad, and with draught of up to 2.8 metres (9.2 ft) on the most favourable tides. While the lock itself has no airdraught restrictions, London Road Bridge, immediately upstream has limited headroom in the form of an arch at nearly 3.4 metres (11 ft) in the centre and as little as 1.7 metres (5.6 ft) at the lowest usable point. Connection to Lincoln is further restricted by the size of the lock at the Grand Sluice, which is just over 13.7 metres (45 ft) long, although longer vessels can pass through at certain states of the tide.
Black Sluice Lock is not permanently staffed, so bookings for transit need to be made a minimum of 24 hours in advance.
There is a small visitors centre at the new Lock.
# Franz Pfender

Franz Pfender (August 5, 1899 – July 9, 1972) was a German politician of the Christian Democratic Union (CDU) and former member of the German Bundestag.

## Life

Pfender was a member of the state parliament for Württemberg-Hohenzollern from 1946 to 1952. At the same time, after the federal elections in 1949, he moved into the first German Bundestag via the state list of the CDU Württemberg-Hohenzollern, of which he was a member until 1953. In the Bundestag he was a member of the Committee for Reconstruction and Housing, the Committee for Homeland Displacement and the Committee for Internal Restructuring.

## Literature

Herbst, Ludolf; Jahn, Bruno (2002). Vierhaus, Rudolf (ed.). Biographisches Handbuch der Mitglieder des Deutschen Bundestages. 1949–2002 [Biographical Handbook of the Members of the German Bundestag. 1949–2002] (in German). München: De Gruyter - De Gruyter Saur. p. 1715. ISBN 978-3-11-184511-1.
# Blinded by the Light: The Very Best of Manfred Mann's Earth Band

Blinded by the Light: The Very Best of Manfred Mann's Earth Band is the fourth compilation album by British rock band Manfred Mann's Earth Band, released in 1992.

## Personnel

* Manfred Mann – keyboards, backing vocals
* Colin Pattenden – bass
* Dave Flett – lead guitar
* Chris Hamlet Thompson – lead vocals, rhythm guitar
* Chris Slade – drums, backing vocals, percussion
* Mick Rogers – guitars, vocals

## Charts

| Chart (1994) | Peak position |
| Dutch Albums (Album Top 100) | 77 |
| German Albums (Offizielle Top 100) | 10 |
| Norwegian Albums (VG-lista) | 1 |
| Scottish Albums (OCC) | 88 |
| Swedish Albums (Sverigetopplistan) | 37 |
| Swiss Albums (Schweizer Hitparade) | 15 |
| UK Albums (OCC) | 69 |

## Certifications

| Region | Certification | Certified units/sales |
| Germany (BVMI) | Gold | 250,000$^^$ |
| $^^$ Shipments figures based on certification alone. |||
# Andargachew Yelak

Andargachew Yelak is an Ethiopian professional footballer who plays as a midfielder for Saint George SC.

## International career

In August 2014, coach Mariano Barreto, invited him to be a part of the Ethiopia squad for the 2015 Africa Cup of Nations qualification.
# François de Roux

François de Roux (7 March 1897 – 17 July 1954) was a French writer, winner of the 1935 Prix Renaudot.

## Life

Born in Aix-en-Provence, de Roux married Odette Magne.
A friend of Jean Paulhan and Paul Valéry, he began his literary career in 1924 at the age of 27. From 1924 to 1935, he contributed to La Nouvelle Revue française with articles on Jacques Rivière, Jacques de Lacretelle, Colette, etc.
In 1935 he published Jours sans gloire [fr] at Éditions Gallimard for which he obtained the Prix Renaudot on 5 December 1935. On 15 December 1935, at a dinner at Drouant's house gathering the ten winners of the Renaudot Prize since 1926 (Charles Braibant, Philippe Hériat, Louis-Ferdinand Céline...), de Roux put forward the idea of publishing a collection of ten short stories by the winners, presented by each of the jurors. It was adopted. The volume was published in the following year. For Brune, it narrowly missed the 1938 Prix Goncourt, defeated in the fifth round by L'Araigne [fr] by Henri Troyat thanks to the double vote of the president of the jury, J.-H. Rosny aîné.
The Éditions Robert Laffont succeeded in attracting François de Roux with Amours perdues in 1942 and L'Ombrageuse (in 1942 too).
De Roux died in Paris at age 57.

## Work

* 1935: Jours sans gloire [fr] — Prix Renaudot
* 1938: Bru: Amours perdues
* 1945: L'Ombrageuse
* 1950: Les Absentes
* 1952: La Jeunesse de Lyautey
# Franz Keller

Franz Keller may refer to:
* Franz Keller (psychologist) (1913–1991), Swiss psychologist, Christian pacifist and left-wing news editor
* Franz Keller (skier) (born 1945), West German Nordic combined skier and Olympic gold medallist
# Franz Keller (psychologist)

Franz Keller (German pronunciation: ; 1913 - 1991) was a Swiss psychologist, Christian pacifist and left-wing news editor (Zeitdienst).
Keller got his Ph.D. in 1938 at University of Bern with the work Eitelkeit und Wahn: Eitelkeit als Charakterschwäche und als Grössen- und Verfolgungswahn; he was a member of the Social Democratic Party of Switzerland and of the Gesellschaft Schweiz-Russland, and published together with Theo Pinkus the “independent-socialist” magazine Zeitdienst.
# François Bouchard

François Bouchard may refer to:
* François Bouchard (ice hockey, born 1973), Canadian ice hockey defenceman
* François Bouchard (ice hockey, born 1988), Canadian ice hockey right winger
# Anacanthobatis

Anacanthobatis is a genus of smooth skates native to the western Indian Ocean, where found deeper than 200 m (660 ft).

## Species

Several species have been assigned to this genus, but most are now placed in Sinobatis, Springeria, and Schroederobatis, leaving only A. marmoratus in Anacanthobatis.
* Anacanthobatis marmoratus (von Bonde & Swart, 1923) (spotted legskate)
# Rupakot, Gandaki

Rupakot, Gandaki may refer to:
* Rupakot, Kaski, in the Gandaki Pradesh of Nepal
* Rupakot, Tanahu, in the Gandaki Pradesh of Nepal
# Rupakot Gulmi

Rupakot is a Village Development Committee (VDC) in Gulmi District in the Lumbini Zone of central Nepal. Its headquarters is in Myal pokhara. It is located in about the center of Gulmi District. It is surrounded by hills. Its main religion is Hinduism. There are many temples like Chhatra Thaan, Shiddababa temple, Shiva Temple, Ram Temple, Debi deurali temple etc. The main sources of revenue for the village are agriculture and foreign employment. At the time of the 2001 Nepal census, it had a population of 3521 persons residing in 704 individual households. 76.48% of students attend school. The most populated parts of this VDC is Damuka, Sota & Ekle Pipal.
# Fraser of Strichen

The Frasers of Strichen are a branch of the highland Clan Fraser of Lovat, which assumed the chiefship of the clan in the 19th century.
After Archibald Campbell Fraser of Lovat, the third son of Simon Fraser, 11th Lord Lovat, died without descendants in 1815, the chiefship of Clan Fraser was passed to Thomas Alexander Fraser of Strichen. He was a descendant of the 7th Lord Lovat.
In 1854 the title of Lovat was restored, which made him the 12th Lord Lovat. This also entitled him and his descendants to a seat in the House of Lords, until the House of Lords Act 1999 ended the right of hereditary peers to sit in the House of Lords.
The current chief of the Clan, Simon Fraser, 16th Lord Lovat, is a direct descendant of Thomas Alexander Fraser of Strichen.

## Lairds of Strichen

* Thomas Fraser of Knockie and 1st of Strichen, died 2 October 1612, second son of Alexander Fraser, 4th Lord Lovat.
* Thomas Fraser, 2nd of Strichen.
* Thomas Fraser, 3rd of Strichen, succeeded his father in 1645.
* Thomas Fraser, 4th of Strichen, died 26 February 1685.
* Alexander Fraser, 5th of Strichen, died 3 November 1699.
* James Fraser, 6th of Strichen, died unmarried and was succeeded by his brother.
* Alexander Fraser, 7th of Strichen, died 15 February 1775.
* Alexander Fraser, 8th of Strichen, died 17 December 1794.
* Alexander Fraser, 9th of Strichen, died 28 October 1803.
* Thomas Fraser, 12th Lord Lovat and 10th of Strichen
# Hanson House

Hanson House or Hanson Farm may refer to:

## in the United States

(by state, then city/town)
* B. F. Hanson House, Middletown, Delaware, listed on the National Register of Historic Places (NRHP) in New Castle County
* Anton E. Hanson House, Chicago, Illinois, NRHP-listed in South Side Chicago
* Alfred Hanson House, Oelwein, Iowa, NRHP-listed in Fayette County
* George Hanson Barn, Leona, Kansas, NRHP-listed in Doniphan County
* Hans Hanson House, Marquette, Kansas, NRHP-listed
* Alden Hanson House, Midland, Michigan, NRHP-listed in Midland County
* John W. Hanson House, Stambaugh, Michigan, NRHP-listed in Iron County
* Hanson House (Florissant, Missouri), NRHP-listed
* Hanson-Downing House, Kearney, Nebraska, NRHP-listed in Buffalo County
* Howard Hanson House, Wahoo, Nebraska, NRHP-listed in Saunders County
* Hanson House (Maumee, Ohio), NRHP-listed in Lucas County
* Stewart-Hanson Farm, Stow, Ohio, NRHP-listed in Summit County
* Nels M. Hanson Farmstead, Henry, South Dakota, NRHP-listed in Codington County
* Olson-Hanson Farm, Clifton, Texas, NRHP-listed in Bosque County
* Soren Hanson House, Hyrum, Utah, NRHP-listed in Cache County
# François Marie d'Aboville

François Marie, comte d'Aboville (23 January 1730 – 1 November 1817) was a French général de division (major general). He was the father of Augustin Gabriel d'Aboville and Augustin-Marie d'Aboville. He was born in Brest. He fought in the Seven Years' War. He fought in the American Revolutionary War against the British at the siege of Yorktown in 1781. He fought at the Battle of Valmy in the War of the First Coalition. During the Hundred Days of 1815 and after the Bourbon Restoration, he served in the Chamber of Peers. He was a grand officer of the Legion of Honour and a recipient of the Grand Cross of the Order of Saint Louis.
# Happy Birthday (play)

Happy Birthday is a comedic stage play written by American playwright Anita Loos. The play premiered on Broadway at the Broadhurst Theatre in 1946. The show was nominated for two Tony Awards, Best Costumes by Lucinda Ballard and Best Lead Actress in a Play for Helen Hayes, who won the award as Addie Bemis. The plays tells the story of a librarian and her escapades when she decides to have a night on the town.

## Production history

The play opened on October 31, 1946 at the Broadhurst Theatre to critical and financial success, extending its run and transferring to the Plymouth Theatre. The show closed its run on March 13, 1948 after 563 performances. The show was produced by Richard Rodgers and Oscar Hammerstein, who also wrote a song for the play titled "I Haven't Got a Worry in the World". The show was directed by Joshua Logan. Cloris Leachman served as Hayes' understudy.

## Original cast and characters

| Character | Broadway (1946) |
| Addie Bemis | Helen Hayes |
| Paul | Louis Jean Heydt |
| Mr. Bemis | Robert Burton |
| Maud | Lorraine Miller |
| Tot | Enid Markey |
| The Judge | Ralph Theadore |
| Gail | Margaret Irving |
| Dad Malone | Thomas Heaphy |
| Emma | Grace Valentine |
| Bella | Florence Sundstrom |
| Gabe | Charles Gordon |
| Don | Dort Clark |
# Rugged-n-Raw

"Rugged-N-Raw" is the first single released from PMD's second solo album Business Is Business. The song made it to three different Billboard charts, gaining the most success on the Rap charts where it peaked at 19. PMD's fellow Hit Squad members Das EFX contribute verses to the song.

## Single track listing

* "Rugged-N-Raw" (Original)
* "Rugged-N-Raw" (Remix)
* "Rugged-N-Raw" (Original Instrumental)
* "Leave Your Style Cramped"
* "Rugged-N-Raw" (Solid Scheme Remix)

## Charts

| Chart | Position |
| U.S. R&B / Hip-Hop | # 89 |
| Hot Rap Singles | # 19 |
| Hot Dance Music/Maxi-Singles Sales | # 29 |
# Franz Zacharias Ermerins

Franz Zacharias Ermerins (also Franciscus, Frans, François) (8 November 1808 in Middelburg – 29 May 1871 in Groningen) was a Dutch physician and medical editor whose literary work encompassed Hippocrates and ancient Greek medicine.
He was born into an eminent Zeeland family in Middelburg. In 1826, he graduated from the Latin school there. After the outbreak of the Belgian Revolution while he was a medical student at Leyden University, he joined the Leidse Jagers, a volunteer company of soldiers drawn from the Leyden student body, and participated in the Ten Days' Campaign. Upon his safe return, he continued his studies. He received a doctoral degree on November 3, 1832, with his thesis de Hippocratis doctrina a prognostice oriunda.
He returned to his native city and practiced as a doctor. He married Barta Antonia van der Feen, with whom he had several children. His practice soon prospered, but he continued his study of his beloved Greek doctors, to which he devoted all the time he could spare from his daytime occupation. In the meantime he was appointed President of the Provincial Medical Commission and Secretary of the Zeeland Provincial Society. In 1839 his love for the classics induced him to move to Paris, to work full-time at the royal library on transcribing and organizing of ancient manuscripts, in particular those of Aretaeus. The next year this resulted in the publication of his Anecdota medica Graeca, followed soon after by additional works.
Upon the death of Professor S. E. Stratingh, he was appointed in his place at the university of Groningen. He took up this appointment on September 12, 1844, with an inaugural lecture entitled de veteris medicorum interpretis munere a medicis non recusando. He lectured on a wide variety of topics in medicine, due to the lack of a sufficient number of professors, a situation which, as Ermerins wrote to a good friend, "benefits neither professors nor students". Beginning in 1852, however, he limited himself to general pathology, pathological anatomy and histology, and clinical courses in the Academic hospital. In spite of this busy schedule, he completed after ten years his main work Hippocratis et aliorum medicorum veterum reliquiae, which was published in three volumes by the Royal Netherlands Academy of Arts and Sciences, of which he had been a member since 1855.
Near the end of his life he was threatened with total blindness; he died of typhoid May 27, 1871.
The French scholar Charles Daremberg called him "one of the glories of medical erudition."
# Andelu

Andelu (French pronunciation:) is a commune in the Yvelines department in north-central France.

## Population

* Approach
* Pond and chapel
# Hapsidascus

Hapsidascus is a fungal genus in the division Ascomycota. The relationship of this taxon to other taxa within the phylum is unknown (incertae sedis), and it has not yet been placed with certainty into any class, order, or family.
# 300D

300D may refer to:
* Canon EOS 300D, a digital single-lens reflex camera
* Various vehicles produced by Mercedes-Benz: see Mercedes-Benz 300 (disambiguation) for full list
* Mercedes-Benz 300d or Mercedes-Benz W189, a car produced 1957–1962
# Ruth Alcock

Ruth Alcock may refer to:
* Ruth Alcock, character in The Lakes (TV series)
* Ruth Alcock (Quakeress) (1718–1809), English Quakeress
# Hanneles Himmelfahrt (film)

Hanneles Himmelfahrt is a 1934 German drama film directed by Thea von Harbou and starring Inge Landgut. It is set in a small mountain village and tells the story of Hannele, an unhappy girl who is beaten by her stepfather and tries to commit suicide. The film is based on the play The Assumption of Hannele by Gerhart Hauptmann. It has strong Christian themes.
An earlier adaptation of the play directed by Urban Gad was released in 1922. Harbou was best known as a screenwriter; Hanneles Himmelfahrt was her second and last film as director. It premiered in Berlin on 13 April 1934.

## Cast

* Inge Landgut as Hannele
* Rudolf Klein-Rogge as Mattern, her stepfather
* Käte Haack as sister Martha
* Theodor Loos as Gottwald, teacher
* Elisabeth Wendt as Hete
* Else Ehser as Tulpe
* Ilse Fürstenberg as Wirtin
* Paul Rehkopf as Wirt
* Alfred Stratmann as Schmidt, forest worker
* Hans Mitzlaff as Hanke