hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Metalogic
Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths.

The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the branch of mathematical logic  that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.

Metamathematics
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th century. Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic" (Kleene 1952, p. 59). An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system. An informal illustration of this is categorizing the proposition "2+2=4" as belonging to mathematics while categorizing the proposition "'2+2=4' is valid" as belonging to metamathematics.
Conanicut Island
41°31′00″N 71°23′00″W﻿ / ﻿41.5167°N 71.3833°W﻿ / 41.5167; -71.3833

Conanicut Island (/kəˈnænəkʌt/ kə-NAN-ə-kut) is an island in Narragansett Bay in the American state of Rhode Island. The second-largest in the Bay, it is connected on the east to Newport on Aquidneck Island by the Claiborne Pell Bridge, commonly known as the Newport Bridge, and on the west to North Kingstown on the mainland via the Jamestown-Verrazano Bridge. The town of Jamestown comprises the entire island. The U.S. Census Bureau reported a land area of 24.46 km2 (9.44 sq mi) and a population of 5,622 in 2000.  A tombolo connects the southern part of Conanicut to an extension of the island to the southwest.

Colony of Rhode Island and Providence Plantations
The Colony of Rhode Island and Providence Plantations was an English colony on the eastern coast of North America, founded in 1636 by Puritan minister Roger Williams, at a settlement he originally called Providence Plantations, after his exile from the Massachusetts Bay Colony. Joined by three other settlements soon founded on Narragansett Bay, the colony became a haven for religious dissenters and was known for its commitment to religious freedom and self-governance.

The four Narragansett Bay settlements created an official confederacy through a charter under the Patent of 1643–1644, granted by the English Parliament. It received a more comprehensive Royal Charter in 1663 from King Charles II, which established its government and guaranteed its religious liberties. Rhode Island continued as a self-governing colony until 1776, when it declared independence from Great Britain during the American Revolution, becoming the State of Rhode Island and Providence Plantations.
Stéphane Mallarmé
Étienne Mallarmé (UK: /ˈmælɑːrmeɪ/ MAL-ar-may, US: /ˌmælɑːrˈmeɪ/ mal-ar-MAY; 18 March 1842 – 9 September 1898), known professionally as Stéphane Mallarmé (French: [stefan malaʁme] ⓘ), was a French poet and critic. He was a major French Symbolist poet, and his work anticipated and inspired several revolutionary artistic schools of the early 20th century, such as Cubism, Futurism, Dadaism, and Surrealism.

Barbara Johnson
Barbara Ellen Johnson (October 4, 1947 – August 27, 2009) was an American literary critic and translator, born in Boston.  She was a Professor of English and Comparative Literature and the Fredric Wertham Professor of Law and Psychiatry in Society at Harvard University. Her scholarship incorporated a variety of structuralist and poststructuralist perspectives—including deconstruction, Lacanian psychoanalysis, and feminist theory—into a critical, interdisciplinary study of literature.  As a scholar, teacher, and translator, Johnson helped make the theories of French philosopher Jacques Derrida accessible to English-speaking audiences in the United States at a time when they had just begun to gain recognition in France. Accordingly, she is often associated with the "Yale School" of academic literary criticism.
Bayamón Fútbol Club
Bayamón Fútbol Club is a Puerto Rican professional football club. The team is based in Bayamón and founded in 1999. They play their home games at Juan Ramon Loubriel Stadium. The club is a member of David Villa's DV7 Soccer Academy.

2014 CFU Club Championship
The 2014 CFU Club Championship was the 16th edition of CFU Club Championship, the annual international club football competition in the Caribbean region, held amongst clubs whose football associations are affiliated with the Caribbean Football Union (CFU). The top three teams in the tournament qualified for the 2014–15 CONCACAF Champions League.
Burnham F.C.
Burnham F.C. is a non-League football club based in Burnham in Buckinghamshire, near Slough. They currently compete in the Combined Counties League Premier Division North. The team play in blue and white shirts and white shorts. Home matches are played at The 1878 Stadium, previously known as The Gore, which has been recently redeveloped to include a new 3G pitch, supporter stand and club facilities.

Burnham, Buckinghamshire
Burnham is a large village and civil parish that lies north of the River Thames in southern Buckinghamshire, between the towns of Maidenhead and Slough, about 24 miles west of Charing Cross, London. It is probably best known for the nearby Burnham Beeches woodland.

