hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory.

Model checking
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems, where the specification contains liveness requirements (such as avoidance of livelock) as well as safety requirements (such as avoidance of states representing a system crash).

In order to solve such a problem algorithmically, both the model of the system and its specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a structure satisfies a given logical formula. This general concept applies to many kinds of logic and many kinds of structures. A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure.
Martin Schindler
Martin Schindler (born 16 August 1996) is a German professional darts player who competes in Professional Darts Corporation (PDC) events, where he is ranked world number sixteen. A professional since 2017, he has won 4 PDC ranking titles. He won 2025 Players Championship 8 and has won three PDC European Tours: the International Darts Open and Swiss Darts Trophy in 2024, and the 2025 Austrian Darts Open.

Nicknamed "the Wall", Schindler is a two-time quarter-finalist in PDC major singles events, reaching the last eight at the World Grand Prix and UK Open, both in 2023. He has represented Germany at the PDC World Cup of Darts, reaching the semi-finals in 2023 and 2025. In his youth career, Schindler finished as the runner-up at the 2018 PDC World Youth Championship and won three Development Tours.

Luke Humphries
Luke Humphries (born 11 February 1995) is an English professional darts player who competes in Professional Darts Corporation (PDC) events, where he is ranked world No. 2; he was ranked world No. 1 from 3 January 2024 to 16 November 2025. Nicknamed "Cool Hand" in the reference to the 1967 film Cool Hand Luke, he won the PDC World Championship in 2024. He has won 8 PDC major titles—ranked joint fifth all-time—and a total of 24 PDC titles.

After winning the 2019 PDC World Youth Championship and eleven PDC Development Tour titles, Humphries reached his first PDC major final at the 2021 UK Open, and won four European Tour titles in 2022. In 2023, Humphries won three PDC major titles. He defeated Luke Littler to claim his maiden World Championship in 2024. That year, he won  
two more PDC major titles, including the World Matchplay. He also won the 2024 World Cup of Darts for England, partnering Michael Smith. Humphries won two more PDC major titles in 2025, including the Premier League.
Cieszyn Silesia
Cieszyn Silesia, Těšín Silesia or Teschen Silesia (Polish: Śląsk Cieszyński [ˈɕlɔ̃sk tɕɛˈʂɨj̃skʲi] ⓘ; Czech: Těšínské Slezsko [ˈcɛʃiːnskɛː ˈslɛsko] ⓘ or Těšínsko [ˈcɛʃiːnsko] ⓘ; German: Teschener Schlesien or Olsagebiet) is a historical region in south-eastern Silesia, centered on the towns of Cieszyn and Český Těšín and bisected by the Olza River. Since 1920 it has been divided between Poland and Czechoslovakia, and later the Czech Republic. It covers an area of about 2,280 square kilometres (880 sq mi) and has about 810,000 inhabitants, of which 1,002 square kilometres (387 sq mi) (44%) is in Poland, while 1,280 square kilometres (494 sq mi) (56%) is in the Czech Republic.

The historical boundaries of the region are roughly the same as those of the former independent Duchy of Cieszyn. Currently, over half of Cieszyn Silesia forms one of the euroregions, the Cieszyn Silesia Euroregion, with the rest of it belonging to Euroregion Beskydy.

Ostrava Basin
The Ostrava Basin (Czech: Ostravská pánev, Polish: Kotlina Ostrawska, German: Ostrauer Becken) is a lowland and a geomorphological mesoregion of the Czech Republic and Poland. It is located in the Moravian-Silesian Region of the Czech Republic and in the Silesian Voivodeship of Poland.
Zob Ahan Esfahan F.C.
Zob Ahan Esfahan Football Club (Persian: باشگاه فرهنگى ورزشى ذوب‌آهن اصفهان, Bâšgâh-e Futbâl-e Zobâhan-e Esfahân) is an Iranian football club based in Fuladshahr, Iran. It competes in the Persian Gulf Pro League.
The team is sponsored by the Isfahan Steel Company, which also goes by the name Zob Ahan. The club's main rival is fellow Isfahani team Sepahan, which is sponsored by the rival steel mill Mobarakeh Steel Company.

Zob Ahan club also has a basketball team, sponsored by the same Isfahan Steel Company, which is one of the teams in the Iranian Super League.

In the 2010 AFC Champions League. Zob Ahan finished as runners-up losing 3–1 to South Korean club Seongnam Ilhwa Chunma in the final.

