- unifiers
- Unifiers
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
unifiers — n. uniting force, someone or something that unifies … English contemporary dictionary
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Oda Nobunaga — 織田信長 Oda Nobunaga in a 16th century century portrait Born June 23, 1534(1534 06 23 … Wikipedia
Hegemony — (pronEng|hɨˈdʒɛməni (Amer.), IPA|/hɨˈɡɛməni/ (Brit.)) [Clive Upton, Wiliam A. Kretzschmar, Rafal Konopka: Oxford Dictionary of Pronunciation for Current English . Oxford University Press, 2001] ( el. ἡγεμονία hēgemonía ) is a concept that has… … Wikipedia
Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… … Wikipedia
Toyotomi clan — During the Sengoku period in 16th century Japan, the nihongo|Toyotomi clan|豊臣氏|Toyotomi shi began to thrive. Originating in Owari Province, the Toyotomi served as retainers to the Oda clan throughout the Sengoku period. The most influential… … Wikipedia
Double exponential function — A double exponential function (red curve) compared to a single exponential function (blue curve). A double exponential function is a constant raised to the power of an exponential function. The general formula is , which grows much more quickly… … Wikipedia
List of characters from Samurai Warriors — This is a list of characters from the game Samurai Warriors . Other installments to the series have also added other characters to the playable cast. Most of them are based on historical figures.It should also be noted that characters backstories … Wikipedia
Tobago FA Cup — is the foremost association football tournament in Tobago, Trinidad and Tobago.Previous winners*2000 : Grafton Stokely Vale 2 1 King David Enterprise Goal City *2001 : Charlotteville Unifiers *2002 : FC Phoenix 1 1 St. Clair s C.S. [5 4 pen]… … Wikipedia
Nominal terms (computer science) — Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first order terms with support for name binding. Consequently, the native notion of equality between… … Wikipedia