hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Theories of iterated inductive definitions
In set theory and logic, Buchholz's ID hierarchy is a hierarchy of subsystems of first-order arithmetic. The systems/theories  are referred to as "the formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators.

Monotonic function
In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of order theory.
WrestleMania XIV
WrestleMania XIV, also promoted as WrestleMania dX raided, was a 1998 professional wrestling pay-per-view (PPV) event produced by the World Wrestling Federation (WWF; WWE as of 2002). It was the 14th annual WrestleMania and took place on March 29, 1998, at the FleetCenter in Boston, Massachusetts. A total of eight matches were held at the event.

This was the first WrestleMania of the Attitude Era and also the first WrestleMania event since 1986 not to feature Bret Hart, who jumped to the rival World Championship Wrestling the previous year after the Montreal Screwjob. In the main event, "Stone Cold" Steve Austin defeated Shawn Michaels to win the WWF Championship for the first time; Michaels performed despite a severe injury sustained during a match at the Royal Rumble and would not compete again until SummerSlam in 2002. This pay-per-view event was also notable for the involvement of boxer Mike Tyson, who acted as a ring enforcer for the main event.

Paul Bearer
William Alvin Moody (April 10, 1954 – March 5, 2013) was an American professional wrestling manager. He performed in the World Wrestling Federation (WWF, later WWE) under the ring name and gimmick of Paul Bearer, manager of The Undertaker and his storyline son/Undertaker's storyline half-brother, Kane.
Crooked Creek Lake Recreation Area
Crooked Creek Lake Recreation Area is a U.S. Army Corps of Engineers administered site surrounding Crooked Creek Lake in Armstrong County in the U.S. state of Pennsylvania.  The reservoir was created by the construction of the Crooked Creek Dam, authorized by the Flood Control Acts of 1936 and 1938. This project is intended to control flooding along the Allegheny River basin.  The area was previously known as Crooked Creek State Park. The long-distance Baker Trail traverses the recreation area.

Flood Control Act of 1938
The Flood Control Act of 1938 was an Act of the United States Congress signed into law by President Franklin Delano Roosevelt that authorized civil engineering projects such as dams, levees, dikes, and other flood control measures through the United States Army Corps of Engineers and other Federal agencies.  It is one of a number of Flood Control Acts passed nearly annually by the United States Congress.
× Forgetara
× Forgetara is a hybrid nothogenus of orchid. It is a part of the Oncidium alliance hybrids, a cross between Aspasia × Brassia × Miltonia. As of 2017 there are 70 species.

Abbreviation: Fgtra

Culture:

Light: Moderate

Temp.: Intermediate (day 70–80 °F (21–27 °C), night 55–65 °F (13–18 °C))

water: allow to dry out between watering

Flowers: about June to July

Species current:

Fgtra Everglades Pioneer '28 Hurrican' AM/AOS in 2004
(× Miltassia × Aspasia principissa)

Fgtra Everglades Pioneer 'Dottie Kone'

Fgtra Everglades Pioneer 'Talisman Cove'

Forgetara "Mexico"

Brassia
Brassia is a genus of orchids  classified in the subtribe Oncidiinae. It is native to Mexico, Central America, the West Indies, and northern South America, with one species (B. caudata) extending into Florida.

The genus was named after William Brass, a British botanist and illustrator, who collected plants in Africa under the supervision of Sir Joseph Banks. Its abbreviation in the horticultural trade is Brs.
2018 FAI Cup final
The 2018 FAI Cup final was the final match of the 2018 FAI Cup, the national association football cup of the Republic of Ireland. The match took place on Sunday 4 November 2018 at the Aviva Stadium in Dublin,  and was contested by Cork City and Dundalk.

The match was a repeat of the 2015, 2016, and 2017 finals.

The match was broadcast live on RTÉ Two and RTÉ Two HD in Ireland, and via the RTÉ Player worldwide with commentary from George Hamilton.

The crowd of 30,412, was the biggest Cup final attendance since the 36,101 which saw the 2010 final, the first at the Aviva Stadium.