Zob Ahan has won the Hazfi Cup on four occasions (2002–03, 2008–09, 2014–15 and 2015–16) and have finished as runners-up one time (2000–01). The club has also finished as League runners-up three times (2004–05, 2008–09 and 2009–10) and has won the Iranian Super Cup once (2016).

Saipa F.C.
Saipa Football Club (Persian: باشگاه فوتبال سايپا, Bashgah-e Futbal-e Saipa) is a football club from Tehran, Iran. The team is owned by SAIPA, an Iranian automobile manufacturer. The team has never had a large fanbase. In the 2006–07 season, under the guidance of Ali Daei, Saipa won their only Persian Gulf Cup title. Saipa has also won the Azadegan League twice and the Hazfi Cup once. Saipa is the football club of the multisport Saipa Cultural and Athletic Corporation.
Minister-president
A minister-president or minister president is the head of government in a number of European countries or subnational governments with a parliamentary or semi-presidential system of government where they preside over the council of ministers. It is an alternative term for prime minister, premier, chief minister, or first minister and very similar to the title of president of the council of ministers.

Prussian State Council (Nazi Germany)
The Prussian State Council of Nazi Germany (German: Preußischer Staatsrat) was an advisory body to the Prussian minister president from 1933 to 1945. It was the successor to the Weimar Republic body of the same name that represented the interests of Prussia's provinces in the legislative process. In Nazi Germany its members were either appointed by Prussian minister president Hermann Göring or were members as a result of their official positions in the state of Prussia. The Council met only six times and ceased to exist with the end of Nazi rule in 1945.
Trifluralin
Trifluralin is a common preëmergent selective herbicide, a dinitroaniline.  With about 14 million pounds (6,400 t) used in the United States in 2001, and 3–7 million pounds (1,400–3,200 t) in 2012, it is one of the most widely used herbicides. Trifluralin is also used in Australia, New Zealand, Iran, India, Brazil and previously in the EU. Introduced in 1964, Trifluralin was the first organofluorine compound used as an agrochemical.

Trifluralin is applied to the soil to control annual grass and broadleaf weed species.  It inhibits root development by interrupting mitosis and controls weeds as they germinate. Trifluralin moves very little inside the plant, remaining in the roots.

HRAC classification
The Herbicide Resistance Action Committee (HRAC) classifies herbicides by their mode of action (MoA) to provide a uniform way for farmers and growers to identify the agents they use and better manage pesticide resistance around the world. It is run by CropLife International in conjunction with the Weed Science Society of America (WSSA).
Lewis–Clark State College
Lewis-Clark State College is a public college in Lewiston, Idaho, United States. It was founded 132 years ago in 1893 and has an approximate annual enrollment of 3,600. The college offers more than 130 degrees.

National Association of Intercollegiate Athletics
The National Association of Intercollegiate Athletics (NAIA) established in 1940, is a college athletics association for colleges and universities in North America. Most colleges and universities in the NAIA offer athletic scholarships to their student athletes. Around $1.3 billion in athletic scholarship financial aid is awarded to student athletes annually.

For the 2025–26 season, it has 235 member institutions, of which three are in British Columbia, one in the U.S. Virgin Islands, and the rest in the Contiguous United States, with over 83,000 student-athletes participating. The NAIA, whose headquarters is in Kansas City, Missouri, sponsors 28 national championships. CBS Sports Network, formerly called CSTV, serves as the national media outlet for the NAIA. In 2014, ESPNU began carrying the NAIA Football National Championship.
Gmina Poświętne, Podlaskie Voivodeship
Gmina Poświętne is a rural gmina (administrative district) in Białystok County, Podlaskie Voivodeship, in north-eastern Poland. Its seat is the village of Poświętne, which lies approximately 32 kilometres (20 mi) south-west of the regional capital Białystok.

The gmina covers an area of 114.33 square kilometres (44.1 sq mi), and as of 2006 its total population is 3,761.

Podlaskie Voivodeship
Podlaskie Voivodeship (Polish: województwo podlaskie [vɔjɛˈvut͡stfɔ pɔˈdlaskʲɛ] ⓘ) is a voivodeship in northeastern Poland. The name of the voivodeship refers to the historical region of Podlachia (in Polish, Podlasie), and significant part of its territory corresponds to that region. The capital and largest city is Białystok.

