hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Paradox (theorem prover)
Paradox is a finite-domain model finder for pure first-order logic (FOL) with equality developed by Koen Lindström Claessen and Niklas Sörensson at the Chalmers University of Technology. It can a participate as part of an automated theorem proving system. The software is written mostly in the programming language Haskell. It is free and open-source software released under the terms of the GNU General Public License.

Chalmers University of Technology
Chalmers University of Technology (Swedish: Chalmers tekniska högskola, commonly referred to as Chalmers) is a private research university located in Gothenburg, Sweden. Chalmers focuses on engineering and science, but more broadly it also conducts research and offers education in shipping, architecture and management. The university has approximately 3,100 employees and 10,000 students.

Chalmers coordinates the development of a Swedish quantum computer
and
the Graphene Flagship, a European Union research initiative to develop commercial technologies with graphene.

The university is a co-founder of the CDIO Initiative, a member of the UNITECH International program, the IDEA League, the Nordic Five Tech, 
and the ENHANCE alliances as well as the EURECOM consortium and the CESAER network.
Cachalot Peak
Cachalot Peak (65°38′S 62°16′W﻿ / ﻿65.633°S 62.267°W﻿ / -65.633; -62.267) is a peak, 1,040 metres (3,400 ft) high, between Stubb Glacier and Starbuck Glacier in southeastern Aristotle Mountains, about 3.5 nautical miles (6 km) west of Mount Queequeg, near the east coast of Graham Land. The toponym is one in a group by the UK Antarctic Place-Names Committee that reflects a whaling theme, "cachalot" being the sperm whale.

Starbuck Glacier
Starbuck Glacier (65°38′S 62°9′W﻿ / ﻿65.633°S 62.150°W﻿ / -65.633; -62.150) is a glacier 15 nautical miles (28 km) long.It flows east along the south side of Taridin Ridge and Padesh Ridge, and entering Scar Inlet immediately north of Mount Queequeg, on the east coast of Graham Land. Surveyed and partially photographed by the Falkland Islands Dependencies Survey (FIDS) in 1947. The entire glacier was photographed by the Falkland Islands and Dependencies Aerial Survey Expedition (FIDASE) in 1955–56, and mapped from these photos by the FIDS in 1957. Named by the United Kingdom Antarctic Place-Names Committee (UK-APC) after the first mate on the Pequod in Herman Melville's Moby-Dick.
Empire (1901 automobile)
The Empire was an American automobile manufactured from 1901 until 1902.  A product of Sterling, Illinois, it featured a vee-twin steam engine geared to its right-hand rear wheel. It had a rectangular, transverse mounted boiler with horizontal tubes across the chassis. Coachwork was of the motor buggy style.

Built by the Empire Manufacturing Co. (soon to be renamed the Empire Automobile Co.) in Sterling, Illinois, it was offered for only $750; the popular Oldsmobile Curved Dash cost $650.

Essentially the same car was built 1901-1902 by the Sterling Automobile & Engine Co. When this company failed to pay its factory mortgage the company was sold by the sheriff's office for $1,300 and manufacture halted.

Boiler (power generation)
A boiler or steam generator is a device used to create steam by applying heat energy to water.  Although the definitions are somewhat flexible, it can be said that older steam generators were commonly termed boilers and worked at low to medium pressure (7–2,000 kPa or 1–290 psi) but, at pressures above this, it is more usual to speak of a steam generator.

A boiler or steam generator is used wherever a source of steam is required. The form and size depends on the application: mobile steam engines such as steam locomotives, portable engines and steam-powered road vehicles typically use a smaller boiler that forms an integral part of the vehicle; stationary steam engines, heating plants, industrial installations and power stations will usually have a larger separate steam generating facility connected to the point-of-use by piping. A notable exception is the steam-powered fireless locomotive, where separately-generated steam is transferred to a receiver (tank) on the locomotive.
1991 Virginia Slims of Philadelphia – Doubles
The last edition of the tournament was in 1979, which was won by Françoise Dürr and Betty Stöve.

Jana Novotná and Larisa Savchenko won the title by defeating Mary Joe Fernández and Zina Garrison 6–2, 6–4 in the final.

