hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Craig's theorem
In mathematical logic, Craig's theorem (also known as Craig's trick) states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same logician, William Craig.

Well-formed formula
In mathematical logic, propositional logic, and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet, constructed following the defined grammar of a formal language.

The abbreviation wff is pronounced "woof", or sometimes "wiff", "weff", or "whiff".

A formal language can be identified with the set of formulas in the language. A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.
Bread clip
A bread clip is a device that is used to hold plastic bags closed, such as those in which sliced bread is commonly packaged. They are also commonly called bread tags, bread tabs, bread ties, bread buckles, bread-bag clips, or occlupanids. By sealing a bag more securely than tying or folding over its open end, and thus providing a nearly hermetic seal, the contents are preserved longer.

Sliced bread
Sliced bread is a loaf of bread, sliced with a machine and packaged for convenience, as opposed to the consumer cutting it with a knife. It was first sold in 1927, advertised as "the greatest forward step in the baking industry since bread was wrapped". By 1933, around 80% of bread sold in the US was pre-sliced, leading to the popular idiom "greatest thing since sliced bread".
Ohio's 30th senatorial district
Ohio's 30th senatorial district has historically been based in the Ohio Valley.  It now consists of large swaths of eastern and southeastern Ohio and includes the counties of Carroll, Jefferson, Harrison, Belmont, Noble, Monroe, Washington and Meigs as well as portions of Athens and Vinton counties.  It encompasses Ohio House of Representatives districts 94, 95 and 96.  It has a Cook PVI of R+19.  Its current Ohio Senator is Republican Brian Chavez.

Brian Chavez
Brian Chavez is a Republican member of the Ohio Senate representing the 30th district. He was appointed to the seat in 2023 following the resignation of Frank Hoagland.

He studied chemical engineering at the University of New Mexico. He is the manager and owner of Reno Oil and Gas LLC and Chavez Well Service LLC as well as the CEO of Deeprock Disposal Solutions LLC. He previously worked as engineer at Intel.

Prior to his appointment to the Ohio Senate, he was appointed by Ohio Governor Mike DeWine as one of five members of the Ohio Oil and Gas Commission for a term beginning on June 4, 2021.
Komatsu, Ishikawa
Komatsu (小松市, Komatsu-shi) is a city located in Ishikawa Prefecture, Japan. As of 1 March 2018, the city had an estimated population of 108,509 in 42,664 households, and a population density of 290 persons per km2. The total area of the city was 371.05 square kilometres (143.26 sq mi).

Cities of Japan
A city (市, shi) is a local administrative unit in Japan. Cities are ranked on the same level as towns (町, machi) and villages (村, mura), with the difference that they are not a component of districts (郡, gun). Like other contemporary administrative units, they are defined by the Local Autonomy Law of 1947.
Blackburn Museum and Art Gallery
The Blackburn Museum and Art Gallery is the local museum service for the borough of Blackburn with Darwen Borough Council. It is a museum with collections of Christian icons, Egyptian hieroglyphs, and local history, as well as those of the former Lewis Textile Museum.

Blackburn with Darwen
Blackburn with Darwen is a unitary authority area with borough status in the ceremonial county of Lancashire, North West England. The borough includes the towns of Blackburn and Darwen plus a wider rural area which includes the villages of Lower Darwen, Feniscowles, Brownhill and Hoddlesden.
Por México al Frente
Por México al Frente (lit. 'For Mexico to the Front'), also known as Frente Ciudadano por México (Citizen Front for Mexico), Frente Amplio Democrático (Broad Democratic Front), or Frente Amplio Opositor (Broad Opposition Front), was a big tent electoral alliance consisting of the centre-right National Action Party (PAN), as well as the centre-left Party of the Democratic Revolution (PRD) and Citizens' Movement (MC) to compete in the 2018 Mexican general election.

Big tent
A big tent party, or catch-all party, is a political party having members covering a broad spectrum of beliefs. This is in contrast to other kinds of parties, which defend a determined ideology, seek voters who adhere to that ideology, and attempt to convince people towards it.
Barry K. Gills
Barry Keith Gills (born 22 May 1956) is a US-born political economist and sociologist who is Professor of Global Development Studies at the Faculty of Social Sciences, University of Helsinki. He completed a Master's degree at the University of Hawaiʻi at Mānoa in 1983 and a PhD at the London School of Economics in 1995. He was a co-founding editor of the journals Review of International Political Economy and Globalizations, the latter of which he is editor-in-chief. He has served on the editorial board of Third World Quarterly since 1992. Between 2006 and 2013 he was Professor in Politics Department at Newcastle University. In 2019 he received the James N. Rosenau Achievement Award from the International Studies Association for his work related to globalization.

