hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Isabelle (proof assistant)
The Isabelle automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As a Logic for Computable Functions (LCF) style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring, yet supporting, explicit proof objects.

Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories and implementations for code-generating, documenting, and specific support for a variety of formal methods. It can be seen as an integrated development environment (IDE) for formal methods. In recent years, a substantial number of theories and system extensions have been collected in the Isabelle Archive of Formal Proofs (Isabelle AFP).

Isabelle was named by Lawrence Paulson after Gérard Huet's daughter.

The Isabelle theorem prover is free software, released under the revised BSD license.

Rocq
The Rocq Prover (formerly named Coq) is an interactive theorem prover first released in 1989. It allows the expression of mathematical assertions, mechanical checking of proofs of these assertions, assists in finding formal proofs using proof automation routines and extraction of a certified program from the constructive proof of its formal specification.

Rocq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Rocq is not an automated theorem prover but includes automatic theorem proving tactics (procedures) and various decision procedures.

The Association for Computing Machinery awarded Thierry Coquand, Gérard Huet, Christine Paulin-Mohring, Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy, Yves Bertot, and Pierre Castéran with the 2013 ACM Software System Award for Rocq (when it was named Coq).
Tribe of Manasseh
According to the Hebrew Bible, the Tribe of Manasseh (/məˈnæsə/; Hebrew: שֵׁבֶט מְנַשֶּׁה‎‎ Ševet Mənašše, Tiberian: Šēḇeṭ Mănašše) was one of the twelve tribes of  Israel. After the  Assyrian invasion of 720 BCE, it is counted as one of the ten lost tribes. Together with the Tribe of Ephraim, Manasseh also formed the House of Joseph.

Academic consensus, informed by historical context, textual analysis, and archaeological evidence, largely views the Israelite tribes as eponymous figures representing social or regional groups formed from indigenous Canaanite populations during the Late Bronze and Early Iron periods, rather than as actual historical individuals.

Tribe of Issachar
According to the Hebrew Bible, the Tribe of Issachar (Hebrew: יִשָּׂשכָר/יִשְׂשָׂכָר, Modern: Yīssaḵar, Tiberian: Yīssāḵār) was one of the twelve tribes of Israel and one of the ten lost tribes. In Jewish tradition, the descendants of Issachar were seen as being dominated by religious scholars and influential in proselytism. The sons of Issachar, ancestors of the tribe, were Tola, Phuvah, Job and Shimron.
Prince Hall Freemasonry
Prince Hall Freemasonry is a branch of North American Freemasonry created for African Americans, founded by Prince Hall on September 29, 1784. Prince Hall Freemasonry is the oldest and largest (300,000+ initiated members) predominantly African-American fraternity in the United States.

Different organizations purport to be of Prince Hall Freemasonry: one group is the independent, 'Prince Hall Affiliated' or 'PHA' Grand Lodges, most of which are recognized by their state Grand Lodge counterparts and the United Grand Lodge of England, being considered 'regular' in Freemasonry. Others are under the jurisdiction of a 'National Grand Lodge', 'Prince Hall Origin', or otherwise non-Prince Hall Affiliated Lodge or Grand Lodge. These are considered 'irregular', 'clandestine', and unrecognized by the Prince Hall Affiliated masonic bodies and their 'mainstream' masonic counterparts.

Knights of Pythias of North America, South America, Europe, Asia, Africa and Australia
The Knights of Pythias of North America, South America, Europe, Asia, Africa, and Australia, also known as the Colored Knights of Pythias or the Knights of Pythias, is a fraternal organization in the United States. The Knights of Pythias, founded in 1864, did not allow African Americans so this group formed on its own. The organization was established in Vicksburg, Mississippi in 1880 by Thomas W. Stringer and others.

The organization followed the organizational structure of many other fraternal organizations with a national Supreme Lodge, Grand Lodges at the state level, and local lodges regionally. Historically, the organization provided its members with death and sick benefits.
Wulfenite
Wulfenite is a lead molybdate mineral with the formula PbMoO4. It often occurs as thin tabular crystals with a bright orange-red to yellow-orange color, sometimes brown, although the color can be highly variable. In its yellow form it is sometimes called "yellow lead ore".

It crystallizes in the tetragonal system, often occurring as stubby, pyramidal or tabular crystals. It also occurs as earthy, granular masses. It is found in many localities, associated with lead ores as a secondary mineral associated with the oxidized zone of lead deposits.  It is also a secondary ore of molybdenum, and is sought by collectors.

