hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Matita
Matita
is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by human–machine collaboration, providing a programming environment where formal specifications, executable algorithms and automatically verifiable correctness certificates naturally coexist.

Matita is based on a dependent type system known as the calculus of (co)inductive constructions (a derivative of the calculus of constructions), and is compatible, to some extent, with Rocq.

The word "matita" means "pencil" in Italian (a simple and widespread editing tool). It is a reasonably small and simple application, whose architectural and software complexity is meant to be mastered by students, providing a tool particularly suited for testing innovative ideas and solutions. Matita adopts a tactic-based editing mode; (XML-encoded) proof objects are produced for storage and exchange.

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).
Jack Milne (speedway rider)
John Walter Milne (4 June 1907 – 6 December 1995) was an international speedway rider. He became the first American to win a motorcycling world championship when he won the Speedway World Championship in 1937 (defeating brother Cordy Milne into third place). Milne finished as runner-up in the World Championship in 1938.

1937 Individual Speedway World Championship
The 1937 Individual Speedway World Championship was the second edition of the official World Championship to determine the world champion rider.

An attendance of 85,000 (a record for speedway in the United Kingdom at the time) saw Jack Milne win all five races to head an all USA top three on the podium. The track was criticised and was described as being too deep with cinders.
Financial privacy laws in the United States
Financial privacy laws regulate the manner in which financial institutions handle the nonpublic financial information of consumers. In the United States, financial privacy is regulated through laws enacted at the federal and state level. Federal regulations are primarily represented by the Bank Secrecy Act, Right to Financial Privacy Act, the Gramm-Leach-Bliley Act, and the Fair Credit Reporting Act. Provisions within other laws like the Credit and Debit Card Receipt Clarification Act of 2007 as well as the Electronic Funds Transfer Act also contribute to financial privacy in the United States. State regulations vary from state to state. While each state approaches financial privacy differently, they mostly draw from federal laws and provide more stringent outlines and definitions. Government agencies like the Consumer Financial Protection Bureau and the Federal Trade Commission provide enforcement for financial privacy regulations.

Bank Secrecy Act
The Bank Secrecy Act of 1970 (BSA), also known as the Currency and Foreign Transactions Reporting Act, is a U.S. law requiring financial institutions in the United States to assist U.S. government agencies in detecting and preventing money laundering. Specifically, the act requires financial institutions to keep records of cash purchases of negotiable instruments, file reports if the daily aggregate exceeds $10,000, and report suspicious activity that may signify money laundering, tax evasion, or other criminal activities.

The BSA is sometimes referred to as an anti-money laundering law (AML) or jointly as BSA/AML.
Toby Sandeman
Toby Sandeman (born 2 March 1988) is an English actor, international model and double gold medalist who represented Great Britain in the 200 metres. He won the 200 m at the UK Athletics national championships in 2009, and followed this with two gold medals at the European Athletics U23 Championships. He has modelled for Calvin Klein, Ralph Lauren, and worked with Naomi Campbell for Vogue magazine.

Calvin Klein
Calvin Richard Klein (born November 19, 1942) is an American fashion designer. In 1968, he launched the company that later became Calvin Klein. In addition to clothing, he has also given his name to a range of perfumes, watches, and jewellery.
Yenimahalle (M7, Istanbul Metro)
Yenimahalle is an underground station on the M7 line of the Istanbul Metro.

The station has an underground carpark with 114 spaces.

The M7 line operates as fully automatic unattended train operation (UTO). The station consists of an island platform with two tracks. Since the M7 is an ATO line, protective gates on each side of the platform open only when a train is in the station.

Automatic train operation
Automatic train operation (ATO) is a method of operating trains automatically where the driver is not required or is required for supervision at most. Alternatively, ATO can be defined as a subsystem within the automatic train control, which performs any or all of functions like programmed stopping, speed adjusting, door operation, and similar otherwise assigned to the train operator.