The village is served by Burnham railway station on the main line between London Paddington and Reading. The M4 motorway passes through the south of the parish.
Raphaël Colantonio
Raphaël Colantonio (born 1971) is a French video game designer, and was the founder and for 18 years president of Arkane Studios. He has served as creative director on several of Arkane's titles, including co-creator with Harvey Smith for the Dishonored series.

Arkane Studios
Arkane Studios SASU is a French video game developer based in Lyon. It was founded in 1999, and released its first game, Arx Fatalis, in 2002. The studio has created the popular Dishonored series as well as developing Prey (2017), Deathloop (2021) and Redfall (2023). The studio's next game, Marvel's Blade, is under development.

Besides Arkane Lyon, Arkane Studios also operated Arkane Studios LLC (traded as Arkane Austin) in Austin, Texas, from July 2006 until its closure in May 2024.
West Coast Heritage Centre
West Coast Heritage Centre (formerly known as the West Coast Pioneers Museum) is a complex of buildings and collections in Main Street of Zeehan, Tasmania in West Coast Tasmania in Australia.

The centre was managed by the company West Coast Heritage Limited in 2016.

Main Street, Zeehan
Main Street (Tasmanian road number C248) is a 3.2-kilometre (2.0 mi) street in the town of Zeehan, on the west coast of the island state of Tasmania, Australia. The street is notable for its late 19th and early 20th century buildings associated with the mining boom of the Zeehan mineral field that shaped the development of the town.
Battle of Ruapekapeka
The Battle of Ruapekapeka took place from late December 1845 to mid-January 1846 between British forces, under command of Lieutenant Colonel Henry Despard, and Māori warriors of the Ngāpuhi iwi (tribe), led by Hōne Heke and Te Ruki Kawiti, during the Flagstaff War in the Bay of Islands, New Zealand.

The battle site was a pā located 20 kilometres (12 mi) southeast of Kawakawa, which was one of the largest and most complex fortifications of its kind in New Zealand; designed specifically to resist British cannon fire. Its earthworks can still be seen.

Eruera Maihi Patuone
Eruera Maihi Patuone (c. 1764 – 19 September 1872) was a Māori rangatira (chief), the son of the Ngāti Hao chief Tapua and his wife Te Kawehau. His exact birth year is not known, but it is estimated that he was at least 108 years old when he died.

His younger brother was Tāmati Wāka Nene. With his father and brother, he was one of the first Māori people to have contact with Europeans when James Cook's ship visited in 1769.
Mariposa Grove
Mariposa Grove is a sequoia grove located near Wawona, California, United States, in the southernmost part of Yosemite National Park. It is the largest grove of giant sequoias in the park, with several hundred mature specimens. Two of its trees are among the 30 largest giant sequoias in the world. The grove attracts about one million visitors annually.

The Mariposa Grove was first visited by non-native people in 1857 when Galen Clark and Milton Mann found it. They named the grove after Mariposa County, California, where the grove is located. Abraham Lincoln signed an Act of Congress on June 30, 1864, ceding Mariposa Grove and Yosemite Valley to the state of California. Criticism of stewardship over the land led to the state's returning the grove to federal control with the establishment of Yosemite National Park.

The grove closed on July 6, 2015, for a restoration project and reopened on June 15, 2018. The Mariposa Grove Museum is listed on the National Register of Historic Places.

Wawona, California
Wawona (formerly Big Tree Station, Clark's Station, Clarks Station, Wah-wo-nah, and Clark's Ranch) is a census-designated place in Mariposa County, California, United States. The population was 111 at the 2020 census.

The community is located entirely within Yosemite National Park, as it preceded the founding of the park as a national recreation area. The number of inhabitants increases dramatically during peak tourist seasons, due to the large number of rental cabins in the town. It is located at 37°32′13″N 119°39′23″W﻿ / ﻿37.53694°N 119.65639°W﻿ / 37.53694; -119.65639, 20 miles (32 km) north of Oakhurst and 26 miles (42 km) south of the center of Yosemite Valley, at an elevation of 3,999 feet (1,219 m).