It borders the Masovian Voivodeship to the west, Warmian-Masurian Voivodeship to the northwest, Lublin Voivodeship to the south, Belarus to the east, and Lithuania to the northeast.

The voivodeship was created on 1 January 1999, pursuant to the Polish local government reforms adopted in 1998, from the former Białystok and Łomża Voivodeships and the eastern half of the former Suwałki Voivodeship.
Sukumaran
Edappal Ponnamkuzhi Veettil Parameswaran Sukumaran Nair (10 June 1948 – 16 June 1997), known mononymously as Sukumaran, was an Indian actor and producer of Malayalam films. Sukumaran became a popular film star in Malayalam cinema during the 1970s. He was considered one of the superstar trios of Malayalam cinema during the late 1970s and early 1980s along with Soman and Jayan.

Later, he became known for his character roles and antagonistic roles during the 1980s and 1990s, notably the villain in CID Unnikrishnan B.A., B.Ed. (1994) and Onnaam Muhurtham (1991), playing character roles in films like Souhrudam (1990). In 1978, he won the Kerala State Film Award for Best Actor for his performance in M. T. Vasudevan Nair's Bandhanam. As a producer, he produced such films as Irakal and Padayani.

On 16 June 1997, Sukumaran suffered a massive heart attack and died. He was 49 at the time of his death.

G. Devarajan
Paravoor Govindan Devarajan (1927–2006), popularly known as G. Devarajan or Devarajan master, was an Indian music composer and Carnatic vocalist. He is widely regarded as one of the greatest composers in the history of Malayalam film music, as well as being a highly respected figure among South Indian film musicians as a whole. He scored music for more than 300 Malayalam films, many dramas, and twenty Tamil and four Kannada movies. His collaborations with Vayalar Ramavarma produced the golden era of Malayalam film music and many of his compositions remain evergreen classics in Malayalam. His music in the Tamil film Annai Velankanni has received many accolades. Devarajan received Kerala Government's Best Music Director award five times, among other honours. In 1999, he was honoured with the J. C. Daniel Award, Kerala government's highest honour for contributions to Malayalam cinema.
Obsidian
Obsidian (/əbˈsɪdi.ən, ɒb-/ əb-SID-ee-ən ob-) is a naturally occurring volcanic glass formed when lava extruded from a volcano cools rapidly with minimal crystal growth. It is an igneous rock. Produced from felsic lava, obsidian is rich in the lighter elements such as silicon, oxygen, aluminium, sodium, and potassium. It is commonly found within the margins of rhyolitic lava flows known as obsidian flows. These flows have a high content of silica, giving them a high viscosity. The high viscosity inhibits the diffusion of atoms through the lava, which inhibits the first step (nucleation) in the formation of mineral crystals. Together with rapid cooling, this results in a natural glass forming from the lava.

Obsidian is hard, brittle, and amorphous; it therefore fractures with sharp edges. In the past, it was used to manufacture cutting and piercing tools, and it has been used experimentally as surgical scalpel blades.

Silicon dioxide
Silicon dioxide, also known as silica, is an oxide of silicon with the chemical formula SiO2, commonly found in nature as quartz. In many parts of the world, silica is the major constituent of sand. Silica is one of the most complex and abundant families of materials, existing as a compound of several minerals and as a synthetic product. Examples include fused quartz, fumed silica, opal, and aerogels. It is used in structural materials, microelectronics, and as components in the food and pharmaceutical industries. All forms are white or colorless, although impure samples can be colored and/or opaque.

Silicon dioxide is a common fundamental constituent of glass.
Venus (mythology)
Venus (/ˈviːnəs/; Classical Latin: [ˈwɛnʊs]) is a Roman goddess whose functions encompass love, beauty, desire, sex, fertility, prosperity, and victory. In Roman mythology, she was the ancestor of the Roman people through her son, Aeneas, who survived the fall of Troy and fled to Italy. Julius Caesar claimed her as his ancestor. Venus was central to many religious festivals, and was revered in Roman religion under numerous cult titles.

The Romans adapted the myths and iconography of her Greek counterpart Aphrodite for Roman art and Latin literature. In the later classical tradition of the West, Venus became one of the most widely referenced deities of Greco-Roman mythology as the embodiment of love and sexuality. As such, she is usually depicted nude.