Mimetite
Mimetite is a lead arsenate chloride mineral (Pb5(AsO4)3Cl) which forms as a secondary mineral in lead deposits, usually by the oxidation of galena and arsenopyrite. The name derives from the Greek Μιμητής mimetes, meaning "imitator" and refers to mimetite's resemblance to the mineral pyromorphite. This resemblance is not coincidental, as mimetite forms a mineral series with pyromorphite (Pb5(PO4)3Cl) and with vanadinite (Pb5(VO4)3Cl). Notable occurrences are Mapimi, Durango, Mexico, and Tsumeb, Namibia.
Minister for Housing (Western Australia)
Minister for Housing is a position in the government of Western Australia, currently held by John Carey of the Labor Party. The position was first created after the 1947 state election, for the government of Sir Ross McLarty, and has existed in every government since then. The minister is responsible for the state government's Department of Communities, as well as several other government agencies.

Minister for Commerce (Western Australia)
Minister for Commerce and Industrial Relations is a position in the government of Western Australia, currently held by Sue Ellery of the Labor Party. The position was first created after the 1993 state election, for the government of Richard Court. The minister is responsible for the state government's Department of Commerce.

The current Minister for Commerce and Industrial Relations holds responsibilities that were previously given to several separate ministers – the Minister for Works (abolished 2001), Minister for Labour (abolished 2001), and Minister for Consumer Affairs (abolished 2008).
Russia women's national bandy team
Russia women's national bandy team is the women's team representing Russia in the sport of bandy. The team competes in the Women's Bandy World Championship.

On the International Olympic Committee's recommendations following the 2022 Russian invasion of Ukraine, the Federation of International Bandy excluded Russia from participating in the 2022 Women's Bandy World Championship.

Great Britain women's national bandy team
The Great Britain women's national bandy team represents the United Kingdom in the sport of bandy. It is governed by the Great Britain Bandy Association.

The team made its international debut at the 2022 Women's Bandy World Championship, finishing in 6th place overall among eight teams.

The team did not enter the 2023 championship.
Friedrich Dürrenmatt
Friedrich Dürrenmatt (German: [ˈfriːdrɪç ˈdʏrənˌmat] ⓘ; 5 January 1921 – 14 December 1990) was a Swiss author and dramatist. He was a proponent of epic theatre whose plays reflected the recent experiences of World War II. The politically active author's work included avant-garde dramas, philosophical crime novels, and macabre satire. Dürrenmatt was a member of the Gruppe Olten, a group of left-wing Swiss writers who convened regularly at a restaurant in the city of Olten.

Max Frisch
Max Rudolf Frisch (German: [maks ˈfʁɪʃ] ⓘ; 15 May 1911 – 4 April 1991) was a Swiss playwright and novelist. Frisch's works focused on problems of identity, individuality, responsibility, morality, and political commitment. The use of irony is a significant feature of his post-war output. Frisch was one of the founders of Gruppe Olten. He was awarded the 1965 Jerusalem Prize, the 1973 Grand Schiller Prize, and the 1986 Neustadt International Prize for Literature.
Handley Page Transport
Handley Page Transport Ltd was an airline company founded in 1919, soon after the end of the First World War, by Frederick Handley Page.

The company's first planes were Handley Page Type O/400 bombers modified for passenger use. They flew a London-Paris route. Per a request from the Air Ministry, the Handley Page Type W8 was later used for flights to both Paris and Brussels.

On 31 March 1924 the assets and operations of Handley were merged with three other British airlines to found Imperial Airways. That company remained dormant until reconstituted to take over operations for Miles Aircraft in 1947 as Handley Page (Reading) Ltd.

The world's first in-flight meal was offered by Handley Page Transport.