Zina Garrison
Zina Lynna Garrison (born November 16, 1963) is an American former professional tennis player. Garrison was the runner-up in singles at the 1990 Wimbledon Championships, a three-time major mixed doubles champion, and an Olympic gold and bronze medalist from the women's doubles and singles events, respectively, at the 1988 Seoul Olympics. She reached a career-high singles ranking of world No. 4, on 20 November 1989.
Gilbert Lake State Park
Gilbert Lake State Park is a 1,584-acre (6.41 km2) state park in Otsego County, New York, United States. Most of the park is in the Town of New Lisbon, in the foothills of the Catskill Mountains east of the community of New Lisbon and north of Oneonta. Gilbert Lake and Lake of the Twin Fawns are located within the park.

Otsego County, New York
Otsego County is a county in the U.S. state of New York. As of the 2020 census, the population was 58,524. The county seat is Cooperstown. The county's population center is Oneonta. The name Otsego is from a Mohawk or Oneida word meaning "place of the rock." The county is part of the Mohawk Valley region of the state.
Todo el Amor
Todo el Amor (All the Love) is the fifth studio album by Chilean singer Myriam Hernández. The album was nominated "Latin Pop Album of the Year by a Female Artist"  at the 1999 Billboard Latin Music Awards. The album is her first under Sony Discos having previously signed on to Warner Music Latina. It contains the lead single "Huele a Peligro" which reached #1 on the Latin Pop Airplay chart in the United States.

Sony Music Latin
Sony Music Entertainment US Latin LLC (often referred to as Sony Music Latin) is an American record label owned by Sony Music. The label focuses on artists of Latin music. Sony Latin was also a division of the Sony Discos label.
Shaka's Rock
Shaka's Rock is a beachside town situated along the North Coast of KwaZulu-Natal, South Africa.

Shaka's Rock is a small residential village 40 km (25 mi) from Durban. Its name comes from a promontory over which the Zulu chief Shaka is said to have thrown his enemies and to have tested his men by daring them to jump to their deaths.

Shaka's Rock is a popular holiday destination, situated between Salt Rock and Ballito on the Dolphin Coast. Shaka's Rock Beach Tidal Pool is protected and well known for snorkelling, with a wide variety of fish, corals and other sealife.

Zulu people
Zulu people (/ˈzuːluː/; Zulu: amaZulu) are a native people of Southern Africa of the Nguni. The Zulu people are the largest ethnic group and nation in South Africa, living mainly in the province of KwaZulu-Natal.

They originated from Nguni communities who took part in the Bantu migrations over millennia. As the clans integrated, the rulership of Shaka brought success to the Zulu nation due to his improved military tactics and organization.

Zulus take pride in their ceremonies such as the Umhlanga, or Reed Dance, and their various forms of beadwork.

The art and skill of beadwork take part in the identification of Zulu people and act as a form of communication and dedication to the nation and specific traditions. Today, the Zulu people are predominantly Christian, but have created a syncretic religion that is combined with the Zulu's prior belief systems.
Neal's Yard Dairy
51°30′51″N 0°07′34″W﻿ / ﻿51.51424°N 0.12619°W﻿ / 51.51424; -0.12619

Neal's Yard Dairy is a London artisanal cheese retailer, wholesaler and (formerly) cheesemaker in London, which was founded by Nicholas Saunders and Randolph Hodgson in 1979. It has been described as "London's foremost cheese store." As of 2020 the company has three shops and a cheese store in London.

Cheesemaking
Cheesemaking (or caseiculture) is the craft of making cheese. The production of cheese, like many other food preservation processes, allows the nutritional and economic value of a food material, in this case milk, to be preserved in concentrated form. Cheesemaking allows the production of the cheese with diverse flavors and consistencies.
Edda Buding
Edda Buding (13 November 1936 – 15 July 2014) was a German tennis player of Romanian birth. She received the doubles gold medal at the 1968 Summer Olympics doubles demonstration event partnered with Helga Niessen Masthoff. Along with Yola Ramírez, she was the runner-up in the 1961 U.S. Championships women's doubles event and with Robert Howe was the runner-up in mixed doubles at Wimbledon in 1961. She was the sister of Ingo Buding, a two-time junior singles champion at the French Championships, and Ilse Buding.

She won the 1961 U.S. Women's Clay Court Championships singles title after a three-sets victory in the final against Karen Hantze.