Third World Quarterly
Third World Quarterly is a peer-reviewed academic journal managed by Global South Ltd and published by Taylor & Francis. Its "founding editor" and chair of its editorial board is Shahid Qadir, who is also one of two directors of Global South Ltd. Although the journal's title suggests only four issues per year, it is in fact published monthly. The journal had an impact factor of 2.225 in 2021.
Walter Vrooman
Walter Watkins Vrooman (1869 – 2 December 1909) was an American socialist educationalist who co-founded Ruskin College in Oxford with Charles A. Beard in 1899. He then returned to America, where he set up a second Ruskin College in Trenton, Missouri.

Walter was the son of Judge Hiram Perkins Vrooman and Sarah Buffington. Carl Schurz Vrooman was his younger brother. The family moved to Baltimore, Maryland, where another brother, Hiram Greeley Vrooman, joined the Associate Reformed Church and became a preacher. He also founded the Union for Public Good in conjunction with B. O. Flower.

Amne Grafflin was attracted to the Union for Public Good and accepted the position of secretary. She was the heiress to George W. Grafflin, who was a dry goods and fertilizer merchant. Shortly after her father died, Amne married Walter in February 1897.

Hiram Perkins Vrooman
Hiram Perkins Vrooman (24 July 1828, Schenectady – 8 March 1908, Springfield, Massachusetts was an American pioneer, judge and politician.

Hiram was one of eight children of John Vrooman and Elizabeth Bingham who had both grown up in New York State. John was descended from Hendrick Meese Vrooman,: 3  who was one of the seventeenth century Dutch settlers of Schenectady who had died in the Schenectady massacre. However, in 1837 the family moved to Sylvania, Ohio where John started a farm. This was shortly after the Toledo War had been resolved, with Sylvania being located in the Toledo strip which was absorbed into Ohio.
Gilboa-Conesville Central School
The Gilboa-Conesville Central School District is a small, rural school located in the Northern Catskill Mountains.  There are about 375 students in grades K–12 housed in one building in Gilboa, Schoharie County New York.

There are no villages nor towns within the school district.  The town of Prattsville has the only village atmosphere in the district.  Because no students live within walking distance of the school, almost all take the school bus to school.

Schoharie County, New York
Schoharie County (/skoʊˈhɛəriː/ skoh-HAIR-ee) is a county in the U.S. state of New York. As of the 2020 census, the population was 29,714, making it the state's fifth-least populous county. The county seat is Schoharie. "Schoharie" comes from a Mohawk word meaning "floating driftwood." Schoharie County is part of the Albany-Schenectady-Troy, NY Metropolitan Statistical Area and thus the Capital District of New York. The county is part of the Mohawk Valley region of the state.
Mary Pierce career statistics
This is a list of the main career statistics of French professional tennis player Mary Pierce. She won at least one Grand Slam in each disciplines. In singles, she triumphed at the 1995 Australian Open and later on the 2000 French Open she won titles in both singles and doubles (alongside Martina Hingis). Five years later, she won 2005 Wimbledon Championships alongside Mahesh Bhupathi in mixed doubles. At the Women's Tennis Association (WTA) rankings, she reached career highest of world No. 3 in both singles (1995) and doubles (2000). During her career, she collected total of 29 WTA Tour titles (18 singles, 10 doubles and one in mixed doubles).

2005 Wimbledon Championships – Mixed doubles
Wayne and Cara Black were the defending champions but lost in the second round to Mahesh Bhupathi and Mary Pierce.

Bhupathi and Pierce defeated  Paul Hanley and Tatiana Perebiynis in the final, 6–4, 6–2 to win the mixed doubles tennis title at the 2005 Wimbledon Championships.
Kakagi Lake
Kakagi Lake, also known as Crow Lake, is a lake in both Unorganized Kenora District and the township of Sioux Narrows-Nestor Falls, Kenora District, in Northwestern Ontario, Canada. It is just north of the community of Nestor Falls, and right across Ontario Highway 71 from Stevens Bay on Lake of the Woods. It also feeds Lake of the Woods through a series of lakes starting with Cedartree Lake.

Northwestern Ontario
Northwestern Ontario is a secondary region of Northern Ontario in the Canadian province of Ontario which lies north and west of Lake Superior and west of Hudson Bay and James Bay. It includes most of subarctic Ontario. Its western boundary is the Canadian province of Manitoba, which disputed Ontario's claim to the western part of the region. Ontario's right to Northwestern Ontario was determined by the Judicial Committee of the Privy Council in 1884 and confirmed by the Canada (Ontario Boundary) Act, 1889, of the Parliament of the United Kingdom. In 1912, the Parliament of Canada by the Ontario Boundaries Extension Act gave jurisdiction over the District of Patricia to Ontario, thereby extending the northern boundary of the province to Hudson Bay.
Government of Dallas
The government in Dallas, Texas is primarily vested in the Dallas City Council, Mayor, and City Manager. There is also the Dallas Police Department, Dallas Fire-Rescue, and the Dallas municipal courts. In the 2006–2007 fiscal year, the city's total budget was $2.3 billion.

Mayor of Dallas
The Mayor of the City of Dallas is a member of the Dallas City Council and its presiding officer. The current mayor is Eric Johnson, who has served one term since 2019 and is the 60th mayor to serve in the position. Dallas operates under a city charter that designates the mayor as the official head of city government and a council-manager system where a city council-appointed city manager serves as the chief operating officer of the city.
Sarah Tubman
Sarah Tubman (born August 11, 1988), also known as Sarah Lockman is an American equestrian.

She represented the United States at the 2019 Pan American Games in Lima, Peru where she won team silver and individual gold with her Dutch-bred gelding First Apple.

She represented the United States at the 2023 Pan American Games, winning a gold medal in  Team dressage.

In 2021 Sarah married Canadian rider, trainer and judge Lee Tubman. Together they run a dressage stable in Wellington, Florida.

Equestrian at the 2023 Pan American Games – Team dressage
The team dressage competition of the equestrian events at the 2023 Pan American Games was held on October 23 at the Granaderos Regiment Equestrian School (Escuela de Equitación Regimiento Granaderos) in Quillota, Chile.
Kettleman Hills
The Kettleman Hills is a low mountain range of the interior California Coast Ranges, in western Kings County, California. It is a northwest–southeast trending line of hills about 30 miles long which parallels the San Andreas Fault to the west.

The Kettleman Hills are named (though misspelled) after Dave Kettelman, a pioneer sheep and cattle rancher who grazed his animals there in the 1860s.  The hills, which rise to an elevation of approximately 1,200 ft (370 m), divide the San Joaquin Valley on the east from the much smaller Kettleman Plain to the west. They are the location of the Kettleman North Dome Oil Field.

The Kettleman Hills Hazardous Waste Facility, a large (1,600 acres (650 ha)) hazardous waste and municipal solid waste disposal facility operated by Waste Management, Inc., is located 3.5 mi (5.6 km) southwest of Kettleman City on State Route 41.

Waste Management, Inc.
Waste Management, Inc., doing business as WM, is a waste management company operating in North America. Founded in 1968, the company is headquartered in the Bank of America Tower in Houston, Texas.

The company's network includes 337 transfer stations, 254 active landfills, 97 recycling plants, 135 landfill gas utilization projects, and six power plants. WM serves approximately 21 million residential, industrial, municipal, and commercial customers across the United States, Canada, and Puerto Rico. The company operates the industry's largest trucking fleet, with 26,000 collection and transfer vehicles. WM and its largest competitor, Republic Services, Inc., manage more than half of the garbage collection in the United States.
Reserve Infantry Division of Anhui Provincial Military District
The Reserve Infantry Division of Anhui Provincial Military District(Chinese: 安徽陆军预备役步兵师) is a reserve infantry formation of the People's Liberation Army.

The Reserve Infantry Division of Chu County(Chinese: 滁县陆军预备役步兵师) was activated on November 17, 1983, at Chu County, Anhui. The division was composed of 3 infantry regiments and 1 artillery regiment.

In 1999 the division was reorganized as the Reserve Infantry Division of Anhui. In September 1999, the Anti-Aircraft Artillery Regiment, Reserve Infantry Division of Anhui was activated from the inactivating 102nd Infantry Regiment, 34th Infantry Division.

The division was now composed of:

1st Infantry Regiment - Fuyang, Anhui

2nd Infantry Regiment - Anqing, Anhui

3rd Infantry Regiment - Chaohu, Anhui

Artillery Regiment - Chuzhou, Anhui

Anti-Aircraft Artillery Regiment

Chaohu
Chaohu (Chinese: 巢湖; pinyin: Cháohú) is a county-level city of Anhui Province, China. Situated on the northeast and southeast shores of Lake Chao, from which the city was named, Chaohu is under the administration of the prefecture-level city of Hefei, the provincial capital, and is the latter's easternmost county-level division.
Wathiyaqucha
Wathiyaqucha (Quechua wathiya roasted potatoes, a traditional dish, qucha lake, Hispanicized spelling Bateacocha) is a 4,965-metre-high (16,289 ft) mountain in the Andes of Peru. It is situated in the Lima Region, Cajatambo Province, Gorgor District, and in the Huaura Province, Ambar District. Wathiyaqucha lies between Wanki  in the west and Puka Parya in the east.

Department of Lima
Lima (Spanish pronunciation: [ˈlima]; Jaqaru: Nimaja, [niˈmaxa]) is a department of Peru. Located in the country's central coast, it is administered by a regional government based in Huacho, whose jurisdiction does not include the quasi-autonomous special regime of the province of Lima, coterminous with the country's capital, Lima.
Frank Donovan (politician)
Francis Anthony Donovan (born 28 January 1947) is a former Australian politician who was a member of the Legislative Assembly of Western Australia from 1987 to 1993. A Vietnam veteran, Donovan worked as a social worker before entering politics. He was a member of the Labor Party until 1991, when he resigned to sit as an independent.

Western Australian Labor Party
The Western Australian Labor Party, officially known as WA Labor, is the Western Australian branch of the Australian Labor Party (ALP). It is the current governing party of Western Australia since winning the 2017 state election under Mark McGowan.
Matchett
Matchett is a surname. Notable people with the surname include:

Kari Matchett (born 1970), Canadian actress in television and film

Steve Matchett (born 1962), commentator for American cable TV station SPEED Channel

Stuart Matchett, Australian radio announcer and program director

Thomas Matchett (1826–1900), Ontario businessman and political figure

Charles H. Matchett (1843-1919), American socialist politician

Matchett Herring Coe (1907–1999), American sculptor active in Texas

Charles H. Matchett
Charles Horatio Matchett (May 15, 1843 – October 24, 1919) was an American socialist politician. He is best remembered as the first candidate of the Socialist Labor Party of America for Vice President of the United States in the election of 1892 and as the party's candidate for President of the United States in the election of 1896.
Antonovka Ghetto
The Ghetto in Antonovka (Krichev District) (summer 1941 - December 1941) was a Nazi Jewish ghetto, a place of forced resettlement of Jews from the village of Antonovka in the Molyatichi village council of the Krychaw District of the Mogilev region and nearby settlements, during the persecution and destruction of Jews during the Nazi German occupation of the territory of Belarus in World War II.

Mogilev region
Mogilev region, also known as Mogilev oblast or Mahilyow voblasts, is one of the regions of Belarus. Its administrative center is the city of Mogilev.

Important cities within the region include Mogilev, Asipovichy and Babruysk.
Through the Trees (song)
"Through the Trees" is a song by Australian rock group King Stingray. It premiered on Triple J on 20 March was released on 22 March 2024 as the second single for the band's second studio album, For the Dreams (2024).

Upon release, the group said "On the surface it's a fun travelling song representing adventure, but beneath the surface it talks more deeply on the concept of time and how precious it is. It's about overcoming adversity, coming out the other side, and reaching that breath of fresh air."

At the APRA Music Awards of 2025, the song was nominated for APRA Song of the Year and won Most Performed Rock Work. The song was nominated for the 2025 Environmental Music Prize.

APRA Music Awards of 2025
The APRA Music Awards of 2025 are the 43th annual series, known as the APRA Awards. The awards are given in a series of categories in three divisions and in separate ceremonies throughout the year: the APRA Music Awards, Art Music Awards and Screen Music Awards.

The 20 songs shortlisted for Song of the Year were announced on 6 February 2025. Genre categories were announced on 2 April, with winners announced at the awards ceremony at Melbourne Town Hall on 30 April.
2023 Empire Women's Indoor 3 – Doubles
Lea Bošković and Weronika Falkowska are the defending champions, but Bošković chose play the ITF W25 category Lousada Indoor Open and Falkowska chose not to participate.

Natália Kročková and Tereza Mihalíková won the title, defeating Estelle Cascino and Jesika Malečková in the final, 7–6(9–7), 7–5.

Lea Bošković
Lea Bošković (Croatian pronunciation: [lêa bôʃkoʋitɕ]; born 22 September 1999) is a Croatian tennis player. She has a career-high singles ranking of world No. 158, achieved 9 September 2024, and a best doubles ranking of No. 215, reached on 27 February 2023. Bošković has won seven singles and eight doubles titles on the ITF Circuit.

On the ITF Junior Circuit, she had a career-high combined ranking of 19, achieved on 5 June 2017. In 2017, she reached the US Open girls' doubles final, partnering Wang Xiyu.

Bošković made her Fed Cup debut for Croatia in 2018, and she has a win–loss record of 8–3.
Dušica Žegarac
Dušica Žegarac (Serbian Cyrillic: Душица Жегарац; 15 April 1944 – 24 May 2019) was a Serbian film and television actress. She began acting in 1960 and her first appearance was in France Štiglic's film The Ninth Circle (Deveti krug), for which she won the Golden Arena for Best Actress at the Pula Film Festival, the Yugoslav national film awards.

She won her second Golden Arena for starring in Zdravko Randić's 1971 film Opklada.

In 2014, Žegarac's memoir Kao na filmu was released.

France Štiglic
France Štiglic (12 November 1919 – 4 May 1993) was a Slovenian film director and screenwriter. His 1948 film On Our Own Land was entered into the 1949 Cannes Film Festival. His film The Ninth Circle (1960) was Yugoslavia's submission for the Academy Award for Best Foreign Language Film at the 33rd Academy Awards, where it was shortlisted for the award.
Mikhail Minakov
Mikhail Minakov (Ukrainian: Михайло Анатолійович Мінаков; born on 6 October 1971) is a philosopher, political scholar and historian (researcher of the history of modernity and post-Soviet ideologies), Doctor of Philosophy. His studies focus on human experience, social knowledge, the phenomenon of ideology, political creativity, and the history of modernization.

He is also head of the Ukrainian Research Program at the Kennan Institute (since 2018), professor of philosophy and religious studies at the Kyiv-Mohyla Academy in 2008-2018, chairman of the Kant Society in Ukraine (2013–18), editor-in-chief of the journal Ideology and policy.

Human condition
The human condition can be defined as the characteristics and key events of human life, including birth, learning, emotion, aspiration, reason, morality, conflict, and death. This is a very broad topic that has been and continues to be pondered and analyzed from many perspectives, including those of art, biology, literature, philosophy, psychology, and religion.

As a literary term, "human condition" is typically used in the context of ambiguous subjects, such as the meaning of life or moral concerns.
Deborah H. Gruenfeld
Deborah H. Gruenfeld is an American social psychologist whose work examines the way people are transformed by the organizations and social structures in which they work. She is the author of numerous papers on the psychology of power and group behavior. She is the Joseph McDonald Professor of Organizational Behavior at the Stanford Graduate School of Business, and is also a co-director of the Executive Program for Women Leaders at the same institution, and is a board member of Stanford’s Center for the Advancement of Women’s Leadership. She was the inaugural chairholder of the Moghadam Family Professorship in 2008. She is a board member of the LeanIn Foundation.

Group dynamics
Group dynamics is a system of behaviors and psychological processes occurring within a social group (intragroup dynamics), or between social groups (intergroup dynamics). The study of group dynamics can be useful in understanding decision-making behavior, tracking the spread of diseases in society, creating effective therapy techniques, and following the emergence and popularity of new ideas and technologies. These applications of the field are studied in psychology, sociology, anthropology, political science, epidemiology, education, social work, leadership studies, business and managerial studies, as well as communication studies.