The ZIP Code is 95389. The community is within area code 209.
Syrdariya District
Syrdariya (Kazakh: Сырдария ауданы, Syrdariia audany) is a district of Kyzylorda Region in southern Kazakhstan. The administrative center of the district is the town of Terenozek. Population: 39,559 (2013 estimate); 38,085 (2009 census results); 39,100 (1999 census results).

Kyzylorda Region
Qyzylorda Region, formerly known as Kyzyl-Orda Region until 1991, is a region of Kazakhstan. Its capital is the city of Qyzylorda, with a population of 234,736. The region itself has a population of 823,251. Other notable settlements include Aral, Kazaly (Kazalinsk) and the Russian-administered Baikonur, which services the Baikonur Cosmodrome. The total area of the province is 226,000 square kilometers (87,000 sq mi).
Adriatic Veneti
The Veneti (sometimes also referred to as Venetici, Ancient Veneti or Paleoveneti to distinguish them from the modern-day inhabitants of the Veneto region, called Veneti in Italian) were an Indo-European people who inhabited northeastern Italy, in an area corresponding to the modern-day region of Veneto, from the middle of the 2nd millennium BC and developing their own original civilization along the 1st millennium BC.

The Veneti were initially attested in the area between Lake Garda and the Euganean Hills; later they expanded until they reached borders similar to those of the current Veneto region. According to the archaeological finds (which also agree with the written sources), the western borders of their territory ran along Lake Garda, the southern ones followed a line that starts from the Tartaro river, follows the Po and reaches Adria, along the extinct branch of the Po of Adria, while the eastern ones reached up to the Tagliamento river.

Veneti (Gaul)
The Veneti (Latin: [ˈwɛnɛtiː], Gaulish: Uenetoi) were a Gallic tribe dwelling in Armorica, in the southern part of the Brittany Peninsula, during the Iron Age and the Roman period.

A seafaring people, the Veneti strongly influenced southwestern Brittonic culture through trading relations with Great Britain. After they were defeated by Junius Brutus Albinus in a naval battle in 56 BC, their maritime commerce eventually declined under the Roman Empire, but a prosperous agricultural life is indicated by archaeological evidence.
John Tuchet, 4th Baron Audley
John Tuchet, 4th Baron Audley, 1st Baron Tuchet (23 April 1371 – 19 December 1408) was an English peer.

John Tuchet, 4th Baron Audley was the son of Sir John Tuchet, called "Baron Audley", and his wife Maud, widow of Sir Richard de Willoughby. His paternal grandparents were Sir John Tuchet (1327—1371) and his wife Joan Audley (1331–1393, daughter of James Audley, 2nd Baron Audley and first wife Lady Joan Mortimer).

In 1391, when his childless great-uncle Nicholas Audley, 3rd Baron Audley died, the Audley Barony was abeyant. Meanwhile, he was created 1st Baron Tuchet in 1403 and received one-third of the share of the barony of Audley.

In 1408 the Barony was revived, and John Tuchet became 4th Baron Audley.

Before 1398, he married Elizabeth Stafford, daughter of Sir Humphrey Stafford and his first wife, Alice Grenville. They had one son, James, and two daughters, Margaret and Elizabeth. John was succeeded by his only son, James Tuchet.

James Audley, 2nd Baron Audley
James Audley, 2nd Baron Audley (8 January 1312/13 – 1 April 1386) of Heighley Castle, Staffordshire, was an English peer. He was the son and heir of Nicholas Audley, 1st Baron Audley (1289–1316) by his wife Joan Martin (died Feb. 1320 / 1 Aug. 1322), who was the daughter of William Martin (died 1324), feudal baron of Barnstaple (in Devon), and Marcher Lord of Kemes (in what later became Pembrokeshire). She was posthumously the eventual sole heiress of her brother William FitzMartin (died 1326) to Barnstaple and Kemes.
L'îlot de La Boisselle
50°01′07″N 2°41′28″E﻿ / ﻿50.0185°N 2.691°E﻿ / 50.0185; 2.691

L'îlot de La Boisselle (French: ilôt meaning "small island") is a small, 3.12-hectare (7.7-acre) historic site in the commune of Ovillers-la-Boisselle in the Somme department in Picardie in northern France. L'îlot was heavily fought over  during the First World War, when it was known as Granathof (German: "shell farm") to the Germans and as Glory Hole to British soldiers. The site is private property and opens to the public by appointment with Claudie Llewellyn (who lives in Montauban-de-Picardie: 06 11 30 76 35).