In 1964, she received the Silbernes Lorbeerblatt (Silver Laurel Leaf), the highest sports award in Germany.

Buding is the first opponent to play Chris Evert at the US Open. Evert won their 1971 match 6–1, 6–0.

Buding died in 2014 in Aalen, Germany.

Robert Howe (tennis)
Robert (Bob) Howe (3 August 1925 – 30 November 2004) was an Australian tennis player. Although he won 29 singles titles, his main successes were achieved in the doubles competition. He won four mixed doubles Grand Slam titles, including the Wimbledon mixed doubles championship in 1958.
Caerphilly Athletic F.C.
Caerphilly Athletic F.C. is a Welsh football club based in Caerphilly. The team currently plays in the Ardal SE League.

The club have competed in the Welsh Cup, reaching the second round in 2017–18, where they lost to Penrhyncoch.

Dynamo Aber F.C. was founded in 2007, initially playing in Sunday league and local five-a-side competitions. They then played in the Taff Ely & Rhymney Valley Alliance League, and after winning the league in 2013–14 they were promoted to the South Wales Amateur League. In 2015 it became the South Wales Alliance League and in 2016 they were promoted to Division One. In 2017 they renamed to Caerphilly Athletic.

In 2025, the club was promoted to the Ardal South East, which is at the third tier of Welsh football.

South Wales Amateur League
The South Wales Amateur League was a former football league in South Wales. The league consisted of two divisions, named Divisions One and Two. Division One was a feeder to the Welsh Football League Division Three, and sat at level 5 of the Welsh football pyramid.
Retinal vessel analysis
Retinal vessel analysis is a non-invasive method to examine the small arteries and veins in the retina which allows to draw conclusions about the morphology and the function of small vessels elsewhere in the human body. Retinal vessel analysis is conducted mainly by ophthalmologists, cardiologists, neurologists and other medical specialities dealing with vascular diseases.

Artery
An artery (from Greek  ἀρτηρία (artēríā)) is a blood vessel in humans and most other animals that takes oxygenated blood away from the heart in the systemic circulation to one or more parts of the body. Exceptions that carry deoxygenated blood are the pulmonary arteries in the pulmonary circulation that carry blood to the lungs for oxygenation, and the umbilical arteries in the fetal circulation that carry deoxygenated blood to the placenta. It consists of a multi-layered artery wall wrapped into a tube-shaped channel.

Arteries contrast with veins, which carry deoxygenated blood back towards the heart; or in the pulmonary and fetal circulations carry oxygenated blood to the lungs and fetus respectively.
2013–14 Ottawa Senators season
The 2013–14 Ottawa Senators season was the team's 22nd season in the National Hockey League (NHL). The 2013–14 season was the first season of a re-organization by the NHL of its divisions. Ottawa was placed in a new Atlantic Division with the Boston Bruins, Buffalo Sabres, Detroit Red Wings, Florida Panthers, Montreal Canadiens, Tampa Bay Lightning and Toronto Maple Leafs. The Senators failed to qualify for the 2014 Stanley Cup playoffs.

This was also the team's first season since 1993–94 without long-time captain and Senators legend Daniel Alfredsson. Alfredsson signed with the Detroit Red Wings in July 2013 and played his final season there before retiring from the NHL in late 2014.

1993–94 Ottawa Senators season
The 1993–94 Ottawa Senators season was the National Hockey League (NHL) club's second season. It was an improvement by the club, as they finished with 13 more points than in the 1992–93 expansion season, as the club ended the season with a 14–61–9 record for 37 points. Even so, they had the worst record in hockey for the second consecutive year. They are the last team so far to finish with 60 or more losses in a season.
Malcolm Nofal
Malcolm Nofal (born 18 September 1991) is a South African cricketer.  He made his first-class debut for Gauteng in the 2010–11 CSA Provincial Three-Day Challenge on 28 October 2010 and played for the South Africa Under-19s at the 2010 Under-19 Cricket World Cup in New Zealand.

In January 2018, he scored his first century in List A cricket, while playing for Wellington in the 2017–18 Ford Trophy in New Zealand. In March 2018, he scored his maiden century in first-class cricket, batting for Wellington in the 2017–18 Plunket Shield season. He went on to score 179 runs before being dismissed. In June 2018, he was awarded a contract with Wellington for the 2018–19 season.

