OpenLLM-France/wikimedia huggingface dataset:
# Overcompensation

Overcompensation may refer to:
* Overcompensation (linguistics) or hypercorrection, non-standard language use resulting from over-application of a perceived grammar rule
* Overcompensation (psychology) or compensation, covering real or imagined deficiencies in one area of life with excellence in another area
* Overcompensating (webcomic), a journal/daily blog comic by Jeffrey Rowland
* Overcompensate (song), a 2024 song by Twenty One Pilots
# Oğuzlar, Babadağ

Oğuzlar is a neighbourhood in the municipality and district of Babadağ, Denizli Province in Turkey. Its population is 54 (2022).
# Oğuzkənd

Oğuzkənd (also, Oghuzkand and Oguz-kend; until 2003, Sovxoz) is a municipality and village in the Sharur District of Nakhchivan, Azerbaijan. It is located 16 km away from the district center. Its population is busy with foddering and animal husbandry. There are secondary school, club and a medical center in the village. It has a population of 722.

## Etymology

Its former name was Sovxoz (Sovkhoz). The name of Sovxoz was established during the Soviet period. Sovkhoz is a shortened version of the phrase of "Soviet farm". The name of the Oguzkənd village is related with the name of the Oghuz Turks and means "the village of Oghuzs".
# Oxycanus perditus

Oxycanus perditus is a moth of the family Hepialidae. It is found in Western Australia.
# Berliner Philatelisten-Klub

Berliner Philatelisten-Klub von 1888 eV – also known as the Berlin Philatelic Club -- is one of the oldest and most respected philatelic societies in the world, founded in 1888.

## Location

Berliner Philatelisten-Klub holds its meetings on Mondays at 19.00 clock (7 p.m.) at the Restaurant "Löwenbräu", Markgrafen/Leipziger Strasse 65, 10117 Berlin. Application for membership may be obtained on the club's website.

## History

Although attempts were made in Berlin as early as 1877 at the Berliner Briefmarken-Börse to form a club, it was not until January 1888 that the club was formed and Carl Lindenberg was named its first chairman.

## Philatelic goals

The club stated as its purpose the presentation of scientific lectures, exhibits of postage stamps and postal history, review of philatelic products and literature, and protection of the interests of members of the club. Officers of the club, currently, are offices of president, vice president, two secretaries, treasurer, editor and archivist.

## Philatelic literature

The club maintains an archive of meetings (by year) and displays philatelic literature, such as philatelic research studies on a particular issue, on its website. It also offers on-line assistance in identifying, or providing more information on, specific philatelic items.

## Lindenberg Medal

In 1905 the club authorized the Lindenberg Medal in honor of Judge Carl Lindenberg to be issued to those who demonstrate “conspicuous service to philately.”
# Owen Buckingham (died 1713)

Sir Owen Buckingham (c. 1649 – 20 March 1713) was an English merchant, alderman, MP and Lord Mayor of London.
He was born the son of George Buckingham, an innkeeper of Stanwell, Middlesex. By 1680 he was a liveryman in the Butchers’ Company of the City of London and by 1692 a liveryman of the Salter's Company.
He became involved in local city politics and was a common councilman for London in 1689–90 and 1691–1696 and an alderman from 1696 to his death. He was appointed Sheriff of London for 1695–96, knighted the same year and elected Lord Mayor of London for 1704–05. In 1697 he was Colonel of the Blue Regiment, London Trained Bands.
As a result of a promise to manufacture sailcloth in the town he was elected MP for Reading in 1698, and again in 1701, 1702 and 1705, giving up the seat in 1708 in favour of his son, also Owen Buckingham.
By virtue of his own enterprise and a succession of favourable marriages he became quite wealthy and by 1706 had purchased the Fettiplace family estates at Earley near Reading in Berkshire.
He died in 1713. He had married 6 times but was survived by only the one son and heir Owen and two daughters from his first marriage.
# Outta Style