Peter Barton (historian)
Peter Arthur Barton (born 28 March 1955) is a British military historian, author and filmmaker specialising in trench warfare during World War I. He has published extensively on military mining and aspects of battlefield archaeology on the Western Front, and led archaeological excavations that have been featured in several Time Team episodes. His work has led to the rediscovery of many tunnels, wartime panoramas and mass graves of soldiers.
Fang La
Fang La (simplified Chinese: 方腊; traditional Chinese: 方臘; pinyin: Fāng Là; died 1121) was a Chinese rebel leader who led an uprising against the Song dynasty. In the classical novel Water Margin, he is fictionalised as one of the primary antagonists and nemeses of the 108 Stars of Destiny. He is sometimes associated with Manichaeism but was most likely not a follower of the religion.

Tong Guan
Tong Guan (c. 1054–1126), courtesy name Daofu (Chinese: 道夫), was a Chinese court eunuch, military general, political adviser, and state councillor to Emperor Huizong of the Song dynasty. In the classical novel Water Margin, Tong Guan is fictionalised as a corrupt government official and an enemy of the 108 Stars of Destiny.
Renzo Piano
Renzo Piano OMRI (Italian: [ˈrɛntso ˈpjaːno]; born 14 September 1937) is an Italian architect. His notable works include the Centre Georges Pompidou in Paris (with Richard Rogers, 1977), The Shard in London (2012), Kansai International Airport in Osaka (1994), the Whitney Museum of American Art in New York City (2015), Istanbul Museum of Modern Art in Istanbul (2022), Stavros Niarchos Foundation Cultural Center in Athens (2016) and The New York Times Building in New York City (2007). He was awarded the Pritzker Architecture Prize in 1998.

Piano has served as a senator for life in the Italian Senate since 2013.

NEMO (museum)
NEMO Science Museum (from Latin: Nemo, lit. 'Nobody') is a science centre in Amsterdam, Netherlands. It is located in the Oosterdokseiland neighbourhood in the Amsterdam-Centrum borough, situated between the Oosterdokseiland and the Kattenburg. The museum has its origins in 1923, and is housed in a building designed by Renzo Piano since 1997. It contains five floors of hands-on science exhibitions and is the largest science center in the Netherlands. It attracts around 728,000 visitors annually, which makes it the seventh most visited museum in the Netherlands.
Samizdat
Samizdat (Russian: самиздат, pronounced [səmɨzˈdat], lit. 'self-publishing') was a form of dissident activity across the Eastern Bloc in which individuals reproduced censored and underground makeshift publications, often by hand, and passed the documents from reader to reader. The practice of manual reproduction was widespread, because printed texts could be traced back to the source. This was a grassroots practice used to evade official Soviet censorship.

Censorship in the Soviet Union
Censorship in the Soviet Union was pervasive and strictly enforced.

Censorship was performed in two main directions:

State secrets were handled by the General Directorate for the Protection of State Secrets in the Press (also known as Glavlit), which was in charge of censoring all publications and broadcasting for state secrets

Censorship, in accordance with the official ideology and politics of the Communist Party was performed by several organizations:
Goskomizdat censored all printed matter: fiction, poetry, etc.
Goskino, in charge of cinema
Gosteleradio, in charge of radio and television broadcasting
The First Department in many agencies and institutions, such as the State Statistical Committee (Goskomstat), was responsible for assuring that state secrets and other sensitive information only reached authorized hands.
Bayındır railway station
Bayındır station (Turkish: Bayındır garı) is a railway station in the town of Bayındır, Turkey. The station is served by the Turkish State Railways. 8 trains service the station going eastbound to Ödemiş or Tire and westbound to İzmir. The station was built in 1883 by the Oriental Railway Company and taken over by the Turkish State Railways in 1935.

Bayındır
Bayındır is a municipality and district of İzmir Province, Turkey. Its area is 548 km2, and its population is 40,073 (2022). The central town of the district is situated in the valley of the Küçük Menderes.
Park Yoon-ha
Park Yoon-ha (Korean: 박윤하; born April 17, 1999), also spelled Park Yun-ha, is a South Korean singer signed under Jellyfish Entertainment. She is known for reaching the TOP 6 in the fourth season of the South Korean reality television competition show K-pop Star.

