OpenLLM-France/wikimedia huggingface dataset:
# List of Italian steam frigates

This is a list of Italian steam frigates of the period 1853-63: Several vessels were renamed on entry to the Italian Navy.
Screw frigates
Unknown region
Sardinian
* Carlo Alberto 57 (1853) 3231t
* Vittorio Emanuele 47 (1856) 3201t
* Maria Adelaide 51 (1859) 3429t
* Duca di Genova 50 (1860) 1860t
* Principe Umberto 54 3446t
Neapolitan
* Borbone 46 (1860) - Renamed “Garibaldi” 3390t
* Farnese 54 - Renamed Italia 6058t
* Gaeta 54 3917t

## Citations

* ↑ Fraccaroli, p. 336
# HOM

HOM, Hom or similar may refer to:

## Places

* Le Hom, former name of the commune Thury-Harcourt-le-Hom in France
* Hom, Šentrupert, a dispersed settlement in Slovenia
* Hom-e Khosrow, a village in Iran

## Science and mathematics

* Hom bundle, in topology
* Hom functor, in category theory
* $\operatorname {Hom} (V,K)$, the set of linear forms from a vector space to its field
* Higher-order modulation, in telecommunications
* Hong–Ou–Mandel effect in quantum optics

## Other uses

* HOM Furniture, an American furniture retailer
* Hom (surname), a Danish, Dutch, English, and Taishanese surname
* Hom (instrument), a class of traditional Mayan musical instruments
* H0m scale, a model railway scale or gauge
* Hall of mirrors effect, in computer graphics
* Harm to ongoing matter, phrase used for class of material being redacted from the Mueller Report, for reasons of legal investigation
* Head of mission, the head of a diplomatic representation
* Heart of Midlothian F.C., an association football club in Scotland
* Heart of Misery, a song by Finnish rock band The Rasmus
* Ho Man Tin station, Hong Kong, MTR station code
* Holland (Amtrak station), in Michigan, United States
* Homa language, spoken in South Sudan
* Homa (ritual), in Hinduism
* Homer Airport in Homer, Alaska
* House of Milan, an American publisher of bondage magazines
* Armenian Relief Society (Armenian: Հայ Օգնութեան Միութիւն, ՀՕՄ, HOM)
* His Orthodox Majesty, a title occasionally used by kings in Poland
* HOM, a luxury men's underwear brand owned by Triumph International
# HOL Light

HOL Light is a proof assistant for classical higher-order logic. It is a member of the HOL theorem prover family. Compared with other HOL systems, HOL Light is intended to have relatively simple foundations. HOL Light is authored and maintained by the mathematician and computer scientist John Harrison. HOL Light is released under the simplified BSD license.

## Logical foundations

HOL Light is based on a formulation of type theory with equality as the only primitive notion. The primitive rules of inference are the following:
| ${\cfrac {\qquad }{\vdash t=t}}$ | REFL | reflexivity of equality |
| ${\cfrac {\Gamma \vdash s=t\qquad \Delta \vdash t=u}{\Gamma \cup \Delta \vdash s=u}}$ | TRANS | transitivity of equality |
| ${\cfrac {\Gamma \vdash f=g\qquad \Delta \vdash x=y}{\Gamma \cup \Delta \vdash f(x)=g(y)}}$ | MK_COMB | congruence of equality |
| ${\cfrac {\Gamma \vdash s=t}{\Gamma \vdash (\lambda x.s)=(\lambda x.t)}}$ | ABS | abstraction of equality ($x$ must not be free in $\Gamma$) |
| ${\cfrac {\qquad }{\vdash (\lambda x.t)x=t}}$ | BETA | connection of abstraction and function application |
| ${\cfrac {\qquad }{\{p\}\vdash p}}$ | ASSUME | assuming $p$, prove $p$ |
| ${\cfrac {\Gamma \vdash p=q\qquad \Delta \vdash p}{\Gamma \cup \Delta \vdash q}}$ | EQ_MP | relation of equality and deduction |
| ${\cfrac {\Gamma \vdash p\qquad \Delta \vdash q}{(\Gamma -\{q\})\cup (\Delta -\{p\})\vdash p=q}}$ | DEDUCT_ANTISYM_RULE | deduce equality from 2-way deducibility |
| ${\cfrac {\Gamma [x_{1},\ldots ,x_{n}]\vdash p[x_{1},\ldots ,x_{n}]}{\Gamma [t_{1},\ldots ,t_{n}]\vdash p[t_{1},\ldots ,t_{n}]}}$ | INST | instantiate variables in assumptions and conclusion of theorem |
| ${\cfrac {\Gamma [\alpha _{1},\ldots ,\alpha _{n}]\vdash p[\alpha _{1},\ldots ,\alpha _{n}]}{\Gamma [\tau _{1},\ldots ,\tau _{n}]\vdash p[\tau _{1},\ldots ,\tau _{n}]}}$ | INST_TYPE | instantiate type variables in assumptions and conclusion of theorem |
This formulation of type theory is very close to the one described in section II.2 of Lambek & Scott (1986).
# Koolhoven F.K.46

