Data modelA data model is an abstract model that organizes elements of data and standardizes how they relate to one another and to the properties of real-world entities. For instance, a data model may specify that the data element representing a car be composed of a number of other elements which, in turn, represent the color and size of the car and define its owner. The corresponding professional activity is called generally data modeling or, more specifically, database design.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Ancient GreeceAncient Greece (Hellás) was a northeastern Mediterranean civilization, existing from the Greek Dark Ages of the 12th–9th centuries BC to the end of classical antiquity (600 AD), that comprised a loose collection of culturally and linguistically related city-states and other territories. Most of these regions were officially unified only once, for 13 years, under Alexander the Great's empire from 336 to 323 BC (though this excludes a number of Greek city-states free from Alexander's jurisdiction in the western Mediterranean, around the Black Sea, Cyprus, and Cyrenaica).
Turks in GermanyTurks in Germany, also referred to as German Turks and Turkish Germans (Türken in Deutschland/Deutschtürken; Almanya'da yaşayan Türkler/Almanya Türkleri), are ethnic Turkish people living in Germany. These terms are also used to refer to German-born individuals who are of full or partial Turkish ancestry. Whilst the majority of Turks arrived or originate from Turkey, there are also significant ethnic Turkish communities living in Germany who come from (or descend from) Southeastern Europe (i.e.
West GermanyWest Germany (Westdeutschland) is the colloquial English term used to indicate the Federal Republic of Germany (FRG; Bundesrepublik Deutschland ˈbʊndəsʁepuˌbliːk ˈdɔʏtʃlant) between its formation on 23 May 1949 and the German reunification through the accession of East Germany on 3 October 1990. During the Cold War, the western portion of Germany and the associated territory of West Berlin were parts of the Western Bloc.
German idealismGerman idealism is a philosophical movement that emerged in Germany in the late 18th and early 19th centuries. It developed out of the work of Immanuel Kant in the 1780s and 1790s, and was closely linked both with Romanticism and the revolutionary politics of the Enlightenment. The period of German idealism after Kant is also known as post-Kantian idealism or simply post-Kantianism. One scheme divides German idealists into transcendental idealists, associated with Kant and Fichte, and absolute idealists, associated with Schelling and Hegel.
Special forcesSpecial forces or special operations forces (SOF) are military units trained to conduct special operations. NATO has defined special operations as "military activities conducted by specially designated, organized, selected, trained and equipped forces using unconventional techniques and modes of employment". Special forces emerged in the early 20th century, with a significant growth in the field during World War II, when "every major army involved in the fighting" created formations devoted to special operations behind enemy lines.
Kind (type theory)In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted and called "type", which is the kind of any data type which does not need any type parameters. A kind is sometimes confusingly described as the "type of a (data) type", but it is actually more of an arity specifier.
History of GermanyThe concept of Germany as a distinct region in Central Europe can be traced to Julius Caesar, who referred to the unconquered area east of the Rhine as Germania, thus distinguishing it from Gaul. The victory of the Germanic tribes in the Battle of the Teutoburg Forest (AD 9) prevented annexation by the Roman Empire, although the Roman provinces of Germania Superior and Germania Inferior were established along the Rhine. Following the Fall of the Western Roman Empire, the Franks conquered the other West Germanic tribes.
Head of stateA head of state (or chief of state) is the public persona who officially embodies a state in its unity and legitimacy. Depending on the country's form of government and separation of powers, the head of state may be a ceremonial figurehead or concurrently the head of government and more (such as the president of the United States, who is also commander-in-chief of the United States Armed Forces). In a parliamentary system, such as the United Kingdom or India, the head of state usually has mostly ceremonial powers, with a separate head of government.