George Hamilton (broadcaster)
George Hamilton (born 2 January 1950) is an Irish broadcaster born in Belfast, Northern Ireland. He is best known as the chief football commentator for RTÉ, for which he also commentates on other sporting events, such as the Olympic Games. He presents a classical music programme on RTÉ lyric fm on Saturdays and Sundays called The Hamilton Scores.
Holzthum
Holzthum (Luxembourgish: Holztem) is a village in the commune of Parc Hosingen, in northern Luxembourg. As of 2025, the village has a population of 339.

The town was once the site of a Late Roman Burgus, which was discovered in 2019 thanks to metal detectorists which yielded treasure trove of Roman solidii at its ruins.

Burgus
A burgus (Latin, plural burgi ) or turris ("tower") is a small tower-like castrum of late antiquity, which was sometimes protected by an outwork and surrounding ditches. Timothy Darvill defines it as "a small fortified position or watchtower usually controlling a main routeway."

Burgus was a term used in the later period of the Roman Empire, and particularly in the Germanic provinces.
Vietnam Idol season 4
The fourth season of Vietnam Idol aired on August 17, 2012. This year sees some major changes in the show's structure. Mỹ Tâm joins the judging panel as the replacement for Siu Black while Quốc Trung and Nguyễn Quang Dũng remains on the panel. Huy Khánh takes over as the host for this season. This season will follow the same format as American Idol season 11. Vietnam Idol used the new title screen and logo with a different font started from Spectacular round.

The winner will receive: 600 million VND in cash ($30,000), 1-year promotion on MTV Vietnam as well as support for making a music video from the channel.

North (band)
North was an Australian boy band established in 2004. Popular primarily in Asia, the group had top ten singles in Thailand, Indonesia, Malaysia, the Philippines, and India. Their debut single was a cover of Peter Cetera's "Glory of Love" which reached No. 1 in both Indonesia and Thailand. North disbanded in 2006.
Daniel Okoh
Most Rev. Daniel C. Okoh is General Overseer of the Christ Holy Church International, a.k.a. Nation Builders, a former vice President of the Christian Association of Nigeria, and President of the Organisation of African Instituted Churches. Daniel Okoh was elected President of the Christian Association of Nigeria (CAN) in July 2022. CAN is the apex body of all Christians in the country, comprising five blocs. He became the first from the OAIC bloc of Christian Association of Nigeria to hold the position.

Organization of African Instituted Churches
The Organization of African Instituted Churches (OAIC) is a Christian ecumenical organization founded in 1978. It is a member of the World Council of Churches. It describes itself as "the representative body that brings together African Independent and Instituted Churches (AICs), offers them a forum for sharing their concerns and hopes, and enables churches to minister effectively to the needs of their members and their communities."
Steeltown
Steeltown is the second studio album by Scottish band Big Country. The album was recorded at ABBA's Polar Studios in Stockholm with Steve Lillywhite producing. It was released on 19 October 1984, in the UK and 29 October 1984, in the United States. It was released on CD only in Germany, as well as remastered and reissued there.

Steeltown is the band's only UK number 1 album, topping the chart for 1 week in October 1984. The title track "Steeltown" was written about the town of Corby, telling how many Scots went to work at the Stewarts & Lloyds steelworks when it opened in 1935, at the height of the Great Depression, but later found themselves unemployed when the steelworks closed in May 1980.

The 1996 reissue contains all of the B-sides from the album's single releases as well as the extended version of non-album single "Wonderland".

"East of Eden" was the only Top 20 single from the album, reaching number 17 in the UK Singles Chart.

Polar Studios
Polar Studios was a recording studio in Stockholm, Sweden, which operated from 1978 through 2004. The studio was formed by ABBA musicians Björn Ulvaeus and Benny Andersson and the band's manager Stig Anderson, owner of the Polar Music recording label.

The studio was used to record the last three ABBA albums, Voulez-Vous, Super Trouper and The Visitors, as well as their two non-LP singles "The Day Before You Came" and "Under Attack". Following the demise of ABBA, all members of the group continued using the studio to record their solo projects.

In addition to ABBA, a range of other well-known artists recorded at Polar. Among the albums to have been recorded at the studio are Led Zeppelin's In Through the Out Door and Genesis' Duke.
Rusher Kimura
Masao Kimura (木村 政雄, Kimura Masao; June 30, 1941 – May 24, 2010) was a Japanese professional wrestler, best known by his ring name Rusher Kimura (ラッシャー木村, Rasshā Kimura). He was a five-time IWA World Heavyweight Champion, making him a five-time world champion.