Nofal emigrated to Wellington, New Zealand in 2015 after finding it too difficult to break through in South African cricket. However, he returned to South Africa in 2020, and signed to play in the Leinster League in Ireland for the 2022 season.

Gauteng cricket team
Gauteng (formerly Transvaal) is the first-class cricket team of the southern parts of Gauteng province of South Africa. The team was called Transvaal from April 1890 to April 1997 (the area north of Johannesburg, including Pretoria being part of the Northerns, formerly Northern Transvaal). Under the main competition's various names – the Currie Cup, then the Castle Cup, now the SuperSport Series – Transvaal/Gauteng cricket team has been the most successful of the South African domestic sides, winning 25 times. The club's most glorious period was the 1980s when they were dubbed the "Mean Machine".

For the purposes of the SuperSport Series, Gauteng merged with North West (formerly Western Transvaal) to form the Highveld Lions or, more simply, "the Lions" (from October 2004 to 2021).
S.V. Jai Hanuman
Sporting Vereniging Jai Hanuman is a Surinamese football club based in Livorno. The club presently competes in the Eerste Klasse, the 2nd tier of Surinamese football. The club is a part of the Livorno Sportorganisatie (LSO), and the owner is V. Hardwarsing.

Named after the Hindu God Hanuman, Jai Hanuman earned promotion into the Hoofdklasse after winning the Surinamese Eerste Klasse in 2006. They finished in 5th place in the 2006–07 Hoofdklasse season, with Brazilian striker Alex Pereira Soares finishing as the league's top goal scorer with 28 goals scored.

Football in Suriname
Football is the most popular sport in Suriname, with around 55% of the people in the country considered football fans. The sport of football in the country of Suriname is run by the Surinamese Football Association. The association administers the national football team, as well as the national football league.

Since the launch of professional football on February 22, 2024, ten teams are competing in the professional Suriname Major League.
Roberta Ratzke
Roberta Silva Ratzke (Brazilian Portuguese: [ʁoˈbɛɾtɐ ˈsiwvɐ ˈʁatski]; born 28 April 1990) is a Brazilian volleyball player for the Brazilian national team. She competed for Brazil at the 2020 Summer Olympics, winning a silver medal, and the 2024 Summer Olympics, winning a bronze medal.

Brazil women's national volleyball team
The Brazil women's national volleyball team is administered by the Confederação Brasileira de Voleibol (CBV) and takes part in international volleyball competitions. With a tally of 46 titles the Brazil women's volleyball national team is one of the most successful national teams of all time. They have won 6 olympic medals including two gold medals, in the 2008 Summer Olympics and in 2012 Summer Olympics. They also hold the record of FIVB World Grand Prix championship titles having won the competition 12 times. In regional competitions they have won gold four times in the Pan American Games, and have 23 titles in the Women's South American Volleyball Championship.

The most successful coaches for Brazil are Bernardo Rezende, who led the team from 1990 to 2000, and José Roberto Guimarães, who has managed the team since 2004. Currently the team is ranked second in the FIVB World Rankings as of June 2025.
Jochen Seitz
Jochen Seitz (born 11 October 1976) is a German professional football manager and former player. He currently serves as the manager for 1. FC Lokomotive Leipzig.

Seitz played professionally in his country for Hamburger SV, SpVgg Unterhaching, VfB Stuttgart, FC Schalke 04, Kaiserslautern, TSG Hoffenheim and Alemannia Aachen. Towards the end of his career, he had a two-year stint at Bulgarian side Chernomorets Burgas.

Alemannia Aachen
Aachener Turn- und Sportverein Alemannia 1900 e. V., short Alemannia Aachen (German pronunciation: [aleˈmani̯aː ˈʔaːxn̩]), is a German football club from the western city of Aachen, North Rhine-Westphalia. A long-term fixture of the country's second division, Alemannia enjoyed a three-year turn in the Bundesliga in the late 1960s and, after a successful 2005–06 campaign, returned to the first division for a single season. The club slipped to third-division play and in late 2012 entered into bankruptcy. They finished their 2012–13 3. Liga schedule before resuming play in the tier IV Regionalliga West in 2013–14.