The degree of automation is indicated by the Grade of Automation (GoA), up to GoA4 in which the train is automatically controlled without any staff on board. On most systems for lower grades of automation up to GoA2, there is a driver present to mitigate risks associated with failures or emergencies. Driverless automation is primarily used on automated guideway transit systems where it is easier to ensure the safety due to isolated tracks. Fully automated trains for mainline railways are an area of research. The first driverless experiments in the history of train automation  date back to 1920s.
Hundred of Noarlunga
The Hundred of Noarlunga is a cadastral unit of hundred in South Australia covering the far south-western Adelaide metropolitan area south and west of the Sturt River and north and west of the Onkaparinga River. It is one of the eleven hundreds of the County of Adelaide stretching from Glenelg in the northwest to Port Noarlunga in the southwest; and spanning inland between the Sturt and Onkaparinga to Bridgewater in the Adelaide foothills. It was named in 1846 by Governor Frederick Robe, Noarlunga being likely derived from 'nurlongga', an indigenous word referring to the curvature in the Onkaparinga River at Old Noarlunga, dubbed Horseshoe Bend by European settlers.

Glenelg, South Australia
Glenelg is a beach-side suburb of the South Australian capital of Adelaide. Located on the shore of Holdfast Bay in Gulf St Vincent, it has become a tourist destination due to its beach and many attractions, home to several hotels and dozens of restaurants.

Established in 1836, it is the oldest European settlement on mainland South Australia. It was named after Lord Glenelg, a member of British Cabinet and Secretary of State for War and the Colonies. Through Lord Glenelg the name derives from Glenelg, Highland, Scotland.
Stevens, Pennsylvania
Stevens is an unincorporated community and census-designated place (CDP) in Lancaster County, Pennsylvania, United States. As of the 2010 census, it had a population of 612. The Stevens post office has ZIP code 17578.

The community was named in honor of Thaddeus Stevens. It was originally also called "Reamstown Station", due to its being the closest railroad station to the much larger community of Reamstown. By 1899, the community was just referred to as Stevens P.O.

The Schoeneck and Reamstown Elementary Schools, in the Cocalico School District, have Stevens addresses, as do several churches and the Mount Airy Kennels.

Reamstown, Pennsylvania
Reamstown (Pennsylvania Dutch: Riemeschteddel) is an unincorporated community and census-designated place (CDP) in Lancaster County, Pennsylvania, United States. The population was 3,361 at the 2010 census.
Georgiy Tsybulnikov
Georgiy Tsybulnikov (born November 21, 1966) is a Russian sprint canoer who competed in the 1990s. He won a bronze medal in the K-4 1000 m event at the 1996 Summer Olympics in Atlanta, together with teammates Oleg Gorobiy, Sergey Verlin and Anatoli Tishchenko.

Tsybulnikov also won a bronze medal in the K-4 1000 m event at the 1998 ICF Canoe Sprint World Championships in Szeged.

Anatoly Tishchenko
Anatoly Tishchenko (Russian: Анатолий Анатольевич Тищенко; born 18 July 1970, in Taganrog) is a Russian sprint canoer who competed from 1989 to 2004. Competing in four Summer Olympics, he won a bronze in the K-4 1000 m event at Atlanta in 1996.

Tishchenko also won a total of fifteen medals at the ICF Canoe Sprint World Championships with seven golds (K-2 500 m: 1990, K-4 200 m: 1994, 1997; K-4 500 m: 1993, 1994, 1995; K-4 1000 m: 1994), four silvers (K-2 200 m: 1998, K-2 500 m: 1989, K-4 200 m: 1995, K-4 1000 m: 1990), and four bronzes (K-4 200 m: 1999, K-4 500 m: 2003, K-4 1000 m: 1993, 1998).
Estrela-Guia
Estrela-Guia is a Brazilian telenovela produced and broadcast by TV Globo. It premiered on 12 March 2001, replacing O Cravo e a Rosa, and ended on 15 June 2001, replaced by A Padroeira. The telenovela is written by Ana Maria Moretzsohn, with the collaboration of Daisy Chaves, Izabel de Oliveira, Fernando Rebello, and Patrícia Moretzsohn.

The telenovela includes the themes of the hippie world, astrology, esotericism and urban life. Estrela-Guia tells the story of Cristal, whose astrological cards show that her destiny is linked to that of Tony, her godfather.