VIXX
VIXX (Korean: 빅스 pronounced "vicks"; acronym for "voice, visual, value in excelsis") is a South Korean boy band formed by Jellyfish Entertainment through the 2012 reality show MyDOL. Originally a sextet, the group is currently composed of four members: N, Leo, Ken and Hyuk—former vocalist Hongbin and rapper Ravi left the group in August 2020 and April 2023, respectively. They are predominantly known as a "concept or performance group" whose music, lyrics, choreography, and overall stage performances are crafted together to tell a story or concept.
2017–18 Ukrainian Football Amateur League
The 2017–18 Ukrainian Football Amateur League season was the 22nd since it replaced the competition of physical culture clubs. The competition started on 5 August 2017.

On 1 August 2017, the AAFU at its website announced the "season's contours". In explanation, AAFU disclosed that it has intention to conduct the competition in three groups that are split based on geographic principle and start it at the end of that week, while the composition of only two groups was confirmed.

FC Krystal Kherson
Krystal Kherson was a professional football club from Kherson in Ukraine that has a long history in the Soviet and then the Ukrainian Leagues.  As of the 2020–21 season, it will play in the Ukrainian First League, the second tier of Ukrainian football, following promotion from the 2019–20 Ukrainian Second League.
Carl Hiaasen
Carl Hiaasen (/ˈhaɪ.əsɛn/; born March 12, 1953) is an American journalist and novelist. He began his career as a newspaper reporter and by the late 1970s had begun writing novels in his spare time, both for adults and for middle grade readers. Two of his novels have been made into feature films, and one has been made into a TV series.

Hiaasen's adult novels are humorous crime thrillers set in Florida. They feature casts of eccentric, sometimes grotesque characters and satirize aspects of American popular culture. Many of the novels include themes related to environmentalism and political corruption in his native state.

Skinny Dip (novel)
Skinny Dip is a caper novel by Carl Hiaasen first published in 2004. It is his 11th work of fiction for adult readers. It is his fifth book featuring the character known as "Skink" and his second novel including the character Mick Stranahan, a former detective. It involves a murder plot and a subsequent attempt to exact revenge against the backdrop of a threat to Florida's Everglades National Park.
Poove Poochudava (TV series)
Poove Poochudava (transl. Come to adorn you with flowers) is a 2017 Indian Tamil language soap opera starring Reshma Muralidharan and Karthick Vasu. It premiered on 24 April 2017 on Zee Tamil. The show is an official remake of Telugu TV series Varudhini Parinayam. This series directed by Rathinam Vasudevan and developed by Team Work Manthra. It is the third longest serial on Zee Tamil after Sembaruthi and Yaaradi Nee Mohini.

Dinesh Gopalsamy
Dinesh Gopalsamy is an Indian Tamil actor. He made his film debut in Thirumanam Enum Nikkah. Then, he debuted in the TV series Mahan aired on 2010. He became popular by acting in the TV series  Poove Poochudava  and  Nachiyarpuram .
Virtual Pool 2
Virtual Pool 2 (acronymed to VP2) is a 3D, first-person sports simulation video game developed by Celeris and released by VR Sports on behalf of Interplay Productions in 1997. It is the third release of the Virtual Pool franchise of computer simulations of pool games developed by Celeris. VP2 is the second main series title in the Virtual Pool series, and would later be released alongside Virtual Pool 1.

Virtual Pool
Virtual Pool is a series of first-person cue sports video games developed by Celeris. The games in the series simulate pool, snooker and carom billiards with a focus on accuracy and improving the player's ability to play the sport in real life. Virtual Pool releases are sold with a money back guarantee to improve a player's external game.
Suburban Conference (Wisconsin)
The Suburban Conference is a former high school athletic conference in Wisconsin, operating from 1925 to 1985 with its membership concentrated in the suburbs of Milwaukee. Its member schools were aligned with the Wisconsin Interscholastic Athletic Association.

Braveland Conference
The Braveland Conference is a former high school athletic conference in Wisconsin, formed in 1953 and ending competition in 1993. Its membership was concentrated in the Milwaukee metropolitan area and members were affiliated with the Wisconsin Interscholastic Athletic Association.