The Koolhoven F.K.46 was a 1930s Dutch training biplane designed and built by Koolhoven.
The F.K.46 was a two-seat biplane with a fixed tailwheel landing gear and tandem open cockpits. The prototype first flew in 1933, powered by a Cirrus Hermes engine. A second prototype was fitted with a sliding cockpit canopy. The aircraft entered limited production and four were used by the Nationale Luchtvaart School (Dutch National Flying School). One aircraft was evaluated by the Dutch Army. In 1935, a reduced-weight version, designated F.K.46L, was built and it was powered by a 95 hp (71 kW) Walter Minor engine. It was the only one ever built.
Most of the F.K.46s did not survive the German invasion in May of 1940. However, one was sent to South Africa for evaluation by the South African Air Force even though it was expensive compared to the de Havilland Tiger Moth. The surviving aircraft was later impressed into service by the South African Air Force.

## Operators
### Netherlands

* Nationale Luchtvaart School

### South Africa

* South African Air Force

## Specifications

General characteristics
* Crew: 2
* Length: 7.30 m (23 ft 11.5 in)
* Wingspan: 8.0 m (26 ft 3 in)
* Gross weight: 870 kg (1,918 lb)
* Powerplant: 1 × de Havilland Gipsy Major , 97 kW (130 hp)
Performance
* Maximum speed: 175 km/h (109 mph, 95 kn)
# Elmer Boyd Smith

Elmer Boyd Smith (May 31, 1860 – October 5, 1943) was an American writer and illustrator of children's books and painter.
Smith was born in Saint John, New Brunswick and studied art in Paris with Gustave Boulanger and Jules Joseph Lefebvre at the Académie Julian from 1881 to 1884, and also with H. Lefort for several years. In the early 1900s he moved to Wilton, Connecticut, where he spent the remainder of his life. He illustrated more than seventy books for both adults and children, beginning with My Village in 1896, written while he was living in France. His first children's book was The Story of Noah's Ark in 1905.

## Selected works

* The Story of Noah’s Ark, 1905
* The Circus, 1909
* Robinson Crusoe, 1909
* Early Life of Mr. Man Before Noah, 1914
* After They Came Out of the Ark: Completing the Story of Noah, 1918
* The Story of Our Country, 1920
* Fun In the Radio World, 1923
* The Country Book, 1924
* So Long Ago, 1944
# Gazameda madagascariensis

Gazameda madagascariensis is a species of sea snail, a marine gastropod mollusc in the family Turritellidae.
# Kendal Black Drop

Kendal Black Drop was a drug based on opium. Named after Kendal on the edge of the Lake District, England, it is associated with the romantic poet, Samuel Taylor Coleridge.

## Description

Black Drop was a 19th-century dark medicine made of opium, vinegar, spices, often with sugar, sometimes called Black drops, and known in Great Britain and North America.
One recipe for Black Drop began, "Macerate the opium and nutmeg in ... the diluted acetic acid, for seven days, stirring frequently".
As well as Kendal Black Drop, there were versions called Lancaster and Armstrong's Black Drop. Other names given in a 19th-century Cyclopædia of Several Thousand Practical Receipts were Quaker's or Toustall's Black Drop, after a Dr. Toustall of the Society of Friends in County Durham who is said to have invented the recipe.
In 1823, Byron referred to it in his poem Don Juan:
   for Cupid's cup With the first draught intoxicates apace, A quintessential laudanum or 'black drop', Which makes one drunk at once