It stars Sandy, Guilherme Fontes, Carolina Ferraz, Rodrigo Santoro, Thaís Fersoza, Rosamaria Murtinho, Lucinha Lins, and Lilia Cabral.

Rodrigo Santoro
Rodrigo Junqueira Reis Santoro (Portuguese pronunciation: [ʁoˈdɾiɡu ʒũˈkejɾɐ ˈʁejs sɐ̃ˈtɔɾu]; born 22 August 1975) is a Brazilian actor. He is known in Brazil for his appearances on local telenovelas, and internationally for his portrayal of the Persian king Xerxes in the film 300 (2006) and its sequel 300: Rise of an Empire (2014). Other credits include Brainstorm (2001), Carandiru (2003), Love Actually (2003), Che (2008), I Love You Phillip Morris (2009), and Rio (2011), What to Expect When You’re Expecting (2012). He also appeared on the television series Lost in 2006, portraying the character Paulo, and on HBO's Westworld (2016–2020).
John Wesley Stewart
John Wesley Stewart (June 1, 1822 – September 7, 1899) was an American lawyer, banker, Republican politician, and Wisconsin pioneer.  He was a member of the Wisconsin Senate, representing Green County during the 1860 and 1861 sessions.  Before Wisconsin's statehood, he served in the lower house of the 5th Wisconsin Territorial Assembly.  Later in life, he was active in Chicago politics, and was chairman of the Cook County Board of Commissioners in 1880.  His name was often abbreviated as J. W. Stewart.

5th Wisconsin Territorial Assembly
The Fifth Legislative Assembly of the Wisconsin Territory convened from January 4, 1847, to February 11, 1847, and from February 7, 1848, to March 13, 1848, in regular session.  The Assembly also convened in special session from October 18, 1847, to October 27, 1847, to organize a second constitutional convention after the failure to adopt the first Wisconsin Constitution.

During this Assembly term, Wisconsin was attempting to achieve statehood. A constitution was drafted at a convention in the Fall of 1846 and was put to the voters at the spring election held April 6, 1847.  The voters overwhelmingly rejected this document.  New delegates were elected at a special election held November 29, 1847, and a new constitution was drafted that Winter.  The new constitution was approved by the voters on March 13, 1848.
Big Five (Scotland Yard)
The Big Five was a nickname given to five superintendents in charge of the Criminal Investigation Department at Scotland Yard, the headquarters of the Metropolitan Police, from about 1906 onwards. The first five to be appointed  were: Charles John Arrow, Paul Crane, Walter Dew, Frederick Fox and Frank Froest. These men and their successors, with their subordinate inspectors, regularly worked on high-profile murder cases through the British Isles. By the 1970s, the term was dropping from currency.

While the crime reporters of British newspapers were the first to use the epithet The Big Five, the team's activities became a popular trope with writers of crime fiction, including Edgar Wallace. As well as inspiring conventional detective fiction, "The Big Five" suggested the title for The Big Six, a children's novel in Arthur Ransome's Swallows and Amazons series about group of young detectives.

Criminal Investigation Department
The Criminal Investigation Department (CID) is the branch of a police force to which most plainclothes detectives belong in the United Kingdom and many Commonwealth nations. A force's CID is distinct from its Special Branch (though officers of both are entitled to the rank prefix "Detective"). The name derives from the CID of the Metropolitan Police, formed on 8 April 1878 by C. E. Howard Vincent as a re-formation of its Detective Branch. British colonial police forces all over the world adopted the terminology developed in the UK in the 19th and early 20th centuries, and later the police forces of those countries often retained it after independence. English-language media often use "CID" as a translation to refer to comparable organisations in other countries.
Liver of sulfur
Liver of sulfur is a loosely defined mixture of potassium sulfide, potassium polysulfide, potassium thiosulfate, and likely potassium bisulfide. Synonyms include hepar sulfuris,  sulfurated potash and sulfurated potassa.  There are two distinct varieties: "potassic liver of sulfur" and "ammoniacal liver of sulfur". It is traditionally used as an oxidising agent in metalwork.