"Outta Style" is a song written and recorded by American country music artist Aaron Watson. It was released on November 14, 2016, as the lead-off single from his album Vaquero. It became Watson's first Top 40 hit on the Billboard Hot Country Songs chart and also reached the Top 10 of the Country Airplay chart.

## Content

"Outta Style" is an uptempo country song with the hook "the way we love is never going out of style." Of the song, Watson said it was inspired by his wife Kimberly, and it is described as "an upbeat tribute to love and loyalty, [that] finds Watson tipping his hat to the country artists who came before him, too, with lines borrowed from Don McLean, Steve Earle, John Mellencamp and others."

## Chart performance

"Outta Style" debuted at number 60 on the Billboard Country Airplay chart the week dated January 21, 2017, and reached a peak of number 10 on the chart in December 2017.
# Bermuda at the 1960 Summer Olympics

Bermuda competed at the 1960 Summer Olympics in Rome, Italy.

## Sailing
### Open

| Athlete | Event | Race | Race | Race | Race | Race | Race | Race | Net points | Final rank |
| Athlete | Event | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Net points | Final rank |
| Brownlow Gray | Finn | 29 | DNF | 29 | 21 | 32 | 27 | 18 | 1433 | 32 |
| John Trimingham de Forest Richard H. Divall | Flying Dutchman | 23 | 7 | 24 | 18 | 16 | 19 | 4 | 3007 | 16 |
| Howard B. Eve James W. Kempe Richard H. Masters | Dragon | 25 | 5 | 7 | 14 | 16 | 16 | 14 | 2948 | 15 |
| Albert F. Darrell Walter J. Jones Norman C. Jones | 5.5 Metre | 17 | 7 | DNF | 18 | 7 | 4 | 16 | 2297 | 12 |
# Bermuda Waterfall

Professional ratings :
| Aggregate scores ||
| Source | Rating |
| Metacritic | 74/100 |
| Review scores ||
| Source | Rating |
| NME | (8/10) |
| Exclaim! | (8/10) |
| This Is Fake DIY | |
| AllMusic | |
Bermuda Waterfall is a studio album by Canadian singer Sean Nicholas Savage. It was released in May 2014 by Arbutus Records.
# Bert Thomas (disambiguation)