Daimler Airway
Daimler Airway was an airline subsidiary of the Birmingham Small Arms Company (BSA)'s Daimler Company. It was created as Daimler Air Hire and became Daimler Airway after combination with the assets of the failed ventures Airco and its subsidiary, Aircraft Transport and Travel, which were acquired by BSA in February 1920.
De Redin towers
The De Redin Towers (Maltese: Torrijiet ta' De Redin) are a series of small coastal watchtowers built in Malta by the Order of Saint John between 1658 and 1659. Thirteen towers were built around the coast of mainland Malta to act as watchtowers. Eight of the towers still survive.

The Mġarr ix-Xini Tower, which was built on Gozo in 1661 after the death of de Redin, has a design similar to the De Redin towers.

Wignacourt towers
The Wignacourt towers (Maltese: Torrijiet ta' Wignacourt) are a series of large coastal watchtowers built in Malta by the Order of Saint John between 1610 and 1620. A total of six towers of this type were constructed, four of which survive.
Kevin Proctor
Kevin Proctor (born 28 February 1989) is a New Zealand professional rugby league footballer who plays as a second-row forward for Currumbin Eagles in the Gold Coast Rugby League, and the New Zealand Māori and New Zealand at international level.

Proctor was a member of the Melbourne Storm squad in 2012, with whom he won the 2012 NRL Grand Final.

Shaun Johnson
Shaun Ly Johnson (born 9 September 1990) is a New Zealand former professional rugby league footballer who last played as a halfback for the New Zealand Warriors in the National Rugby League and New Zealand at international level.

Johnson is regarded as one of New Zealand’s greatest rugby league players, often compared to Benji Marshall and Stacey Jones. He is the highest point scorer for both the Warriors and the New Zealand Kiwis at international level.

Johnson has also played for the Cronulla-Sutherland Sharks as a five-eighth in the NRL and for the NRL All Stars. In 2014, Johnson was awarded the Golden Boot for the world's best player.
List of rivers of the United States: I
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - XYZ

This is a list of rivers in the United States that have names starting with the letter I.  For the main page, which includes links to listings by state, see List of rivers in the United States.

List of rivers of the United States: Q
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - XYZ

This is a list of rivers in the United States that have names starting with the letter Q.  For the main page, which includes links to listings by state, see List of rivers in the United States.
Erato
In Greek mythology, Erato (/ˈɛrətoʊ/; Ancient Greek: Ἐρατώ) is one of the Muses, associated with erotic lyric poetry. The name would mean "desired" or "lovely", if derived from the same root as Eros, as Apollonius of Rhodes playfully suggested in the invocation to Erato that begins Book III of his Argonautica.

Calliope
In Greek mythology, Calliope (/kəˈlaɪ.əpi/ kə-LY-ə-pee; Ancient Greek: Καλλιόπη, romanized: Kalliópē, lit. 'beautiful-voiced') is the Muse who presides over eloquence and epic poetry, so called from the ecstatic harmony of her voice. Hesiod and Ovid called her the "Chief of all Muses".
Botswana national football team
The Botswana national football team (Tswana: Setlhopha sa bosetšhaba sa kgwele ya dinao sa Botswana) represents Botswana in men's international association football. It is governed by the Botswana Football Association (BFA) which was founded in 1970.

As of December 2025, the team has qualified for two editions of Africa Cup of Nations, in 2012 and 2025, and it has not managed to qualify for the FIFA World Cup. The team also participates in the regional COSAFA Cup which is open to Southern African national teams and takes place annually; Botswana's best result in the cup to date is finishing runners-up in the 2016 and 2019 editions.

Guinea-Bissau national football team
The Guinea-Bissau national football team (Portuguese: Seleção nacional de futebol da Guiné-Bissau) represents Guinea-Bissau in men's international association football and it is controlled by the Football Federation of Guinea-Bissau, The team has never qualified for the FIFA World Cups but qualified for the Africa Cup of Nations four times, making their debut in 2017. The team is a member of both FIFA and Confederation of African Football (CAF).
General surgery
General surgery is a surgical specialty that focuses on alimentary canal and abdominal contents including the esophagus, stomach, small intestine, large intestine, liver, pancreas, gallbladder, appendix and bile ducts, and often the thyroid gland. General surgeons also deal with diseases involving the skin, breast, soft tissue, trauma, peripheral artery disease and hernias and perform endoscopic as such as gastroscopy, colonoscopy and laparoscopic procedures.

Plastic surgery
Plastic surgery is a surgical specialty involving restoration, reconstruction, or alteration of the human body. It can be divided into two main categories: reconstructive surgery and cosmetic surgery. Reconstructive surgery covers a wide range of specialties, including craniofacial surgery, oral and maxillofacial surgery, hand surgery, microsurgery, and the treatment of burns. This kind of surgery focuses on restoring a body part or improving its function. In contrast, cosmetic (or aesthetic) surgery focuses solely on improving the physical appearance of the body. A comprehensive definition of plastic surgery has never been established, because it has no distinct anatomical object and thus overlaps with practically all other surgical specialties. An essential feature of plastic surgery is that it involves the treatment of conditions that require or may require tissue relocation skills.
Sviatoslav Richter
Sviatoslav Teofilovich Richter (March 20 [O.S. March 7] 1915 – August 1, 1997) was a Soviet and Russian classical pianist. He is regarded as one of the greatest pianists of all time, and has been praised for the "depth of his interpretations, his virtuoso technique, and his vast repertoire".

Murray Perahia
Murray David Perahia KBE (/pəˈraɪ.ə/ pə-RY-ə; born April 19, 1947) is an American pianist and conductor. He has been considered one of the greatest living pianists. He was the first North American pianist to win the Leeds International Piano Competition, in 1972. Known as a leading interpreter of Bach, Handel, Scarlatti, Mozart, Beethoven, and Schumann, among other composers, Perahia has won numerous awards, including three Grammy Awards from a total of 18 nominations, and 9 Gramophone Awards in addition to its first and only "Piano Award".
Banksia subg. Isostylis
Banksia subg. Isostylis is a subgenus of Banksia.  It contains three closely related species, all of which occur only in Southwest Western Australia.  Members of subgenus Isostylis have dome-shaped flower heads that are superficially similar to those of B. ser. Dryandra, but structurally more like reduced versions of the "flower spikes" characteristic of most other Banksia taxa.

There are three species of Banksia subg. Isostylis, B. ilicifolia (holly-leaved banksia), B. cuneata (matchstick banksia) and B. oligantha (Wagin banksia). B. ilicifolia is widely distributed and relatively common, but the other two species are rare and threatened.

Banksia victoriae
Banksia victoriae, commonly known as woolly orange banksia, is a species of large shrub or small tree in the plant genus Banksia. It occurs in Western Australia between Northampton, Western Australia and Kalbarri, with the occasional plant further north as far as Zuytdorp Nature Reserve.
Sitka, Alaska
Sitka (Tlingit: Sheetʼká; Russian: Ситка) is a unified city-borough in the southeast portion of the U.S. state of Alaska. It was under Russian rule from 1799 to 1867. The city is situated on the west side of Baranof Island and the south half of Chichagof Island in the Alexander Archipelago of the Pacific Ocean (part of the Alaska Panhandle). As of the 2020 census, Sitka had a population of 8,458, making it the fifth-most populated city in the state.

With a consolidated land area of 2,870.3 square miles (7,434 square kilometers) and total area (including water) of 4,811.4 sq mi (12,461 km2), Sitka is the largest city by total area in the U.S.

Hoonah, Alaska
Hoonah (Tlingit: Xunaa or Gaaw Yat’aḵ Aan) is a largely Tlingit community on Chichagof Island, located in Alaska's panhandle in the southeast region of the state. It is 30 miles (48 km) west of Juneau, across the Alaskan Inside Passage. Hoonah is the only first-class city on Chichagof Island, the 109th-largest island in the world and the 5th-largest island in the U.S. At the 2020 census the population was 931, up from 760 in 2010. In the summer the population can swell to over 1,300 depending on fishing, boating, hiking and hunting conditions.

"Hoonah" became the official spelling in 1901, with establishment of the Hoonah branch of the United States Post Office. "Hoonah" is the approximate pronunciation of the Tlingit name Xunaa, which means “lee of the north wind”, i.e., protected from the north wind.
Maddy English
Madeline Katherine English (February 22, 1925 – August 21, 2004) was an American third basewoman who played from 1943 through 1951 in the All-American Girls Professional Baseball League (AAGPBL). Listed at 5 ft 4 in (1.63 m), 130 lb., English batted and threw right-handed. At age eighteen, she became one of the youngest founding members of the league.

English played all nine of her AAGPBL seasons with the Racine Belles. She anchored third base for the Belles and usually batted second in the batting order. A three-time All-Star, she helped the Belles win three pennants and two championships in the AAGPBL, by combining a sharp defense, opportune hitting, and a flashy base running. A natural teacher who cared most about being on a baseball diamond, she excelled as an educator, teaching a variety of subjects for over 30 years after retiring from baseball.

Edythe Perlick
Edythe Perlick [Edie] (December 12, 1922 – February 27, 2003) was a left fielder who played from 1943 through 1950 in the All-American Girls Professional Baseball League (AAGPBL). Listed at 5 ft 3 in (1.60 m), 128 lb., she batted and threw right-handed.

Perlick has been listed as one of the Top 20 AAGPBL Players of All Time, according to baseball researcher Sharon L. Roepke. A three-time All-Star, Perlick is often described as a multifaceted five-tool player. She was able to hit for average and power, was a smart and speedy baserunner, and combined fielding abilities with a strong and accurate throwing arm.
Burlingame, California
Burlingame (/ˈbɜːrlɪŋɡeɪm/) is a city in San Mateo County, California, United States. It is located on the San Francisco Peninsula and has a significant shoreline on San Francisco Bay. The city is named after diplomat Anson Burlingame. As of the 2020 census, the city population was 31,386.

Millbrae, California
Millbrae is a city in northern San Mateo County, California, United States. To the northeast is San Francisco International Airport; San Bruno is to the northwest, and Burlingame is to the southeast. It is bordered by San Andreas Lake to the southwest. The population was 23,216 at the 2020 census. Millbrae has Sister City relationships with La Serena, Chile and Mosta, Malta, as well as a friendship city agreement with Hanyu, Japan, Taishan, China, Ramallah, Palestine, and Dongguan, China.
Antonio Honda
Soichiro Honda (本多宗一郎, Honda Sōichirō; born January 2, 1978) is a Japanese professional wrestler, better known by his ring name Antonio Honda (アントーニオ本多, Antōnio Honda). He is working for the Japanese professional wrestling promotion DDT Pro-Wrestling (DDT). He is the son of actor Tetsu Watanabe.

Tomomitsu Matsunaga
Tomomitsu Matsunaga (松永智充, Matsunaga Tomomitsu, born November 13, 1980) is a Japanese professional wrestler working for DDT Pro-Wrestling (DDT), a Japanese promotion where he is a former Ironman Heavymetalweight Champion.
Spaniel
A spaniel is a type of gun dog. Spaniels were especially bred to flush game out of denser brush. By the late 17th century, spaniels had been specialized into water and land breeds. The extinct English Water Spaniel was used to retrieve water fowl shot down with arrows. Land spaniels were setting spaniels—those that crept forward and pointed their game, allowing hunters to ensnare them with nets, and springing spaniels — those that sprang pheasants and partridges (for hunting with falcon) and also rabbits and smaller mammals such as rats and mice (for hunting with greyhounds). During the 17th century, the role of the spaniel dramatically changed as Englishmen began hunting with flintlocks for wing shooting. Charles Goodall and Julia Gasow (1984) write that spaniels were "transformed from untrained, wild beaters, to smooth, polished gun dogs."

The word "spaniel" would seem to be derived from the medieval French espaigneul—"Spanish"—to modern French, espagnol.

Setter
The setter is a type of gundog used most often for hunting game such as quail, pheasant, and grouse.

In the UK, the four setter breeds, together with the pointers, usually form a subgroup within the gundog group as they share a common function. However, the setter breeds each have subtle differences in head, bone and substance.

The American and Canadian Kennel Clubs classify these breeds within the Sporting Group. Setters from show lines are usually considered to be heavier and larger than those from 'working' lines.
Dmitry Oboznenko
Dmitry Georgievich Oboznenko (Russian: Дми́трий Гео́ргиевич Обозне́нко; July 10, 1930  – June 19, 2002) was a Soviet Russian painter, graphic artist, Honored Artist of the RSFSR who lived and worked in Saint Petersburg. He was a member of the Saint Petersburg Union of Artists (before 1992 – the Leningrad branch of Union of Artists of Russian Federation), regarded as a representative of the Leningrad school of painting, most famous for his genre compositions and combat paintings of the siege of Stalingrad. He was a noted poster and caricature artist, a member of The Fighting Pencil Group.

Zlata Bizova
Zlata Nikolaevna Bizova (Russian: Зла́та Никола́евна Бызо́ва; 29 March 1927 – 8 August 2013) was a Russian Soviet realist painter and graphic artist, who lived and worked in Saint Petersburg (former Leningrad). She was a member of the Saint Petersburg Union of Artists (before 1992 named as the Leningrad branch of Union of Artists of Russian Federation) and is regarded as one of representatives of the Leningrad school of painting.