OpenLLM-France/wikimedia huggingface dataset:
# Decidability of first-order theories of the real numbers

In mathematical logic, a first-order language of the real numbers is the set of all well-formed sentences of first-order logic that involve universal and existential quantifiers and logical combinations of equalities and inequalities of expressions over real variables. The corresponding first-order theory is the set of sentences that are actually true of the real numbers. There are several different such theories, with different expressive power, depending on the primitive operations that are allowed to be used in the expression. A fundamental question in the study of these theories is whether they are decidable: that is, whether there is an algorithm that can take a sentence as input and produce as output an answer "yes" or "no" to the question of whether the sentence is true in the theory.
The theory of real closed fields is the theory in which the primitive operations are multiplication and addition; this implies that, in this theory, the only numbers that can be defined are the real algebraic numbers. As proven by Tarski, this theory is decidable; see Tarski–Seidenberg theorem and Quantifier elimination. Current implementations of decision procedures for the theory of real closed fields are often based on quantifier elimination by cylindrical algebraic decomposition.
Tarski's decidable algorithm was implemented on electronic computers in the 1950s. Its runtime is too slow for it to reach any interesting results.
Tarski's exponential function problem concerns the extension of this theory to another primitive operation, the exponential function. It is an open problem whether this theory is decidable, but if Schanuel's conjecture holds then the decidability of this theory would follow. In contrast, the extension of the theory of real closed fields with the sine function is undecidable since this allows encoding of the undecidable theory of integers (see Richardson's theorem).
Still, one can handle the undecidable case with functions such as sine by using algorithms that do not necessarily terminate always. In particular, one can design algorithms that are only required to terminate for input formulas that are robust, that is, formulas whose satisfiability does not change if the formula is slightly perturbed. Alternatively, it is also possible to use purely heuristic approaches.
# Blažena Holišová

Blažena Holišová (11 July 1930 – 7 April 2011) was a Czech actress. She starred in the 1969/1970 film Witchhammer under director Otakar Vávra. Holisová died on 7 April 2011. She was 80 years old.

## Partial filmography

* Skola otcu (1957) - Andulka Novotná
* Touha (1958)
* Zivot pro Jana Kaspara (1959) - Jana Vánová
* U nás v Mechově (1960) - Ema Sikulová
* Pohled do ocí (1961) - Hanka Vitáková
* Death is Called Engelchen (1963) - rádová sestra Alzbeta
* Marie (1964)
* Zlatá reneta (1965) - Karla Skálová, Martina sestra
* Dva tygri (1968) - Lebedová
* Witchhammer (1970) - Sattlerová
* Hroch (1973)
* Kdo hledá zlaté dno (1974) - Petrina matka
* Dvacátý devátý (1974) - Marie Zápotocká
* My Brother Has a Cute Brother (1975) - Vránová
* Prodaná nevesta (1976) - Krusinová
* Bájecní muzi s klikou (1979) - vdova Evzenie Slavíková
* Brácha za vsechny penize (1979) - Vránová, matka Zuzany
* Indiáni z Vetrova (1979) - Uklízecka
* Julek (1980) - Director of Arena
* Úteky domu (1980) - Matka
* Pul domu bez zenicha (1981) - Zofie, Francova zena
* Zlatá slepice (1981) - Aunt
* Zahrada deti (1981) - Eliska Vondrová
* Pozor, vizita! (1982) - Katka
* Poslední vlak (1983) - Sanderová
* Slavnosti sněženek (1984) - Francova zena
* Rozpuštěný a vypuštěný (1985) - Matka Hlavácková
* Zátah (1985) - Pokladní
* Kam doskáce ranní ptáce (1987) - domovcine Mrázová
* Mág (1988) - Máchova matka
* Jak básníkům chutná život (1988) - Hubácková
# 2005 Asian Athletics Championships – Women's discus throw

The women's discus throw event at the 2005 Asian Athletics Championships was held in Incheon, South Korea on September 2.

## Results

| Rank | Name | Nationality | #1 | #2 | #3 | #4 | #5 | #6 | Result | Notes |
| | Song Aimin | China | 62.14 | x | 62.31 | 61.93 | 65.15 | 64.51 | 65.15 | CR |
| | Sun Taifeng | China | | | | | | | 59.09 | |
| | Krishna Poonia | India | | | | | | | 57.67 | |
| 4 | Yuka Murofushi | Japan | | | | | | | 56.23 | SB |
| 5 | Seema Antil | India | | | | | | | 53.41 | |
| 6 | Won Sun-Mi | South Korea | | | | | | | 49.79 | SB |
| 7 | Oksana Kot | Uzbekistan | | | | | | | 48.32 | |
| 8 | Du Xianhui | Singapore | | | | | | | 46.40 | |
| 9 | Hong Lei Lei | Macau | | | | | | | 37.62 | |
# World RX of France

The World RX of France is a Rallycross event held in France for the FIA World Rallycross Championship. The event made its debut in the 2014 season, at the Circuit de Lohéac in the town of Lohéac, Bretagne.
In 2019, the event change his name into Bretagne World RX of France.
In 2021, the event change his name again, becoming Bretagne World RX of Lohéac.

## Past winners

| Year | Heat 1 winner | Heat 2 winner | Heat 3 winner | Heat 4 winner | | Semi-Final 1 winner | Semi-Final 2 winner | | Final winner |
| 2014 | Timmy Hansen | Timmy Hansen | Timmy Hansen | Andreas Bakkerud | | Pontus Tidemand | Petter Solberg | | Petter Solberg |
| 2015 | Timmy Hansen | Timmy Hansen | Petter Solberg | Johan Kristoffersson | | Timmy Hansen | Petter Solberg | | Timmy Hansen |
| Year | Qualifying 1 winner | Qualifying 2 winner | Qualifying 3 winner | Qualifying 4 winner | | Semi-Final 1 winner | Semi-Final 2 winner | | Final winner |
| 2016 | Mattias Ekström | Mattias Ekström | Johan Kristoffersson | Johan Kristoffersson | | Andreas Bakkerud | Johan Kristoffersson | | Johan Kristoffersson |
| 2017 | Johan Kristoffersson | Sébastien Loeb | Mattias Ekström | Johan Kristoffersson | | Johan Kristoffersson | Timmy Hansen | | Johan Kristoffersson |
| 2018 | Johan Kristoffersson | Mattias Ekström | Johan Kristoffersson | Johan Kristoffersson | | Mattias Ekström | Andreas Bakkerud | | Johan Kristoffersson |
| 2019 | Toomas Heikkinen | Rokas Baciuska | Andreas Bakkerud | Timmy Hansen | | Andreas Bakkerud | Niclas Grönholm | | Timmy Hansen |
| 2020 | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic | Cancelled due to the COVID-19 pandemic |
| 2021 | Niclas Grönholm | Johan Kristoffersson | Johan Kristoffersson | Timmy Hansen | | Timmy Hansen | Kevin Hansen | | Timmy Hansen |
# Jhungian, SBS Nagar

Jhungian is a village in Shaheed Bhagat Singh Nagar district, Punjab, India. It is located 3.4 kilometres (2.1 mi) away from postal head office Balachaur, 26 kilometres (16 mi) from Nawanshahr, 34.6 kilometres (21.5 mi) from district headquarter Shaheed Bhagat Singh Nagar and 74 kilometres (46 mi) from state capital Chandigarh. The village is administrated by Sarpanch, an elected representative of the village.

## Demography

As of 2011, Jhungian has a total number of five houses, and a population of 16 (eight women and eight men), according to the report published by Census India in 2011. The literacy rate of Jhungian is 76.92%, higher than the state average of 75.84%. The population of children under the age of six years is three, which is 18.75% of the total population of Jhungian, and the child sex ratio is approximately 0 as compared to the Punjab state average of 846.
As per the report published by Census India in 2011, five people were engaged in work activities out of the total population of Jhungian which includes five males and zero females. According to census survey report 2011, 100% workers describe their work as main work and 0% workers are involved in marginal activity providing livelihood for less than six months.

## Education

KC Engineering College and Doaba Khalsa Trust Group Of Institutions are the nearest colleges. Industrial Training Institute for women (ITI Nawanshahr) is 24 kilometres (15 mi). The village is 58 kilometres (36 mi) away from Chandigarh University, 34 kilometres (21 mi) from Indian Institute of Technology and 70 kilometres (43 mi) away from Lovely Professional University.
List of schools nearby:
* K.C. Public School, Nawanshahr
* Gsss Haila, Haila
* Baba Karam Singh Public School, Daulatpur
* U.K. Model High School, Langroya

## Transport

Nawanshahr railway station is the nearest train station however, Garhshankar Junction railway station is 32 kilometres (20 mi) away from the village. Sahnewal Airport is the nearest domestic airport which located 73 kilometres (45 mi) away in Ludhiana and the nearest international airport is located in Chandigarh also Sri Guru Ram Dass Jee International Airport is the second nearest airport which is 178 kilometres (111 mi) away in Amritsar.
# Aniassué

Aniassué (also spelled Agniassué and Aniasué) is a town in eastern Ivory Coast. It is a sub-prefecture of Abengourou Department in Indénié-Djuablin Region, Comoé District.
Aniassué was a commune until March 2012 when it was abolished along with 1,126 others nationwide. In 2014, the population of the sub-prefecture of Aniassué was 40,498.

## Villages

The twelve villages of the sub-prefecture of Aniassué and their population in 2014 are:
* Aniassué (9 325)
* Ahinikro (934)
* Amangouakro (1 921)
* Amian Kouassikro (6 911)
* Anekouadiokro (2 292)
* Assakro (6 734)
* Assemanou (1 709)
* Dallo (1 018)
* Ettienkro (830)
* Kabrankro (1 176)
* N'grakon (2 608)
* Satikran (5 039)
# 1946–47 Montenegrin Republic League

The 1946–47 Montenegrin Republic League was second season of Montenegrin Republic League. The season began in October 1946 and ended in May 1947.

## Season

After Budućnost won the title of 1946 season champion and gained promotion to Yugoslav First League, Lovćen, Sutjeska and Arsenal remained members of Montenegrin First League. New participants of competition were Velimir Jakić and Bokelj. Eight-week long season finished with the very first title for FK Sutjeska. Th team from Nikšić won the first-place battle against FK Bokelj, which lasted until the week 8. Anyway, at the end of season, both teams (Sutjeska and Bokelj) played in qualifiers for Yugoslav First League.

### Table

| Pos | Team | Pld | W | D | L | GF | GA | GD | Pts |
| 1 | Sutjeska (C, Q) | 8 | 6 | 1 | 1 | 19 | 9 | +10 | 13 |
| 2 | Bokelj (Q) | 8 | 5 | 1 | 2 | 14 | 14 | 0 | 11 |
| 3 | Lovćen | 8 | 4 | 1 | 3 | 21 | 13 | +8 | 9 |
| 4 | Arsenal | 8 | 2 | 1 | 5 | 13 | 20 | −7 | 5 |
| 5 | Velimir Jakić | 8 | 1 | 0 | 7 | 5 | 16 | −11 | 2 |

### Results

Sutjeska finished season without one lost game, while FK Velimir Jakić won only one match with seven loses. Most goals (11) was seen on the game Arsenal – Lovćen (3-8).
| Home \ Away | SUT | BOK | LOV | ARS | JAK |
| SUT | | 5–1 | 2–1 | 4–3 | 2–0 |
| BOK | 1–1 | | 2–1 | 2–0 | 2–1 |
| LOV | 2–4 | 4–1 | | 1–1 | 3–0 |
| ARS | 1–0 | 1–2 | 3–8 | | 4–0 |
| JAK | 0–1 | 1–3 | 0–1 | 3–0 | |

### Qualifiers for Yugoslav First League

Sutjeska and Bokelj played in qualifiers for the top-tier. In the first leg, teams from Montenegro played each other. Bokelj was eliminated in first leg, and Sutjeska in second. Below are their results in the qualifiers.
| Round | Team 1 | Team 2 | Home | Away |
| Quarterfinals | Sutjeska Nikšić | Bokelj Kotor | 3:1 | 2:1 |
| Semifinals | Sutjeska Nikšić | Torpedo Sarajevo | 2:2 | 1:6 |

## Higher leagues

On inaugural season of Yugoslav football system, there was only one competition. That was 1946–47 Yugoslav First League, and Budućnost was a representative of SR Montenegro in top-tier.
# Kolkwitz Süd station

Kolkwitz Süd station is a railway station in the southern part of the municipality of Kolkwitz, located in the Spree-Neiße district in Brandenburg, Germany.
# Decide!

Decide! (Decidere!) was an Italian libertarian political association established and led by Daniele Capezzone.
The group was sometimes also referred to as Decidere.net, in reference to its official website. It was one of the founding members of Silvio Berlusconi's The People of Freedom party. Capezzone was later appointed spokesman of the new party.

## History

Decide! was launched in June 2007 by Daniele Capezzone, former secretary of the Italian Radicals and member of the Chamber of Deputies for the Rose in the Fist, before leaving both. At the beginning the association was affiliated neither to centre-left The Union, from which Capezzone hailed, nor to the centre-right House of Freedoms, but it seemed definitely closer to the latter. Capezzone himself became closer to Forza Italia's leader Silvio Berlusconi and was harshly critical of Prodi II Cabinet, which he did not support anymore.
Decide! was officially presented to the public on 3 September 2007 and organized two major rallies: the first one on pensions (Rome, 22 September) and the second one on taxes (Milan, 29 September). On 7 November Capezzone finally left the Italian Radicals and the Rose in the Fist.
On 12 May 2008 Capezzone was appointed spokesman of Forza Italia. A year later, after that he had led Decide! into The People of Freedom led by Berlusconi, Capezzone was appointed spokesman of the new party.

## Ideology

The association had a political platform based on 13 points, which included a flat tax at 20%, fiscal federalism, presidentialism and first-past-the-post electoral system, liberalizations and privatizations. The association had its focus principally on economic issues and had ties with the Bruno Leoni Institute and the Italian Liberal Party (2004).

## Members

Leading members of Decide! included Giovanni Orsina, Giancarlo Pagliarini, and Andrea Romano.
# Inferior petrosal sulcus

The inferior petrosal sulcus is the groove containing the inferior petrosal sinus.
The inferior petrosal sulcus is formed by the junction of the petrous part of the temporal bone of the skull with the basilar part of the occipital bone. It begins in the postero-inferior part of the cavernous sinus, and, passing through the anterior part of the jugular foramen, ends in the superior bulb of the internal jugular vein. The inferior petrosal sinus receives the internal auditory veins and also veins from the medulla oblongata, pons, and under surface of the cerebellum.
The exact relation of the parts to one another in the jugular foramen is as follows: the inferior petrosal sinus lies medially and anteriorly with the meningeal branch of the ascending pharyngeal artery, and is directed obliquely downward and backward; the transverse sinus is situated at the lateral and back part of the foramen with a meningeal branch of the occipital artery, and between the two sinuses are the glossopharyngeal, vagus, and accessory nerves. These three sets of structures are divided from each other by two processes of fibrous tissue. The junction of the inferior petrosal sinus with the internal jugular vein takes place on the lateral aspect of the nerves.
# 2005 Asian Athletics Championships – Women's 400 metres

The women's 400 metres event at the 2005 Asian Athletics Championships was held in Incheon, South Korea on September 1–3.

## Medalists

| Gold | Silver | Bronze |
| Manjeet Kaur India | Sathi Geetha India | Asami Tanno Japan |

## Results
### Heats

| Rank | Heat | Name | Nationality | Time | Notes |
| 1 | 2 | Satti Geetha | India | 52.83 | Q |
| 2 | 1 | Tatyana Khadjimuratova | Kazakhstan | 53.00 | Q |
| 3 | 1 | Manjeet Kaur | India | 53.12 | Q |
| 4 | 2 | Olga Tereshkova | Kazakhstan | 53.20 | Q |
| 5 | 1 | Asami Tanno | Japan | 53.44 | Q |
| 6 | 2 | Menike Wickramasinghe | Sri Lanka | 54.05 | Q |
| 7 | 2 | Zhong Shaoting | China | 54.42 | q |
| 8 | 1 | Xie Qing | China | 54.78 | q |
| 9 | 2 | Mayu Sato | Japan | 55.30 | |
| 10 | 1 | Mary Grace Melgar | Philippines | 55.48 | |
| 11 | 2 | Choi Ju-Young | South Korea | 59.20 | |
| 12 | 1 | Park Jong-Kyung | South Korea | 1:00.41 | |
| 13 | 2 | Batgereliin Möngöntuyaa | Mongolia | 1:00.81 | |

### Final

| Rank | Name | Nationality | Time | Notes |
| | Manjeet Kaur | India | 51.50 | SB |
| | Satti Geetha | India | 51.75 | PB |
| | Asami Tanno | Japan | 52.91 | |
| 4 | Tatyana Khadjimuratova | Kazakhstan | 52.96 | |
| 5 | Olga Tereshkova | Kazakhstan | 52.99 | SB |
| 6 | Menike Wickramasinghe | Sri Lanka | 53.80 | |
| 7 | Zhong Shaoting | China | 54.21 | |
| 8 | Xie Qing | China | 55.11 | |
# Thomas Lamarre

Thomas Mark Lamarre (born 1959) is an American-Canadian academic, author, Japanologist and professor at the University of Chicago in the Department of Cinema and Media Studies.

## Education

LaMarre was awarded a bachelor's degree in Biology in 1981 at Georgetown University. He continued his studies in science and the Université de la Méditerranée Aix-Marseille II in France, earning a Master's equivalent degree in Oceanology in 1982, and a doctorate equivalent in Oceanology in 1985.
LaMarre then entered a second doctorate program at the University of Chicago, where he earned a master's degree in East Asian Languages and Civilizations in 1987. Chicago granted his second doctorate in 1992.

## Career

In addition to teaching, LaMarre is the Major Undergraduate Program Director in the Department of East Asian Studies at McGill. His on-going areas of research encompass "an emphasis on new modes of spectatorship (fan cultures), production (cooperatives and multi-authorship), aesthetics (multiplanar images), narrative (myth and epic) and distribution (globalization)."

## Selected works

In a statistical overview derived from writings by and about Thomas LaMarre, OCLC/WorldCat encompasses roughly six works in ten publications in one language and 600+ library holding.
* Can Writing Go on Without a Mind? Orality, Literacy, Ideography, Japanology (1994)
* Uncovering Heian Japan: an Archaeology of Sensation and Inscription (2000)
* Project Insider (2000)
* Impacts of Modernities (2004)
* Shadows on the Screen: Tanizaki Jun'ichirō on Cinema and "Oriental" Aesthetics (2005)
* The Anime Machine: A Media Theory of Animation (2009)
* The Anime Ecology: A Genealogy of Television, Animation, and Game Media (2018)

## Honors

* Association for Asian Studies, John Whitney Hall Book Prize, 1999.
# Alan Placek

Alan Placek is a former American soccer player who played in the USISL Premier League, National Professional Soccer League, and the Canadian Professional Soccer League.

## Playing career

Placek played four years of college soccer at Butler University.
Placek began his professional career in 1996 with the Mid-Michigan Bucks in the USISL Premier League. During his first tenure with the Bucks he helped the club win their division title in 1997. In 1998, he signed with the Detroit Rockers of the National Professional Soccer League, where he appeared in 32 matches. In 1999, he returned to Michigan helping the club to win two division titles. In 2004, Placek signed with the newly formed Windsor Border Stars of the Canadian Professional Soccer League. In his debut season he helped the club reach the final of the Open Canada Cup, where Windsor faced Ottawa St. Anthony Italia and won the tournament by defeating Ottawa 4–2 in penalties. During the regular season he helped Windsor finish third in the Western Conference, and clinch a postseason berth. In the quarterfinals the team faced Toronto Croatia, but suffered a 5–0 defeat.
# Scott Wight

Scott Wight (born 5 November 1985) is a Scottish rugby union player. His regular playing position is stand-off. He played for Glasgow Warriors in the PRO12 having previously represented Melrose.

## Club career

Scott started off playing for Melrose RFC playing at 10. During his time at Melrose, Wight captained the Greenyards team to a magnificent haul of Premier 1, Border League and Melrose Sevens titles, and also guided them to the final of the Scottish Cup. He also represented the Scotland Club XV International team.
In 2011, Scott signed with Glasgow Warriors. Since his time there, he has been the third choice stand off behind internationalists Duncan Weir and Ruaridh Jackson. During the 2012 season, he has been a strong contender with Jackson to start with Weir being injured. In May 2013, Wight signed a new one-year contract, saying "I've only ever wanted to stay in Glasgow and I'm very happy to have signed this new deal".
Wight left Glasgow at the end of the 2013–14 season.
He joined the Warriors side again on 25 August 2015, this time on loan from Scotland 7s. This was to provide cover at fly-half throughout the Rugby World Cup period with the injury to Gregor Hunter.

### Coaching

While still an active player, Wight took a step into coaching in April 2017 when he was appointed as coach of the Scotland Women 7s squad, replacing Scott Forrest in the role.

## Reference List

* ↑ "Scott Wight Glasgow Warriors profile". Retrieved 26 October 2012.
* ↑ "Glasgow Warriors (Scott Wight) | Glasgow Warriors". www.glasgowwarriors.org. Archived from the original on 30 April 2013.
* ↑ "Glasgow Warriors stand-off Scott Wight agrees new contract". The Herald. Glasgow.
* ↑ "Glasgow Warriors trio to depart at end of season". The Scotsman.
* ↑ "Wight joins on loan as Warriors leave for Canada". glasgowwarriors.org.
* ↑ "Scotland 7s (Scott Wight) - Scottish Rugby Union". scottishrugby.org.
* ↑ "Scotland Womens' [sic] Sevens appoint Wight". Planet Rugby. 26 April 2017. Retrieved 6 April 2018.
* ↑ Heatly, Gary (26 April 2017). "Scott Wight appointed coach of Scotland Women Sevens side". The Scotsman. Retrieved 6 April 2018.
# Gressitt, Virginia

Gressitt is an unincorporated community in King and Queen County, Virginia, United States.
# Sungai Kluang

Mukim Sungai Kluang or Sungai Keluang (also known as Mukim 12) is a mukim (Malay for subdistrict) located in Batu Pahat District in Johor, Malaysia. Batu Pahat District was divided into 14 mukims, each of which encompasses several villages. The population was 16,591 in 2010. The majority ethics of the population in the Sungai Kluang is Malay (11,854). It border with Mukim Benut, Pontian District in east and Mukim Sungai Punggor in west.

## Settlement

Mukim Sungai Kluang comprises the following populated village, among them are:
* Kampung Belahan Tampok Laut
* Kampung Belahan Tampok
* Kampung Parit Tengah Seri Merlong
* Kampung Parit Tengah Seri Aman
* Kampung Parit Haji Siraj
* Kampung Sungai Merlong
* Kampung Seri Merlong
* Kampung Parit Wak Kawik
* Kampung Parit Haji Noor
* Kampung Sungai Bagan
* Kampung Sungai Bagan Laut
* Kampung Sungai Bagan Darat
* Kampung Parit Daeng Machening
* Kampung Sungai Jambi
* Kampung Sungai Jambi Laut
* Kampung Sungai Jambi Darat
* Kampung Sungai Kluang Laut
* Kampung Sungai Kluang Darat
* Kampung Parit Jalal
* Kampung Parit Latiff
* Kampung Kuala Sungai Rengit
* Kampung Parit Amat
* Kampung Parit Sarpan
* Kampung Parit No. Satu Rengit
* Kampung Parit Masjid
* Kampung Parit Seri Borhan
* Kampung Parit Lapis Seri Borhan
* Kampung Parit Korea Selatan
* Kampung Rengit Laut
* Kampung Parit Lapis
* Kampung Parit Tengah Seri Ladang
* Kampung Parit Besar
* Kampung Parit Gantung
* Kampung Parit Lapis Gantung
The mukim also encompasses the town and housing area:
* Bandar Rengit
* Taman Pandan Jaya 1
* Taman Kavang Muhibbah
* Taman Ria
* Taman Ria Dua/2
* Taman Seri Damai
* Taman Dato Jalal
* Taman Jasa Amir
# Sumra bint Jundab

Sumra bint Jundab (Arabic: سُمرة بنت جندب), also known as Ṣafiyya bint Junaydib (صفية بنت جنيدب), was the first wife of Abd al-Muttalib.
Her father was Jundab (or Junaydib) ibn Hujayr ibn Zabbab (or Riyab) ibn Habib ibn Suwa'a ibn Amir ibn Sa'sa'a ibn Mu'awiyah ibn Bakr ibn Hawazin ibn Mansur ibn Ikrima from the Hawazin tribe.
She married Abd al-Muttalib when he was young. Their son, al-Harith, remained Abd al-Muttalib's only child for many years.