Potassium thiosulfate
Potassium thiosulfate is an inorganic compound with the formula K2S2O3. This salt can form multiple hydrates, such as the monohydrate, dihydrate, and the pentahydrate, all of which are white or colorless solids.  It is used as a fertilizer.
Valentin Vasin
Valentin Petrovich Vasin (Russian: Валентин Петрович Васин; 30 October 1923 — 11 November 2010) was a decorated Soviet test pilot and head of flight operations (1973–1995) in the Gromov Flight Research Institute .

Gromov Flight Research Institute
The Gromov Flight Research Institute or GFRI for short (Russian: Лётно-исследовательский институт имени М. М. Громова, Russian: ЛИИ) is an important Russian State Research Centre which operates an aircraft test base located in Zhukovsky, 40 km south-east of Moscow. The airfield is also known as Ramenskoye air base.

The airfield was used as the backup landing site for the Shuttle Buran test program and also as a test base for a Buran's aerodynamic prototype BTS-002.

GFRI periodically hosts the MAKS International Air Show (Aviasalon).

At present, GFRI also hosts Zhukovsky International Airport.
Jane Stafford
Jane Stafford (1899–1991) was an American medical writer and chemist. She wrote a nationally syndicated newspaper column called "Your Health - Here's How" and worked for Science Service. She wrote about cancer, polio, heart disease, influenza, sexually transmitted disease, and vitamins. She was assistant director of the NIH Office of Information. Stafford co-founded the National Association of Science Writers and served as president of the Women's National Press Club.

National Press Club (United States)
The National Press Club is a professional organization and social community in Washington, D.C., for journalists and communications professionals. It hosts public and private gatherings with invited speakers from public life. The club also offers event space to outside groups to host business meetings, news conferences, industry gatherings, and social events. It was founded in 1908.