Bert Thomas was a cartoonist.
Bert Thomas may also refer to:
* Bert Thomas (Kon'nichiwa Anne: Before Green Gables), fictional character
* Bert Thomas, performer at Theatre of NOTE
# Out of Light

Out of Light is the debut studio album of American electronic music producer and DJ Slushii, consisting of 13 songs, that was self-released under his label, Slushii on 4 August 2017.

## Background

Slushii announced the album on July 21, 2017, on Twitter. Each song from the album consists of his own "cartoonish and pitched-up" vocals.
Announcement of the album was made as Slushii underwent an emergency appendectomy. Hospitalized in Paris, his small bowel had to be removed as it troubled him.

## Singles

Previous recorded songs by Slushii such as "Dear Me", "My Senses", "Step By Step" and "I Still Recall", were also included in the album.
"Forever" on the album is a reworked version of a Deuteronomy B-side titled "Hold Me Forever", the band which Scanlan was a member from 2009 until 2013.

## Track listing

Credits adapted from Tidal.
Out of Light

## Personnel

* Slushii – production, songwriting, mixing, recording, vocals
* Deuteronomy – songwriting on "Forever"
* Xsilvee – mixing
# PDP

PDP may refer to:

## Computing and technology

* Packet Data Protocol in wireless GPRS/HSDPA networks
* Parallel distributed processing in connectionism
* Plasma display panel
* Policy Decision Point in the Common Open Policy Service
* Portable DVD player
* Power-delay product, the product of power consumption times the input–output delay
* Power delay profile, signal intensity as a function of time delay
* Primary Data Point in the RRDtool
* Programmed Data Processor, Digital Equipment Corporation (DEC) minicomputers
** PDP-1, 1959
** PDP-4, 1962
** PDP-5, 1963
** PDP-6, 1963
** PDP-7, 1964
** PDP-8, 1965
** PDP-9, 1966
** PDP-10, mainframe computer 1966-1983
** PDP-11, 16-bit minicomputers 1970-1997
** PDP-12, 1969
** PDP-14, industrial controller, 1969
** PDP-15, 1970
** PDP-16, industrial controller, 1971
* Project Detail Page on Microsoft Project Server
* XACML PDP (policy decision point)
* Product Detail Page, a page showing the detail of one product on an e-commerce website or in an e-commerce application

## Government

* Post-detection policy, for extraterrestrial life
* Potato Diversion Program, a USDA program under which farmers are paid to divert potatoes
* Prescription Drug Plan in US Medicare

## Politics

* Partido Demokratiko Pilipino, a major political party in the Philippines
* Jammu and Kashmir Peoples Democratic Party, a political party in Indian state of Jammu and Kashmir
* Democratic Renewal Party (Indonesia), or Partai Demokrasi Pembaruan in Indonesian
* Islamic Party (Egypt), formerly the Peace and Development Party, Egypt
* Party for Democratic Prosperity, Republic of Macedonia
* Peace and Development Party, Mogadishu, Somalia
* People's Democratic Party (disambiguation), any of a number of worldwide political parties
* Popular Democratic Party (disambiguation), any of a number of worldwide political parties
* Progressive Democratic Party (disambiguation), a number of worldwide political parties
* Papua Presidium Council, a West Papuan political organization
* Party of Democratic Progress, Bosnia and Herzegovina

## Other uses

* Pacific Drums and Percussion, a manufacturer
* Personal development plan
* Plastic Disclosure Project, to reduce the environmental impact of plastic
* Walther PDP, a pistol
* PewDiePie, a Swedish YouTuber
* Postsecondary Data Partnership, of the US National Student Clearinghouse
* IATA code for Capitán de Corbeta Carlos A. Curbelo International Airport, Uruguay
# Benjamin Wallach

Benjamin Wallach (18 September 1873 – 25 May 1935) was a South African cricketer who played in first-class matches in South Africa and England between 1898 and 1905. He was born in Queenstown, Cape Colony, and died in Troyeville, Johannesburg.
Wallach was a lower-order right-handed batsman and a wicketkeeper. He played a couple of matches for Transvaal at the end of the 1897–98 South African cricket season, but then disappeared from first-class cricket for four years. When he reappeared, it was in England where, in the 1902 season, he played twice for W. G. Grace's London County Cricket Club and once for the Marylebone Cricket Club (MCC). Returning to South Africa, he played his only full season of first-class cricket for Transvaal in 1903–04 and was then selected for the South African cricket team in England in 1904, a tour that did not include Test matches. In the event, as reserve wicketkeeper, he played in only three first-class games, also appearing once for London County, and after a final match for Transvaal in 1904–05, his first-class career was over.
# Beris vallata

Beris vallata, the orange legionnaire or common orange legionnaire, is a European species of soldier fly.

## Description

Beris vallata is a soldier fly, which is black and yellow in colour. The abdomen is entirely yellow, lacking black bands. All tibiae are yellow and then black in the apical half. Wings of the female are yellowish with brown pterostigma, while wings of the male are blackish in colour. Pubescence of the abdomen is black for males and yellow in females. Body length ranges from 5 to 6 mm. The species also possesses six spines which protrude from the back of the scutellum.

## Lifecycle

The flight period is from may to September. Larvae inhabit moist Bryophyta, where they feed on decaying vegetation. Pupation will take place among fallen decomposing leaves. Adults feed on pollen and nectar including that of Tanacetum vulgare.

## Habitat

Beris vallata is associated with marsh and wet woodland habitats in areas that provide moist conditions for mosses. Larvae can often be found living within mosses in close proximity to bodies of water. Adults are found on vegetation, also in close proximity to moist habitat.

## Distribution

North Europe, Central Europe, Southwest Europe, north up to Sweden and European Russia.
# Beris fuscipes

Beris fuscipes, the short-horned black legionnaire, is a European species of soldier fly.

## Description

Head dark. Antennae short the antennal flagellum thickened basally, as wide as pedicel and narrowed sharply toward apex, almost trapezoidal. Thorax and scutellum bright shining green, not in the least blackish, Abdomen black, legs extensively dark dull orange or dusky. Scutellum with usually six (sometimes eight) spines. Epandrium with developed surstyli. Very similar to Beris geniculata.

## Biology

Beris fuscipes occurs in damp woodland, marshes and fens from May-September.

## Distribution

Most of Europe including European Russia. North America.
# POPLmark challenge

In programming language theory, the POPLmark challenge (from "Principles of Programming Languages benchmark", formerly Mechanized Metatheory for the Masses!) (Aydemir, 2005) is a set of benchmarks designed to evaluate the state of automated reasoning (or mechanization) in the metatheory of programming languages, and to stimulate discussion and collaboration among a diverse cross section of the formal methods community. Very loosely speaking, the challenge is about measurement of how well programs may be proven to match a specification of how they are intended to behave (and the many complex issues that this involves). The challenge was initially proposed by the members of the PL club at the University of Pennsylvania, in association with collaborators around the world. The Workshop on Mechanized Metatheory is the main meeting of researchers participating in the challenge.
The design of the POPLmark benchmark is guided by features common to reasoning about programming languages. The challenge problems do not require the formalisation of large programming languages, but they do require sophistication in reasoning about:

## Binding

    Most programming languages have some form of binding, ranging in complexity from the simple binders of simply typed lambda calculus to complex, potentially infinite binders needed in the treatment of record patterns.

## Induction

    Properties such as subject reduction and strong normalisation often require complex induction arguments.

## Reuse

    Furthering collaboration being a key aim of the challenge, the solutions are expected to contain reusable components that would allow researchers to share language features and designs without requiring them to start from scratch every time.

## The problems

As of 2007, the POPLmark challenge is composed of three parts. Part 1 concerns solely the types of System F$_{<:}$ (System F with subtyping), and has problems such as:
* Checking that the type system admits transitivity of subtyping.
* Checking the transitivity of subtyping in the presence of records
Part 2 concerns the syntax and semantics of System F$_{<:}$. It concerns proofs of
* Type safety for the pure fragment
* Type safety in the presence of pattern matching
Part 3 concerns the usability of the formalisation of System F$_{<:}$. In particular, the challenge asks for:
* Simulating and animating the operational semantics
* Extracting useful algorithms from the formalisations
Several solutions have been proposed for parts of the POPLmark challenge, using following tools: Isabelle/HOL, Twelf, Coq, αProlog, ATS, Abella and Matita.
# Pinemat manzanita

Pinemat manzanita may refer to either of two species of the plant genus Arctostaphylos:
* Arctostaphylos uva-ursi
* Arctostaphylos nevadensis, native to western North America
# Butane (data page)

This page provides supplementary chemical data on n-butane.

## Material Safety Data Sheet

The handling of this chemical may incur notable safety precautions. It is highly recommend that you seek the Material Safety Datasheet (MSDS) for this chemical from a reliable source such as eChemPortal, and follow its directions.

## Structure and properties

Structure and properties :
| Index of refraction, n$_D$ | 1.3326 at 20 °C |
| Dielectric constant, ε$_r$ | 1.7697 ε$_0$ at 23 °C |
| Symmetry group | C$_{2h}$ |
| Magnetic susceptibility | ? |
| Surface tension | 12.46 dyn/cm at 20 °C  P ≈ 225 kPa |

## Thermodynamic properties

Phase behavior :
| Density (liquid) 0 °C | 600 kg/m³ |
| Density (saturated vapor) 1 atm, -0.5 °C | 2.6 kg/m³ |
| Triple point | 134.6 K (–138.5 °C), 0.7 Pa |
| Critical point | 425.1 K (152.0 °C), 3796.0 kPa |
| Std enthalpy change of fusion, Δ$_{fus}$H$^o$ | 4.66 kJ/mol |
| Std entropy change of fusion, Δ$_{fus}$S$^o$ | 34.56 J/(mol·K) |
| Std enthalpy change of vaporization, Δ$_{vap}$H$^o$ | 22.44 kJ/mol |
| Std entropy change of vaporization, Δ$_{vap}$S$^o$ | 82.30 J/(mol·K) |
| Solid properties ||
| Std enthalpy change of formation, Δ$_f$H$^o$$_{solid}$ | ? kJ/mol |
| Standard molar entropy, S$^o$$_{solid}$ | ? J/(mol K) |
| Heat capacity, c$_p$ | ? J/(mol K) |
| Liquid properties ||
| Std enthalpy change of formation, Δ$_f$H$^o$$_{liquid}$ | -147.6 kJ/mol |
| Standard molar entropy, S$^o$$_{liquid}$ | 229.7 J/(mol K) |
| Heat capacity, c$_p$ | 132.42 J/(mol K) –262 °C to –3 °C |
| Gas properties ||
| Std enthalpy change of formation, Δ$_f$H$^o$$_{gas}$ | –124.7 kJ/mol |
| Standard molar entropy, S$^o$$_{gas}$ | 310.23 J/(mol K) |
| Enthalpy of combustion, Δ$_c$H$^o$ | –2877.5 kJ/mol |
| Heat capacity, c$_p$ | 98.49 J/(mol K) at 25 °C |
| n-butane van der Waals' constants | a = 1466.2 L$^2$ kPa/mol$^2$ b = 0.1226 liter per mole |

## Vapor pressure of liquid

| P in mm Hg | P in mm Hg | 1 | 10 | 40 | 100 | 400 | 760 | 1520 | 3800 | 7600 | 15200 | 30400 | 45600 |
| T in °C | T in °C | –101.5 | –77.8 | –59.1 | –44.2 | –16.3 | –0.5 | 18.8 | 50.0 | 79.5 | 116.0 | — | — |
n-Butane: Table data obtained from CRC Handbook of Chemistry and Physics 44th ed.

## Spectral data

UV-Vis :
| λ$_{max}$ | ? nm |
| Extinction coefficient, ε | ? |
| IR ||
| Major absorption bands | ? cm$^{−1}$ |
| NMR ||
| Proton NMR | |
| Carbon-13 NMR | |
| Other NMR data | |
| MS ||
| Masses of main fragments | |
# Attorney General Gibson

Attorney General Gibson may refer to:
* Allyson Maynard Gibson (born 1957), Attorney General of the Bahamas
* Ben Gibson (politician) (1882–1949), Attorney General of Iowa
* Charles E. Gibson Jr. (1925–2017), Attorney General of Vermont
* John George Gibson (1846–1923), Attorney-General for Ireland
* John Morison Gibson (1842–1929), Attorney General of Ontario
* Leslie Gibson (judge) (1896–1952), Attorney General of Palestine
* Walter M. Gibson (1822–1888), Acting Attorney General of Kingdom of Hawaii
# Soumâa

Soumâa or Thala Oufella is a village in the Boumerdès Province in Kabylie, Algeria.

## Location

The village is surrounded by Meraldene River and Isser River, and also the town of Thenia in the Khachna mountain range.

## Zawiya

* Zawiyet Sidi Boushaki

## History

This village has experienced the facts of several historical events:
* Battle of the Col des Beni Aïcha (1837)
* Battle of the Col des Beni Aïcha (1846)
* Battle of the Col des Beni Aïcha (1871)

## Notable people

* Sidi Boushaki, Algerian theologian.
* Cheikh Ali Boushaki, Algerian leader.
* Cheikh Mohamed Boushaki, Algerian leader.
* Abdenour Boushaki [ar], Algerian politician.
* Abderrahmane Boushaki, Algerian leader.
* Ali Boushaki, Algerian theologian.
* Brahim Boushaki, Algerian theologian.
* Ciria, Berber leader.
* Dius, Berber leader.
* Feriel Boushaki, Algerian artist.
* Firmus, Berber leader.
* Gildo, Berber leader.
* Mascezel, Berber leader.
* Mazuca, Berber leader.
* Mohamed Rahmoune, Algerian politician.
* Mohamed Seghir Boushaki, Algerian politician.
* Nubel [fr], Berber leader.
* Salah Bouchatal [ar], Algerian politician.
* Sammac, Berber leader.
* Tarek Boushaki [ar], Algerian academician.
* Yahia Boushaki (Shahid), Algerian politician.
# Stenospermation peripense

Stenospermation peripense is a species of plant in the family Araceae. It is endemic to Ecuador. Its natural habitat is subtropical or tropical moist lowland forests. It is threatened by habitat loss.
# Mugat (village)

Mugat is a village in Mukhed taluka in Nanded district of Maharashtra in India.
# Salbia varanalis

Salbia varanalis is a moth in the family Crambidae. It was described by Schaus in 1940. It is found in Puerto Rico.
# Matthew 9:1

Matthew 9:1 is the first verse in the ninth chapter of the Gospel of Matthew in the New Testament.

## Content

In the original Greek according to Westcott-Hort this verse is:
    Καὶ ἐμβὰς εἰς τὸ πλοῖον διεπέρασε καὶ ἦλθεν εἰς τὴν ἰδίαν πόλιν.
In the King James Version of the Bible, the text reads:
    And he entered into a ship, and passed over, and came into his own city.
The New International Version translates the passage as:
    Jesus stepped into a boat, crossed over and came to his own town.

## Analysis

There is a variety of opinions as to which was Jesus' "own town". Theologians Arthur Carr and Dale Allison refer to Capernaum, which is located on the northwest shore of the Sea of Galilee. Henricus Sedulius believes that Bethlehem is meant, since he was born there. St. Jerome understands it to be Nazareth, because Jesus was brought up there. Most other church fathers (see below) believe it is Capernaum, in which Christ often dwelt (see Matthew 4:13).

## Commentary from the Church Fathers

Chrysostom: "By his own city is here meant Capharnaum. For one town, to wit, Bethlehem, had received Him to be born there; another had brought Him up, to wit, Nazareth; and a third received Him to dwell there continually, namely, Capharnaum."
Augustine: "That Matthew here speaks of his own city, and Mark calls it Capharnaum, would be more difficult to be reconciled if Matthew had expressed it Nazareth. But as it is, all Galilee might be called Christ’s city, because Nazareth was in Galilee; just as all the Roman empire, divided into many states, was still called the Roman city. Who can doubt then that the Lord in coming to Galilee is rightly said to come into his own city, whatever was the town in which He abode, especially since Capharnaum was exalted into the metropolis of Galilee?"
Augustine: "And if we adopt this supposition, we must say that Matthew has omitted all that was done from the time that Jesus entered into His own city till He came to Capharnaum, and has proceeded on at once to the healing of the paralytic; as in many other places they pass over things that intervened, and carry on the thread of the narrative, without noticing any interval of time, to something else; so here, And, lo, they bring unto him a paralytic laying on a bed."
Jerome: "Or; This city may be no other than Nazareth, whence He was called a Nazarene."
# Perrottetia phuphamanensis

Perrottetia phuphamanensis is a species of air-breathing land snail, a terrestrial pulmonate gastropod mollusc in the family Streptaxidae.
The specific name phuphamanensis is derived from the type locality Phu Pha Man National Park.

## Distribution

Distribution of Perrottetia phuphamanensis includes two localities in Khon Kaen Province in northeastern Thailand.
The type locality is Phu Pha Man National Park, Phu Pha Man District, Khon Kaen Province, Thailand, 16°45′34.0″N 101°57′50.3″E﻿ / ﻿16.759444°N 101.963972°E﻿ / 16.759444; 101.963972.

## Description

This species was described from Thailand in 2013 based on empty shells only.
The shell has 6–6½ whorls. The width of the shell is 6.8–8.1 mm. The height of the shell is 4.6–5.6 mm.

## Ecology

As of 2013 no living specimens have been found.
Species in the genus Perrottetia are carnivorous.