|
Leo II (theorem Prover)
Leo II (or Leon II) may refer to: People *Leo II (emperor), Byzantine emperor who reigned from January 18 to November 17, 474 *Pope Leo II, pope from August 682 to July 683 *Leon II of Abkhazia (767/68–811/12) * Leo II (1150–1219), King of Armenia, sometimes referred to as Leo I, King of Armenia or Levon I of Armenia, initially known as Prince Leo II *Leo II, King of Armenia (1236–1289), sometimes also referred to as Leo III *Leo II of Halych (d. 1323) Other *Leo II (dwarf galaxy), a dwarf galaxy discovered in 1950 *LEO II (computer), an early commercial programmable computer *Leo II (theorem prover), an automated theorem prover * Leopard 2, a German battle tank {{disambig, hn tr:II. Leo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leo II (emperor)
Leo II ( grc-gre, Λέων, ; 467 – November 474) was briefly Roman emperor in 474. He was the son of Zeno, the Isaurian general and future emperor, and Ariadne, a daughter of the emperor Leo I (), who ruled the Eastern Roman empire. Leo II was made co-emperor with his grandfather Leo I on 17 November 473, and became sole emperor on 18 January 474 after Leo I died of dysentery. His father Zeno was made co-emperor by the Byzantine Senate on 29 January, and they co-ruled for a short time before Leo II died in November 474. The precise date of Leo's death is unknown. History Leo II was born in 467, the son of Zeno, an Isaurian general, and Ariadne, the daughter of then emperor Leo I. He was the maternal grandson of Emperor Leo I and Empress Verina. Leo I, who was becoming increasingly ill, felt obligated to declare a successor to the imperial throne, but passed over his son-in-law on account of his unpopularity. Accordingly, Leo II was made ''caesar'' around October 472, and w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pope Leo II
Pope Leo II ( – 28 June 683) was the bishop of Rome from 17 August 682 to his death. He is one of the popes of the Byzantine Papacy. Described by a contemporary biographer as both just and learned, he is commemorated as a saint in the Roman Martyrology on 28 June (3 July, pre-1970 calendar). Early career Leo was a Sicilian by birth, the son of a man named Paul. He may have ended up being among the many Sicilian clergymen in Rome due to the attacks of the Caliphate on Sicily in the mid-7th century. Leo was known as an eloquent preacher who was interested in music, and noted for his charity to the poor. Papacy Pope Agatho died on 10 January 681, and although Leo was elected within days, he was not consecrated until 17 August 682. The reason may have been due to Agatho's negotiations with Emperor Constantine IV regarding imperial control of papal elections. Constantine IV had already promised Agatho to abolish or reduce the tax that the Popes had been paying to the imperial tre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leon II Of Abkhazia
Leon II ( ka, ლეონ II) was King of Abkhazia from circa 780 to 828. He was the nephew and successor of Leon I of the Anchabadze dynasty and from maternal side grandson of the reigning Khagan of the Khazars (possibly Bihar or Baghatur). Life Leon II exploited existed dynastic union to acquire Lazica in the 770s, as John was dead and Juansher grew old. Towards circa 778, Leon II won his full independence with the help of the Khazars to assumed the title of " King of the Abkhazians''"'' and transferred his capital from Anacopia to the western Georgian city of Kutaisi. According to Georgian annals, Leon subdivided his kingdom into eight duchies: Abkhazia proper, Tskhumi, Bedia, Guria, Racha and Takveri, Svaneti, Argveti, and Kutatisi.Vakhushti Bagrationi, ''The History of Egrisi, Abkhazeti or Imereti'', part 1. Leon II during his life strengthened the contacts with the political circles of Tao-Klarjeti by means of the dynasty marriages. During his reign Abkhazian king ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leo I, King Of Armenia
Leo II (, ''Levon I. Metsagorts''; 1150 – 2 May 1219), also Leon II, Levon II or Lewon II, was the tenth lord of Armenian Cilicia or “Lord of the Mountains” (1187–1198/1199), and the first king of Armenian Cilicia (sometimes as Levon I the Magnificent or Lewon I) (1198/1199–1219). During his reign, Leo succeeded in establishing Cilician Armenia as a powerful and a unified Christian state with a pre-eminence in political affairs. Leo eagerly led his kingdom alongside the armies of the Third Crusade and provided the crusaders with provisions, guides, pack animals and all manner of aid. Under his rule, Armenian power in Cilicia was at its apogee: his kingdom extended from Isauria to the Amanus Mountains. In 1194–1195, when he was planning to receive the title of king, he instituted a union of the Armenian church Armenian may refer to: * Something of, from, or related to Armenia, a country in the South Caucasus region of Eurasia * Armenians, the national people of Arm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leo II, King Of Armenia
Leo II or Leon II (occasionally numbered Leo III; , ''Levon II''; c. 1236 – 1289) was king of the Armenian Kingdom of Cilicia, ruling from 1269''Cambridge Medieval History'', Volume IV, p. 634/1270 to 1289. He was the son of King Hetoum I and Queen Isabella and was a member of the Hetoumid family. Early life Leo was born in 1236, the son of King Hetoum I and Queen Isabella. Hetoum and Isabella's marriage in 1226 had been a forced one by Hetoum's father Constantine of Baberon, who had arranged for Queen Isabella's first husband to be murdered so as to put Constantine's own son Hetoum in place as a co-ruler with Isabella. They had six children, of which Leo was the eldest. One of his sisters was Sibylla of Armenia, who was married to Bohemond VI of Antioch to bring peace between Armenia and Antioch. In 1262, Leo married Keran (Kir Anna), the daughter of Prince Hetoum of Lampron. In 1266, while their father king Hetoum I was away to visit the Mongol court, Leo and his yo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leo II Of Halych
Leo II of Galicia, also known as ''Lev Yurevich'' (unknown – 1323) was Prince of Lutsk and Galicia, one of the last two Rurikid kings of Rus` (r. 1308–1323; according to some sources, 1315–23). He was a member of the senior branch of Monomakhovichi. He was the son of King Yuri I (1252–1308), whom he succeeded on the royal throne of Galicia-Volhynia. After the death of his father, he ruled the kingdom together with his brother Andrew. His mother was Euphemia of Kuyavia. According to most sources, the brothers were co-kings, managing the kingdom together, but there are sources indicating that Lev II was seated in Halych and Andrew in Volodymyr (and yet others stating a similar arrangement, but with the seats reversed), which would seem to imply split jurisdiction. Fighting Lithuania and Tatars The first common letter of Lev II and Andrew dates to August 9, 1316, in which they renewed the union with the Prussian Crusaders (the Teutonic Order, also known as the Teu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leo II (dwarf Galaxy)
Leo II (or Leo B) is a dwarf spheroidal galaxy about 690,000 light-years away in the constellation Leo. It is one of 24 known satellite galaxies of the Milky Way. Leo II is thought to have a core radius of 178 ± 13 pc and a tidal radius of 632 ± 32 pc. It was discovered in 1950 by Robert George Harrington and Albert George Wilson, from the Mount Wilson and Palomar Observatories in California. Recent Findings In 2007 a team of 15 scientists observed Leo II through the 8.2 meter Subaru optical-infrared telescope in Mauna Kea, Hawaii. Over 2 nights, 90 minutes of exposures were taken and 82,252 stars were detected down to a visible magnitude of 26. They found that Leo II consists largely of metal-poor older stars, a sign that it has survived the galactic cannibalism under which massive galaxies (e.g., the Milky Way) consume smaller galaxies to attain their extensive size. Observation at ESO estimates Leo II's mass to be (2.7 ± 0.5)×107 M⊙. See also *Dwarf galaxy *Loc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LEO II (computer)
The LEO I (Lyons Electronic Office I) was the first computer used for commercial business applications. The prototype LEO I was modelled closely on the Cambridge EDSAC. Its construction was overseen by Oliver Standingford, Raymond Thompson and David Caminer of J. Lyons and Co. LEO I ran its first business application in 1951. In 1954 Lyons formed LEO Computers Ltd to market LEO I and its successors LEO II and LEO III to other companies. LEO Computers eventually became part of English Electric Company (EEL), (EELM), then English Electric Computers (EEC), where the same team developed the faster LEO 360 and even faster LEO 326 models. It then passed to International Computers Limited (ICL) and ultimately Fujitsu. LEO series computers were still in use until 1981. Origins and initial design J. Lyons and Co. was one of the UK's leading catering and food manufacturing companies in the first half of the 20th century. In 1947, they sent two of its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automated Theorem Prover
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. Logical foundations While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics. Frege's ''Begriffsschrift'' (1879) introduced both a complete propositional calculus and what is essentially modern predicate logic. His ''Foundations of Arithmetic'', published 1884, expressed (parts of) mathematics in formal logic. This approach was continued by Russell and Whitehead in their influential ''Principia Mathematica'', first published 1910–1913, and with a revised second edition in 1927. Russell and Whitehead thought they could derive all mathematical truth using axioms and inference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leopard 2
The Leopard 2 is a 3rd generation main battle tank originally developed by Krauss-Maffei in the 1970s for the West German army. The tank first entered service in 1979 and succeeded the earlier Leopard 1 as the main battle tank of the West German Army. It is armed with a 120 mm smoothbore cannon, and is powered by a V-12 twin-turbo diesel engine. Various versions have served in the armed forces of Germany and 13 other European countries, as well as several non-European nations, including Canada, Chile, Indonesia, and Singapore. The Leopard 2 was used in Kosovo with the German Army, in Afghanistan with the Dutch, Danish and Canadian contributions to the International Security Assistance Force, and saw action in Syria with the Turkish Armed Forces. There are two main development batches of the tank: the original models up to Leopard 2A4, which have vertically faced turret armour, and the improved batch, namely the Leopard 2A5 and newer versions, which have angled arrow-shape ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Leo II (emperor)")