NWA Americas Tag Team Championship
The NWA Americas Tag Team Championship was a professional wrestling tag team title in the National Wrestling Alliance's NWA Hollywood Wrestling based out of Los Angeles, California.

The championship began as the WWA World Tag Team Championship for Worldwide Wrestling Associates in 1964. However, when WWA became an NWA affiliate on October 1, 1968, its name was changed to NWA Hollywood Wrestling and the title was renamed the NWA Americas Tag Team Championship in January 1969. The title served as the top tag team championship in the promotion until 1979 when it was relegated to serve as a secondary tag title since the company created its own regional version of the NWA World Tag Team Championship. The championship lasted until the promotion closed on December 26, 1982.
2004 UCI Juniors Track World Championships
The 2004 UCI Juniors Track World Championships were the 30th annual Junior World Championships for track cycling held at Los Angeles, in the United States, from 28 July to 4 August.

The Championships had nine events for men (sprint, points race, individual pursuit, team pursuit, 1 kilometre time trial, team sprint, keirin, madison and scratch race) and six for women (sprint, individual pursuit, 500 metre time trial, points race, keirin, scratch race).

Sprint (track cycling)
The sprint or match sprint is a track cycling event involving between two and four riders, though it is usually run as a one-on-one match race between opponents who, unlike in the individual pursuit, start next to each other. Men's sprint has been an Olympic event at every games except 1904 (which had races at seven different distances) and 1912 (which had no track cycling events). Women's sprints have been contested at every Olympics since 1988.
Skull roof
The skull roof or the roofing bones of the skull are a set of bones covering the brain, eyes and nostrils in bony fishes, including land-living vertebrates. The bones are derived from dermal bone and are part of the dermatocranium.

In comparative anatomy, the term is applied to the whole dermatocranium. In general anatomy, the roofing bones may refer specifically to the bones that form above and alongside the brain and neurocranium (i.e., excluding the marginal upper jaw bones such as the maxilla and premaxilla). In human anatomy, the skull roof often refers specifically to the skullcap.

Comparative anatomy
Comparative anatomy is a study of similarities and differences in the anatomy of different species. It is closely related to evolutionary biology and phylogeny (the evolution of species).

The science began in the classical era, continuing in the early modern period with work by Pierre Belon who noted the similarities of the skeletons of birds and humans.

Comparative anatomy has provided evidence of common descent, and has assisted in the classification of animals.
Trout Lake (Wisconsin)
Trout Lake is in Vilas County, Wisconsin, near the towns of Boulder Junction and Arbor Vitae, Wisconsin. With a surface area of 6.208 sq mi (16.079 km2) and a volume of 0.058 cu mi (0.240 km3), Trout Lake is one of the largest lakes in Vilas County. It has 16.1 mi (25.9 km) of shoreline, a large portion of which is undeveloped. There are also seven islands within the lake: Miller Island, Zimmerman Island, Haunted Island, Easter Island, Fisk Island, Chocolate Drop Island, and an unnamed island. It is a dimictic oligotrophic lake that supports a large number of sport fish, which has made it a popular angling destination.

Lake trout
The lake trout (Salvelinus namaycush) is a freshwater char living mainly in lakes in Northern North America. Other names for it include mackinaw, namaycush, lake char (or charr), touladi, togue, laker, and grey trout. In Lake Superior, it can also be variously known as siscowet, paperbelly and lean. The lake trout is prized both as a game fish and as a food fish.  Those caught with dark coloration may be called mud hens.
Intersection curve
In geometry, an intersection curve is a curve that is common to two geometric objects. In the simplest case, the intersection of two non-parallel planes in Euclidean 3-space is a line. In general, an intersection curve consists of the common points of two transversally intersecting surfaces, meaning that at any common point the surface normals are not parallel. This restriction excludes cases where the surfaces are touching or have surface parts in common.

The analytic determination of the intersection curve of two surfaces is easy only in simple cases; for example: a) the intersection of two planes, b) plane section of a quadric (sphere, cylinder, cone, etc.), c) intersection of two quadrics in special cases. For the general case, literature provides algorithms, in order to calculate points of the intersection curve of two surfaces.