At first Coleridge welcomed the relief from pain provided by Kendal Black Drop, but was later to say that his "eyes had been opened to the true nature of the habit into which I had been ignorantly deluded by the seeming magic effects of opium".
# József Tóth (politician, born 1953)

Dr. József Tóth (born 21 February 1953) is a Hungarian agronomist and politician, mayor of Tiszanána since 1994 and member of the National Assembly (MP) for Heves (Heves County Constituency V) from 2010 to 2014.
# Iwate Prefectural University

Iwate Prefectural University (岩手県立大学, Iwate kenritsu daigaku) is a Japanese public university located in Takizawa, Iwate, founded in 1998.

## History

Iwate Prefectural University was established in 1998, with a graduate school following in 1999. In 2000, a teacher's training school was added, followed by a graduate school of nursing (master's and PhD program) in 2001.

## Organization
### Undergraduate

* School of Nursing
* School of Social Welfare
* Faculty of Software and Information Science
* Faculty of Policy Management

### Graduate

* Nursing Graduate School ( Master's Program, Doctoral Program )
* Social Welfare Studies (Master's Program, Doctoral Program)
* Software and Information Science (Master's Program, Doctoral Program)
* Graduate School of Policy (Master's Program, Doctoral Program)

### Junior Colleges

* Morioka Junior College
* Miyako Junior College
# Josef Lauff

Josef Lauff (16 November 1855 – 1933) was a German poet and dramatist.
He was born at Cologne, the son of a jurist. He was educated at Münster in Westphalia, and entering the army served as a lieutenant of artillery at Thorn and subsequently at Cologne, where he attained the rank of captain in 1890. In 1898 he was summoned by the German emperor, William II, to Wiesbaden, being at the same time promoted to major's rank, in order that he might devote his great dramatic talents to the royal theatre.
His literary career began with the epic poems Jan van Calker, ein Malerlied vom Niederrhein (1887, 3rd edition, 1892) and Der Helfensteiner, ein Sang aus dem Bauernkriege (3rd edition, 1896). These were followed by Die Overstolzin (5th edition, 1900), Herodias (2nd edition, 1898) and Die Geißlerin (4th edition, 1902). He also wrote the novels Die Hexe (6th edition, 1900), Regina coeli (a story of the fall of the Dutch Republic) (7th edition, 1904), Die Hauptmannsfrau (8th edition, 1903) and Marie Verwahnen (1903).
But he is best known as a dramatist. Beginning with the tragedy Inez de Castro (1894), he proceeded to dramatize the great monarchs of his country, and, in a Hohenzollern tetralogy, issued Der Burggraf (1897, 6th edition 1900) and Der Eisenzahn (1900), to be followed by Der grosse Kurfurst (The Great Elector) and Friedrich der Große (Frederick the Great).
# George Cakobau Jr.

Ratu George Kadavulevu Cakobau Jr., also known as Ratu Joji (14 April 1948 – 25 June 2018), was a Fijian chief and senator. He was the eldest son of the late Governor-General and 12th Vunivalu of Bau (widely considered to be Fiji's most paramount chiefly position) Ratu Sir George Cakobau, through his first wife Adi Veniana Gavoka, and was a great-great-grandson of King Seru Epenisa Cakobau, the warlord who established the first unified Kingdom of Fiji in 1871 and ceded it to the United Kingdom in 1874.
A meeting of elders from the Tui Kaba clan, to which Ratu Joji belonged, tentatively proposed him as the next Vunivalu in June 2005, but the position, vacant since the death of his father in 1989, remained so until filled by his half-brother on the 10th of March 2023.
After a career in the military, Ratu Joji was appointed to the Senate in 2001 by the Great Council of Chiefs, having been nominated by the Tailevu Provincial Council and served until 2006. He died due to illness and was reconciled with his brother.
# Halvfarhøe

Halvfarhøe is a mountain in Dovre Municipality in Innlandet county, Norway. The 1,687-metre (5,535 ft) tall mountain is located in the Dovrefjell mountains and inside the Dovre National Park, about 18 kilometres (11 mi) northeast of the village of Dombås. The mountain is surrounded by several other notable mountains including Gråhøe to the east, Falketind and Blåberget to the north, and Storhøe and Fokstuguhøi to the west.
# 1977 PBA season

The 1977 PBA season was the third season of the Philippine Basketball Association (PBA).

## Season highlights

* The league's third season started on April 17 and for the first time, three referees were called to officiate the games. The opening game between Crispa and Toyota, where the Redmanizers edged out the Tamaraws, 122–121, was marred by a post-game rumble involving players from both teams that erupted at the Araneta Coliseum hardcourt and extended to the dugout. The brawl resulted in the arrest and booking of all 13 Crispa and 10 Toyota players at the stockade of Camp Crame where they were held for 13 hours. PBA Commissioner Leo Prieto fined both teams ₱5,000 (equivalent to ₱141,210 in 2021) each for that melee.
* On July 12, Mariwasa beats Toyota, 121–114, to set the stage for the first non Crispa-Toyota title-showdown.
* Crispa wins the All-Filipino crown and their fifth consecutive championship by defeating Mariwasa-Honda Panthers. The Redmanizers continued its dynasty and a quest for another grandslam by winning its sixth straight title, defeating U/Tex Wranglers for the Open crown.
* Toyota Tamaraws ended Crispa's reign by winning the Invitational championship, sweeping Emtex Sacronel (Palmeiras) of Brazil, bannered by Oscar Schmidt, to complete the first ever 3–0 finals sweep in PBA history. Also seeing action in that conference were the Ramrod Blocks (Melbourne Panthers) of Australia.

## All-star games

On August 7, Trust beats More, 135–124, to win the P82,000 battle of PBA superstars at the Araneta Coliseum on a 2–1 score. Players for Trust were Rudolf Kutch, Rosalio Martirez, Jun Papa, Jesse Sullano, Estoy Estrada, Romy Cabading, Danilo Basilan, Atoy Co, Philip Cezar, Bernie Fabiosa, Freddie Hubalde and Rudy Soriano, while the More line-up were consist of Manny Paner, Jimmy Mariano, Freddie Webb, Jaime Taguines, Larry Mumar, Johnny Revilla, Robert Jaworski, Francis Arnaiz, Ramon Fernandez, Jess Sta. Maria and Abe King.

## Champions

* All-Filipino Conference: Crispa Redmanizers
* Open Conference: Crispa Redmanizers
* Invitational Championship: Toyota Tamaraws
* Team with best win–loss percentage: Crispa Redmanizers (49–15, .766)
* Best Team of the Year: Crispa Redmanizers (2nd)

## Individual awards

* Most Valuable Player: Freddie Hubalde (Crispa)
* Rookie of the Year: Jimmy Taguines (Tanduay)
* Mythical Five:
** Robert Jaworski (Toyota)
** Atoy Co (Crispa)
** Ramon Fernandez (Toyota)
** Freddie Hubalde (Crispa)
** Adriano Papa, Jr. (Mariwasa)

## Cumulative standings

| Team | GP | W | L | PCT |
| Crispa Redmanizers | 64 | 49 | 15 | .766 |
| Emtex Sacronels/Brazil | 10 | 7 | 3 | .700 |
| Toyota Tamaraws | 63 | 41 | 22 | .651 |
| U/Tex Wranglers | 50 | 27 | 23 | .540 |
| Tanduay Distillery | 57 | 29 | 28 | .509 |
| Mariwasa/Honda Panthers | 45 | 16 | 29 | .355 |
| Seven-Up Uncolas | 43 | 15 | 28 | .349 |
| Presto Ice Cream | 45 | 15 | 30 | .333 |
| Ramrod Blocks/Australia | 7 | 2 | 5 | .286 |
| Royal Tru-Orange | 28 | 5 | 23 | .178 |
# Elsa Bruckmann

Elsa Bruckmann (23 February 1865 – 7 June 1946), born Princess Cantacuzène of Romania was the Munich publisher of Houston Stewart Chamberlain. She held the "Salon Bruckmann" and made it her mission to introduce Adolf Hitler to leading industrialists.

## Biography

She was born in Traundorf near Gmunden in Upper Austria. Her father was Prince Theodore Cantacuzène, a Royal Bavarian Ulan officer. They were descendants of an old Greek Byzantine princely dynasty. Her mother was Countess Caroline Deym von Střitež, from a Bohemian-Austrian noble family. She married Hugo Bruckmann, a Munich art book publisher in 1898.
Bruckmann and her husband financially supported International Modernism in art and design. In 1899 Houston Stewart Chamberlain read at Elsa Bruckmann's first salon in January 1899. Attendees at their salon included Rainer Maria Rilke, Heinrich Wölfflin, Rudolf Kassner, Hermann Graf Keyserling, Karl Wolfskehl, Ludwig Klages, Harry Graf Kessler, Alfred Schuler, Georg Simmel, Hjalmar Schacht and her nephew Norbert von Hellingrath.
During World War 1 and in the Weimar Republic Bruckmann and her husband entangled with the political radical right in Bavaria. Bruckmann's initial interest in Social Darwinism developed into xenophobic nationalism, paired with racist anti-Semitism. Elsa Bruckmann actively supported National Socialism, after attending a speech by Hitler at the Circus Krone in 1921. Hitler first attended their salon on 23 December 1924. Bruckmann introduced Hitler to Paul Troost, who went on to become Hitler's first state architect.
The Bruckmanns joined the Nazi Party in 1932, but this was back-dated to 1925 with honorary membership numbers 91 (Elsa) and 92 (Hugo).
# Geesink

Geesink is a Dutch surname. Notable people of this name include:
* Anton Geesink (1934–2010), Dutch judoka
* Willem Geesink (1854–1929), Dutch theologian
# Keohane

Keohane may refer to:

## People

* Jimmy Keohane (born 1991), Irish footballer
* Joe Keohane (1918–1988), Irish Gaelic football player, manager, and selector
* Kay Keohane-O'Riordan (1910–1991), Irish communist activist
* Michael Keohane (fl. 1996–2000), American paralympic athlete and Paralympics competitor
* Nannerl O. Keohane (born 1940), American political theorist and university president
* Nat Keohane (fl. 1993–2012), American environmental economist
* Patrick Keohane (1879–1950), Irish Antarctic explorer
* Patrick Keohane (politician) (1870–1939), Irish politician
* Robert Keohane (born 1941), American political scientist, writer, and academic

## Other uses

* Mount Keohane, an Antarctic peak
* Thompson v. Keohane, a 1995 US Supreme Court case
* Keohane North American Swiss Teams, a North American contract bridge competition
# C28H46O4

The molecular formula C$_{28}$H$_{46}$O$_4$ (molar mass: 446.66 g/mol, exact mass: 446.3396 u) may refer to:
* Diisodecyl phthalate (DIDP)
* DPHP, or di(2-propylheptyl) phthalate
# Italy at the Winter Paralympics

Italy has sent delegations to the Winter Paralympics since the secocon edition in Geilo 1980, the International Paralympic Committee (IPC).

## Medal Tables

    *Red border color indicates tournament was held on home soil.
| Games | Athletes | Gold | Silver | Bronze | Total | Rank |
| 1980 Geilo | 1 | 0 | 0 | 0 | 0 | 11 |
| 1984 Innsbruck | 7 | 0 | 0 | 1 | 1 | 13 |
| 1988 Innsbruck | 24 | 3 | 0 | 6 | 9 | 10 |
| 1992 Tignes-Albertsville | 27 | 0 | 1 | 3 | 4 | 16 |
| 1994 Lillehammer | 24 | 0 | 7 | 6 | 13 | 17 |
| 1998 Nagano | 21 | 3 | 4 | 3 | 10 | 12 |
| 2002 Salt Lake City | 14 | 3 | 3 | 3 | 9 | 11 |
| 2006 Turin | 39 | 2 | 2 | 4 | 8 | 9 |
| 2010 Vancouver | 35 | 1 | 3 | 3 | 7 | 11 |
| 2014 Sochi | 34 | 0 | 0 | 0 | 0 | — |
| 2018 Pyeongchang | 25 | 2 | 2 | 1 | 5 | 12 |
| 2022 Beijing | 32 | 2 | 3 | 2 | 7 | 11 |
| Total | Total | 16 | 25 | 32 | 73 | 17 |

## Multiple medallists

These are official report of International Paralympic Committee. Athletes in bold are athletes who are still competing.
Updated to Pyeongchang 2018.
| # | Athlete | Years (no. of games) | | | | Total |
| 1 | Bruno Oberhammer | 1984-1998 (5) | 3 | 5 | 4 | 12 |
# Broken bridge

Broken bridge may refer to:
* Bridge to nowhere, a bridge with at least one broken side
* Broken bridge, Chennai, India
* Yalu River Broken Bridge, Dandong, China
* The Broken Bridge, a 1990 young-adult novel by Philip Pullman
* Broken Bridges, a 2006 American film by Steven Goldmann
# George Caldwell

George Caldwell may refer to:
* George Caldwell (cricketer) (1807–1863), English cricketer
* George Caldwell (Louisiana official) (1892–1966), Louisiana contractor
* George Caldwell (politician) (1814–1866), U.S. Representative from Kentucky
* George Chapman Caldwell (1834–1907), American chemist, horticulturalist and instructor
* George F. Caldwell (1840–1933), Wisconsin state assemblyman
* George L. Caldwell (1933–2014), member of the Florida House of Representatives
# List of Japanese musical groups

The following is a list of Japanese musical groups. This includes a list of bands and idol groups, organized by year of debut.
# Halumatha

Halumatha is a denomination of the Hindu religion mainly followed by Hatkar and Kuruba Gowda. The majority of members of Halumatha are followers of Advaita and Nature Worship.

## Definition

Halumatha or Palamatha means beliefs of the protectors of the society. In Sanskrit Pal means protect, defend, rule, govern etc. Matha means group view, belief, doctrine etc.

## Culture

Worshiping originated from Halumatha. Stone is the source for the soil. Soil is the source for the plants. Plants are the source for the animals. This may be the reason for worshiping Almight in Stone. Through the ages, this stone worship tradition might have led to worshiping Shiva as Beeralingeswara, Mailara Linga, Malladevaru, Mahadeshwara, Nanjundeswara, Mallappa, Mallara, Mallikarjuna etc. Even the worshiping of shakti as Yellamma, Renuka, Chowdamma, Kariyamma, Chamundi, Bhanashankari, Gullamma etc. might have come from this tradition. Even today, ancestral worship as deities is very common. The worship of ancestors like Revanasidda, Rama, Hanuman, Krishna, Keshava, Ranganatha, Eerathimmanna, Tirupati Thimmappa, Venkateswara, Kalidasa, Siddarama, Kanakadasa etc. as Devaru very much exists in Kuruba Gowda traditions. Kurubas worship Shiva and Vishnu concept of the Almighty with the equal devotion.
# Kom Kug, Arizona

Kom Kug is a populated place situated in Pima County, Arizona, United States. It has an estimated elevation of 3,199 feet (975 m) above sea level. The name is derived from the Tohono O'odham ko:m ke:k, meaning "hackberry standing".
# Miriya

Miriya may refer to:
* Miriya, Balaghat, a village in Madhya Pradesh, India
* Miriya Parina, a character from Robotech
# Izumi-Chūō Station

Izumi-Chūō Station is the name of three train stations in Japan.
* Izumi-Chūō Station (Miyagi) (泉中央駅) in Sendai, Miyagi Prefecture
* Izumi-chūō Station (Kanagawa) (いずみ中央駅) in Yokohama, Kanagawa Prefecture
* Izumi-Chūō Station (Osaka) (和泉中央駅) in Izumi, Osaka Prefecture
# Brodsworth

Brodsworth is a village and civil parish in the City of Doncaster district in South Yorkshire, England. Situated about five miles north-west of Doncaster city centre, the parish also includes Scawsby. According to the 2001 census, it had a population of 2,875, increasing to 2,936 at the 2011 Census.
Historically, the parish of Brodsworth was much larger, but with the sinking of Brodsworth Colliery by the owners of Brodsworth Hall, the model village of Woodlands was built two miles away. On 1 April 1915, Woodlands was added to the parish of Adwick-le-Street since the colliery town had expanded to the stage where it joined Adwick. Brodsworth remained as a collection of farms and the estate village.
The local church, St Michael's, is an 11th-century church sited close to the hall built by the Thellusson family, owners of Brodsworth Hall, and is one of the four churches within the parish of Bilham, which is in the Sheffield diocese.