The club has been visited by most U.S. presidents; since Warren Harding, many have also been members and spoken from the club's podium. Others who have appeared at the club include monarchs, prime ministers, premiers, members of Congress, Cabinet officials, ambassadors, scholars, entertainers, business leaders, and athletes. The club's emblem is the owl, in deference to wisdom, awareness and nights spent working.
12 Storeys
12 Storeys (十二樓 or Shí'èr lóu in Mandarin) is a 1997 Singaporean drama film written and directed by Eric Khoo. It features an ensemble cast of Jack Neo, Koh Boon Pin and Quan Yi Fong. It was screened in the Un Certain Regard section at the 1997 Cannes Film Festival.

Jack Neo
Jack Neo Chee Keong PBM is a Singaporean filmmaker, comedian and actor who was a full-time Mediacorp artiste from 1983 to 2003. In the 1990s and early 2000s, he was best known for his cross-dressing roles, as "Liang Po Po" (literally: "Granny Liang") and "Liang Xi Mei" (a woman homemaker in her 40s) in the long-running television comedy show Comedy Nite.

Since his debut as a feature film director, Neo has been one of the most commercially successful local directors who has also met with some success in Malaysia and Taiwan. He has shown a penchant for franchise series films. His most critically acclaimed film is I Not Stupid, which satirizes Singapore's streaming educational system in 2002. Critics have commented that his films had too much product placement which he justified by stating the expensive cost of making movies in Singapore.
Tête de Ferret
The Tête de Ferret is a mountain of the Pennine Alps on the Swiss-Italian border. It lies just east of the Mont Blanc massif, between the Swiss Val Ferret (Valais) and the Italian Val Ferret (Aosta Valley).

Pennine Alps
The Pennine Alps (French: Alpes Pennines, German: Walliser Alpen, Italian: Alpi Pennine, Latin: Alpes Poeninae), sometimes referred to as the Valais Alps (which are just the Northern Swiss part of the Pennine Alps), are a mountain range in the western part of the Alps. They are located in Italy (the Aosta Valley and Piedmont) and Switzerland (Valais).

The Pennine Alps are amongst the three highest major subranges of the Alps, together with the Bernese Alps and the Graian Alps that include the Mont Blanc massif.
Madhan, Mainpuri
Madhan is a village in Ghiror block of Mainpuri district, Uttar Pradesh, India. It is located on the road from Ghiror to Kuraoli, where it crosses the Isan river. There is an old fort in the village. As of 2011, Madhan had a population of 8,099, in 1,266 households.

Kuraoli
Kuraoli is a town and a nagar panchayat (urban municipality) in Mainpuri district in the Indian state of Uttar Pradesh.  Kuraoli was known for Rathore thakur state in 18th century, now it is known for its largest garlic and onion mandi in Uttar Pradesh.
Cyclocybe aegerita
Cyclocybe aegerita, also called Agrocybe cylindracea, Agrocybe aegerita or Pholiota aegerita, is a species of fungus in the genus Cyclocybe. It is commonly known as the poplar fieldcap, poplar mushroom, or velvet pioppini (simplified Chinese: 茶树菇; traditional Chinese: 茶樹菇; pinyin: chá shù gū; lit. 'Tea Tree Mushroom'). In Japan, it is called Yanagi-matsutake (柳松茸).

It is a white rot fungus with a cap up to 10 centimetres (4 inches) wide. Although it resembles some poisonous species, it is edible and cultivated in some countries.

Mushroom poisoning
Mushroom poisoning is poisoning resulting from the ingestion of mushrooms that contain toxic substances. Symptoms can vary from slight gastrointestinal discomfort to death in about 10 days. Mushroom toxins are secondary metabolites produced by the fungus.

Mushroom poisoning is usually the result of ingestion of wild mushrooms after misidentification of a toxic mushroom as an edible species. The most common reason for this misidentification is a close resemblance in terms of color and general morphology of the toxic mushrooms species with edible species. To prevent mushroom poisoning, mushroom gatherers familiarize themselves with the mushrooms they intend to collect, as well as with any similar-looking toxic species. The safety of eating wild mushrooms may depend on methods of preparation for cooking. Some toxins, such as amatoxins, are thermostable and mushrooms containing such toxins will not be rendered safe to eat by cooking.
Jessica Mitford
Jessica Lucy "Decca" Treuhaft (née Freeman-Mitford, later Romilly; 11 September 1917 – 23 July 1996) was an English-American author, communist activist and one of the Mitford sisters. Her 1960 memoir Hons and Rebels and her 1963 book of social commentary The American Way of Death both became classics.

Jessica married her second cousin Esmond Romilly, emigrating to the United States in 1939. Romilly was reported missing in action in 1941 and, in 1943, Mitford married American civil rights lawyer Robert Treuhaft, with whom she worked closely in the Civil Rights Congress. She took American citizenship in 1944. The couple joined the Communist Party USA and refused to testify in front of the House Un-American Activities Committee.

House Un-American Activities Committee
The House Committee on Un-American Activities (HCUA), popularly the House Un-American Activities Committee (HUAC), was an investigative committee of the United States House of Representatives created in 1938. Their goal was to investigate alleged disloyalty and subversive activities on the part of private citizens, public employees, and those organizations suspected of having communist ties. It became a standing (permanent) committee in 1946. Then, from 1969 and onward, it was known as the House Committee on Internal Security. When the House abolished the committee in 1975, its functions were transferred to the House Judiciary Committee.

The committee's anti-communist investigations are often associated with McCarthyism, although Joseph McCarthy himself (as a U.S. senator) had no direct involvement with the House committee. McCarthy was the chairman of the Government Operations Committee and its Permanent Subcommittee on Investigations of the U.S. Senate, not the House.
Joel Soriano
Joel Soriano (born January 30, 2000) is a Dominican-American professional basketball player for Ratiopharm Ulm of the German BBL, on a loan from Valencia. He played college basketball for the Fordham Rams and the St. John's Red Storm.

Ratiopharm Ulm
Ratiopharm Ulm, officially stylized as ratiopharm ulm, is a professional basketball club based in Ulm, Germany. The club has two teams, one professional team, which plays in the Basketball Bundesliga (BBL), the major German professional league and one youth team, which plays in the NBBL (Nachwuchs Basketball-Bundesliga). The home arena of the team is the Ratiopharm Arena, an indoor sporting arena with a capacity of approximately 6,000 spectators.

The mascot of the team is a rabbit named Spass ("fun"), who somewhat resembles Bugs Bunny. The main sponsor of the team is the pharmaceutical company Ratiopharm. The team colors are orange, white, and black.

Ulm has played in the BBL for 20 straight seasons since promoting in 2006, and won the national championship in 2023.