Saturn (mythology)
Saturn (Latin: Sāturnus [saːˈtʊrnʊs]) was a god in ancient Roman religion, and a character in Roman mythology. He was described as a god of time, generation, dissolution, abundance, wealth, agriculture, periodic renewal and liberation. Saturn's mythological reign was depicted as a Golden Age of abundance and peace. After the Roman conquest of Greece, he was conflated with the Greek Titan Cronus. Saturn's consort was his sister Ops, with whom he fathered Jupiter, Neptune, Pluto, Juno, Ceres and Vesta.

Saturn was especially celebrated during the festival of Saturnalia each December, perhaps the most famous of the Roman festivals, a time of feasting, role reversals, free speech, gift-giving and revelry. The Temple of Saturn in the Roman Forum housed the state treasury and archives (aerarium) of the Roman Republic and the early Roman Empire. The planet Saturn and the day of the week Saturday are both named after and were associated with him.
Publius Rutilius Rufus
Publius Rutilius Rufus (158 BC – after 78 BC) was a Roman statesman, soldier, orator and historian of the Rutilia gens, as well as a great-uncle of Gaius Julius Caesar (through his sister Rutilia, Caesar's maternal grandmother). He achieved the highest political office in the Roman Republic when he was elected consul in 105 BC.

During his consulship, he reformed the drill system and improved army discipline. As legate to Quintus Mucius Scaevola, he attempted to protect the inhabitants of Asia from extortion by the equites, which provoked them to raise the accusation of extortion from those provincials. The charge was false, but as the juries were chosen from the equestrian order, he was condemned. He was exiled and went to Smyrna, where he wrote a history of Rome in Greek.

Quintus Caecilius Metellus Numidicus
Quintus Caecilius Metellus Numidicus (c. 155 BC – c. 91 BC) was an ancient Roman statesman and general. He was a leader of the Optimates, the conservative faction of the Roman Senate. He was a bitter political opponent of Gaius Marius. He was consul in 109 BC; in that capacity he commanded the Roman forces in Africa during the Jugurthine War. In 107 BC, he was displaced from his command by Marius. On his return he was granted a triumph and the agnomen Numidicus. He later became a censor, entering into exile in opposition to Marius. Metellus Numidicus enjoyed a reputation for integrity in an era when Roman politics was increasingly corrupt.
Ji Eun-hee
Ji Eun-hee (Korean: 지은희; born 13 May 1986), also known as Eun-Hee Ji, is a South Korean professional golfer who plays on the U.S.-based LPGA Tour. She is also a member of the South Korean KLPGA. She was born in Gapyeong, South Korea.

Amy Olson
Amy Olson née Anderson (born July 10, 1992) is an American former professional golfer who played on the LPGA Tour from 2013 to 2023. She turned professional in 2013 after her collegiate career at North Dakota State University where she won an NCAA record 20 collegiate events.
Colchester, Vermont
Colchester is a town in Chittenden County, Vermont, United States. As of the 2020 census, the population of Colchester was 17,524. It is the third-most populous municipality and most populous town in the state of Vermont. Colchester borders Burlington, Vermont's most populous municipality and is part of its metropolitan area. The town is directly to Burlington's north on the eastern shore of Lake Champlain, to the west of the Green Mountains. The Vermont National Guard is based in the town, and it is also home to Saint Michael's College and the Vermont campus of Southern New Hampshire University.

Milton, Vermont
Milton is a town in Chittenden County, Vermont, United States. As of the 2020 census, the population was 10,723. According to local legend, the town was named after the English poet John Milton, but the name most likely originated from William Fitzwilliam, 4th Earl Fitzwilliam, who held the title Viscount Milton and was a supporter of independence for the colonies during the American Revolution.

Milton has a municipal building, school system, library, police force, fire department, rescue squad, several churches, as well as civic and social organizations. The Town website can be found here: https://www.miltonvt.gov/
Bachelor of Laws
A Bachelor of Laws (Latin: Legum Baccalaureus; LLB) is an undergraduate law degree offered in most common law countries as the primary law degree and serves as the first professional qualification for legal practitioners. This degree requires the study of core legal subjects and jurisprudence to provide a comprehensive understanding of the legal system and its function. The LLB curriculum is designed to impart a thorough knowledge of legal principles, legal research skills, and a sound understanding of the roles and responsibilities of lawyers within society. This degree is often a prerequisite for taking bar exams or qualifying as a practising lawyer, depending on the jurisdiction. Additionally, the LLB program also serves as a foundation for further legal education, such as a Master of Laws (LLM) or other postgraduate studies in law.

USC Gould School of Law
The University of Southern California Gould School of Law located in Los Angeles, California, is the law school of the University of Southern California. The oldest law school in the Southwestern United States, USC Law traces its beginnings to 1896 and became affiliated with USC in 1900. It was named in honor of Judge James Gould in the mid-1960s.
Armour and Company
Armour & Company was an American company and was one of the five leading firms in the meat packing industry. It was founded in Chicago, in 1863, by the Armour brothers led by Philip Danforth Armour. By 1880, the company had become Chicago's most important business and had helped make Chicago and its Union Stock Yards the center of America's meatpacking industry. During the same period, its facility in Omaha, Nebraska, boomed, making the city's meatpacking industry the largest in the nation by 1959. In connection with its meatpacking operations, the company also ventured into pharmaceuticals (Armour Pharmaceuticals) and soap manufacturing, introducing Dial soap in 1948.

Presently, the Armour food brands are split between Smithfield Foods (for refrigerated meat, Armour Meats) and ConAgra Brands (for canned shelf-stable meat products, Armour Star). The Armour pharmaceutical brand is owned by Forest Laboratories.  Dial soap is now owned by Henkel.

Cudahy Packing Company
Cudahy Packing Company (/ˈkʌdəheɪ/ CUD-ə-hey) was an American meat packing company established in 1887 as the Armour-Cudahy Packing Company and incorporated in Maine in 1915. The Cudahy meatpacking business was acquired by Bar-S Foods Company in 1981.
Armin Hofmann
Armin Hofmann (HonRDI) (29 June 1920 – 18 December 2020) was a Swiss graphic designer and design educator, considered one of the most influential figures of Swiss design. Through a regular visiting professorship at Yale University School of Art in 1960–80s, Hofmann introduced the Swiss design style to the United States.

Wolfgang Weingart
Wolfgang Weingart (6 February 1941 – 12 July 2021) was an internationally known graphic designer and typographer. His work was categorized as Swiss typography and he was credited as "the father" of New Wave or Swiss Punk typography.
Sjálvstýri
Sjálvstýri (previously Sjálvstýrisflokkurin) (English: referred to interchangeably as Independence, Self-Government, or Home Rule) is a liberal, autonomist political party on the Faroe Islands. It is currently led by the Mayor of Klaksvík, Jógvan Skorheim.

Nýtt Sjálvstýri traditionally supported greater autonomy for the Faroes within the Kingdom of Denmark, but in 1998 it agreed, as part of a coalition deal with Tjóðveldi and Fólkaflokkurin, to support national independence for the Faroes. Today it supports obtaining independence through gradually increasing Faroese autonomy until the Faroe Islands becomes a de facto independent state.

At the 2008 election to the Løgting, the party won 7.2% of the popular vote and two out of 33 seats. In early elections in 2011, the party's vote fell to 4.2% and it lost one seat. At the 2011 election to the Løgting, the party won 4% of the votes; two members were elected.

Social Democratic Party (Faroe Islands)
The Social Democratic Party (Faroese: Javnaðarflokkurin, lit. 'Equality Party', JF) (Danish: Det socialdemokratiske parti, JF) is a social democratic political party on the Faroe Islands, led by Aksel V. Johannesen.
Łódź Voivodeship
Łódź Voivodeship (Polish: województwo łódzkie [vɔjɛˈvut͡stfɔ ˈwut͡skʲɛ] ⓘ) is a voivodeship (province) of Poland. The province is named after its capital and largest city, Łódź (pronounced [wut͡ɕ]).

Łódź Voivodeship is bordered by six other voivodeships: Masovian to the north and east, Świętokrzyskie to the south-east, Silesian to the south, Opole to the south-west, Greater Poland to the west, and Kuyavian-Pomeranian for a short stretch to the north. Its territory belongs to three historical provinces of Poland – Masovia (in the east), Greater Poland (in the west) and Lesser Poland (in the southeast, around Opoczno).

Gmina Czastary
Gmina Czastary is a rural gmina (administrative district) in Wieruszów County, Łódź Voivodeship, in central Poland. Its seat is the village of Czastary, which lies approximately 13 kilometres (8 mi) east of Wieruszów and 99 km (62 mi) south-west of the regional capital Łódź.

The gmina covers an area of 62.67 square kilometres (24.2 sq mi), and as of 2006 its total population is 4,041.