Line (geometry)
In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature. It is a special case of a curve and an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points (its endpoints).

Euclid's Elements defines a straight line as a "breadthless length" that "lies evenly with respect to the points on itself", and introduced several postulates as basic unprovable properties on which the rest of geometry was established. Euclidean line and Euclidean geometry are terms introduced to avoid confusion with generalizations introduced since the end of the 19th century, such as non-Euclidean, projective, and affine geometry.
Biler Diary
Biler Diary (Bile's Diary) is 2017 Indian Bengali drama film written and directed by Biswarup Biswas. Starring Biswanath Basu and Samadarshi Dutta, the film provides a peek into the lives of students of residential school Ramakrishna Mission Vidyalaya, Narendrapur through the eyes of a graduate who reminisces about his time there.

Biswanath Basu
Biswanath Basu (or sometimes Biswanath Bose) is an Indian actor and comedian, who predominantly works in the Bengali film industry. In a career spanning over two decades, he has acted in over 80 films and is known for his comic roles.
Sand Hills Light
Sand Hills was an active lighthouse on the shore of Lake Superior is on private property and is currently closed to the public. It is located in Ahmeek in Keweenaw County in the Keweenaw Peninsula, which is the northern part of the Upper Peninsula in Michigan. It was listed in the National Register of Historic Places in 1994.

Keweenaw County, Michigan
Keweenaw County (/ˈkiːwənɔː/, KEE-wə-naw) is a county in the western Upper Peninsula of the U.S. state of Michigan. As of the 2020 census, the county's population was 2,046, making it Michigan's least populous county. It is also the state's largest county by total area, including the waters of Lake Superior, as well as the state's northernmost county. The county seat is Eagle River.

Located at the northeastern end of the Keweenaw Peninsula, Keweenaw County is part of the Houghton, Michigan micropolitan area. Keweenaw County contains two National Park Service units: Isle Royale National Park and Keweenaw National Historical Park. The county is part of Michigan's Copper Country region, an area where copper mining was prevalent from the 1840s to the 1960s.
Thomas Freienstein
Thomas Freienstein (born 9 March 1960) is a German former cyclist. He won the Hessen-Rundfahrt in 1982 and 1984. He competed in the individual road race and the team time trial events at the 1984 Summer Olympics.

Cycling at the 1984 Summer Olympics – Men's team time trial
The men's team time trial cycling event at the 1984 Summer Olympics took place on 5 August and was one of eight cycling events at the 1984 Olympics. The qualification and quarter finals were on 2 August and the semi-finals and finals on 3 August.

The Italian team recorded a dominant victory by winning by 4:10 over Switzerland. The Italian team was one of the first teams to use modern carbon-fiber disc wheels, which are now commonly used in time trials. Their time of 1h 58:28 was the fastest time ever recorded over 100 km in a team time trial, and would have been faster without a flat tire that cost them 20 seconds to change the wheel. The venue was a 15½-mile stretch of the Artesia Freeway.
2019–20 Midland Football League
The 2019–20 Midland Football League season was the 6th in the history of the Midland Football League, a football competition in England. The allocations for Steps 1 to 6 for season 2019–20 were announced by the FA on 19 May. These were subject to appeal, and the Midland Football League's constitution was subject to ratification at the league's AGM on 8 June.

As a result of the COVID-19 pandemic, this season's competition was formally abandoned on 26 March 2020, with all results from the season being expunged, and no promotion or relegation taking place to, from, or within the competition. On 30 March 2020, sixty-six non-league clubs sent an open letter to the Football Association requesting that they reconsider their decision.

Annual general meeting
An annual general meeting (AGM, also known as the annual meeting) is a meeting of the general membership of an organization.

These organizations include membership associations and companies with shareholders.

These meetings may be required by law or by the constitution, charter, or by-laws governing the body. The meetings are held to conduct business on behalf of the organization or company.
Camilla Moroni
Camilla Moroni (born 7 August 2001) is an Italian rock climber. She competed in the 2024 Olympics in the Women's combined event. Moroni won the silver medal in the women's bouldering competition of the 2021 IFSC Climbing World Championships. With her climbing partner Pietro Vidi she free climbed the Pre-Muir Wall of El Capitan in Yosemite National Park. She also was the first woman to complete an ascent of a multi-pitch on Mont Blanc.

El Capitan
El Capitan (Spanish: El Capitán; lit. 'the Captain') is a vertical rock formation in Yosemite National Park, on the north side of Yosemite Valley, near its western end. The granite monolith is about 3,000 feet (914 m) from base to summit along its tallest face and is a world-famous location for big wall climbing, including the disciplines of aid climbing, free climbing, and more recently for free solo climbing.

The top of El Capitan can be reached by hiking out of Yosemite Valley on the trail next to Yosemite Falls, then proceeding west. For climbers, the challenge is to climb up the sheer granite face. There are many named climbing routes, all of them arduous, including Iron Hawk and Sea of Dreams.
Marta Segú
Marta Segú Rueda (born 22 June 1995) is a Spanish field hockey player.

Segú has represented the Spanish junior national team at two Junior World Cups, the first in Mönchengladbach, Germany in 2013, and the second in Santiago, Chile, in 2016. At the 2016 tournament, the Spanish team narrowly missed a medal, finishing in fourth place.

Segú first represented the senior national team in 2015, in a test match against Germany.

Women's FIH Hockey Junior World Cup
The Women's FIH Hockey Junior World Cup, formerly known as the Women's Hockey Junior World Cup, is the field hockey Junior World Cup competition for women. The format for qualification and the final tournament is similar to the men's.

It is organized by the International Hockey Federation and has been played since 1989. The tournament features players who are under 21 years of age and is held once every two years.

Four teams have dominated in past events. Netherlands is the most successful team, having won the tournament six times, followed by Korea and Argentina. Germany have won the tournament once.

In response to the 2022 Russian invasion of Ukraine, the FIH banned Russia from the 2022 Women's FIH Hockey Junior World Cup, and banned Russian and Belarusian officials from FIH events.
Tasmin
Tasmin is a female given name.

People with the name Tasmin include:

Tasmin Archer (born 1963), English pop singer

Tasmin Little (born 1965), English classical violinist

Tasmin Lucia-Khan (born 1980), British journalist and news presenter

Tasmin McMahon (born 1993), Australian long-distance runner

Tasmin Mahfuz (born 1987), American television journalist and news anchor

Tasmin Mitchell (born 1986), American basketball player and coach

Tasmin Pepper (born 1990), South African racing driver

Tasmin Rana, Bangladeshi politician

Tasmin Nicole Stephens (born 2003), known professionally as TTSSFU, English singer-songwriter and guitarist

Tasmin Archer
Tasmin Angela Archer (born 3 August 1963) is a British pop rock singer-songwriter from Bradford, England. Her debut album, Great Expectations (1992), spawned the hit "Sleeping Satellite", which reached No. 1 in the United Kingdom and Ireland. She won the Brit Award for British Breakthrough Act in 1993 and has since released three more studio albums.
Nikolaos Douvas
General Nikolaos Douvas (Greek: Νικόλαος Ντούβας, born 1947) served as Chief of the Hellenic Army General Staff. General Douvas was honourably discharged from the Hellenic Army on March 1, 2006. After his discharge from the army he has been appointed as president at EKO (the biggest Greek state owned oil company).

Hellenic Army General Staff
The Hellenic Army General Staff (Greek: Γενικό Επιτελείο Στρατού, abbrev. ΓΕΣ) is the general staff of the Hellenic Army, the terrestrial component of the Greek Armed Forces. It was established in 1904. Since 1950, the HAGS is subordinated to the Hellenic National Defence General Staff. The Chief of the HAGS (Αρχηγός ΓΕΣ, Α/ΓΕΣ) is the head of the Hellenic Army.
Iriberri
Iriberri is a Spanish surname. Notable people with the surname include:

Hernando Iriberri (born 1960), Filipino retired soldier

Imanol Iriberri (born 1987), Argentine footballer

Luis Aranaz Iriberri (1914–1981), Spanish footballer and manager

Hernando Iriberri
Hernando Delfin Carmelo Arreza Iriberri (born April 22, 1960) is a retired Filipino soldier, and was Chief of Staff of the Armed Forces of the Philippines from July 2015 to April 2016. He had previously been the 56th Commanding General of the Philippine Army since February 7, 2014.