In the 2023–24 Regionalliga, Alemannia finished 1st in the West Group, which got them immediately promoted to the 2024–25 3. Liga.

Alemannia carries the nickname "the potato beetles" (Kartoffelkäfer) because of their traditionally striped yellow-black jerseys, which make them look like the particular insects. The home of Alemannia is the Tivoli.
Target Luna
Target Luna was a British television serial broadcast by ABC Weekend TV in April 1960. It was written by Malcolm Hulke and Eric Paice, directed by Adrian Brown and produced by Sydney Newman who later co-created Doctor Who for the BBC. The first serial featured Frank Finlay as Conway Henderson and Michael Craze as Geoffrey Wedgwood. The success of the Target Luna spawned three sequels: Pathfinders in Space (September 1960), Pathfinders to Mars (December 1960 – January 1961) and Pathfinders to Venus (March 1961), starring Gerald Flood and Stewart Guidotti in the recast roles, as Henderson and Geoffrey respectively.

Companion (Doctor Who)
In the long-running BBC television science fiction programme Doctor Who and related works, the term "companion" refers to a character who travels with, or shares adventures with, the Doctor. A companion is generally the series' co-lead character alongside the Doctor for the duration of their tenure, and in most Doctor Who stories acts as an audience surrogate by providing the lens through which the viewer is introduced to the story, and often, the series itself.

The companion character often furthers the story by asking questions and getting into trouble; also by helping, rescuing, or challenging the Doctor. This designation is applied to a character by the show's producers and appears in the BBC's promotional material and off-screen fictional terminology. The Doctor also refers to the show's other leads as their "friends" or "assistants"; the British press have also used the latter term.
M-type asteroid
M-type (metallic-type, aka M-class) asteroids are a spectral class of asteroids which appear to contain higher concentrations of metal phases (e.g. iron-nickel) than other asteroid classes, and are widely thought to be the source of iron meteorites.

Carbonaceous chondrite
Carbonaceous chondrites or C chondrites are a class of chondritic meteorites comprising at least 8 known groups and many ungrouped meteorites. They include some of the most primitive known meteorites. The C chondrites represent only a small proportion (4.6%) of meteorite falls.

Some famous carbonaceous chondrites are: Allende, Murchison, Orgueil, Ivuna, Murray, Tagish Lake, Sutter's Mill, and Winchcombe.
Alessandra Corti
Alessandra Corti (born 28 December 1961) is a former Italian female middle-distance runner and cross-country runner who competed at individual senior level at the World Athletics Cross Country Championships (1986).

World Athletics Cross Country Championships
World Athletics Cross Country Championships is the most important competition in international cross country running. Formerly held annually and organised by World Athletics (formerly the IAAF), it was inaugurated in 1973, when it replaced the International Cross Country Championships. It was an annual competition until 2011, when World Athletics changed it to a biennial event.
Thuringbert, Count of Hesbaye
Thuringbert (c. 735–770), Count in Wormsgau, was a brother of Cancor, a count who was associated with the Abbey of Lorsch. He was therefore possibly a son of Cancor's mother Williswinda and perhaps her only known husband, who was named Robert, and may therefore have been the Robert, who was Count or Duke in the Hesbaye.

Thuringbert and his wife (name unknown) had one child:

Robert

Thuringbert was succeeded as Count of Hesbaye by his son Robert.

Lorsch Abbey
Lorsch Abbey, otherwise the Imperial Abbey of Lorsch (German: Reichsabtei Lorsch; Latin: Laureshamense Monasterium or Laurissa), is a former Imperial abbey in Lorsch, Germany, about 10 km (6.2 mi) east of Worms. It was one of the most important monasteries of the Carolingian Empire. Even in its ruined state, its remains are among the most important pre-Romanesque–Carolingian style buildings in Germany.

Its chronicle, entered in the Lorscher Codex compiled in the 1170s (now in the state archive at Würzburg), is a fundamental document for early medieval German history. Another famous document from the monastic library is the Codex Aureus of Lorsch.

In 1991 the ruined abbey was listed as a UNESCO World Heritage Site because of its architectural and historical importance.  The significant remains visible today are the 9th-century Torhalle (gatehouse), part of the abbey church, some of the wall around the abbey, and other walls and parts of buildings adapted to modern use.