Cities with a population over 1000 database. 2013.
Vladimir Voronkov — Vladimir Petrovich Voronkov ( ru. Владимир Петрович Воронков) (born March 20 1944) was a Soviet/Russian cross country skier who competed in the late 1960 s and early 1970 s, training at the Armed Forces sports society in Moscow. He won the 4 x 10 … Wikipedia
Andrei Voronkov — Infobox Football biography playername= Andrei Voronkov dateofbirth = birth date and age|1989|02|08 cityofbirth = countryofbirth = Soviet Union height = position = striker currentclub = FC Dynamo 2 Kyiv clubnumber = ? years = clubs = caps(goals) … Wikipedia
Vladimir Voronkov — (né le 20 mars 1944) est un ancien fondeur soviétique. Palmarès Jeux Olympiques Épreuve / Édition Grenoble 1968 … Wikipédia en Français
Воронков, Виктор Михайлович — Виктор Михайлович Воронков Дата рождения: 27 декабря 1945(1945 12 27) (66 лет) Место рождения: Ленинград, РСФСР Страна … Википедия
Воронков, Михаил Григорьевич — Михаил Григорьевич Воронков Дата рождения: 6 декабря 1921(1921 12 06) (90 лет) Место рождения: Орёл, РСФСР Страна … Википедия
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
World Chess Championship 1972 — The World Chess Championship 1972 was a match between challenger Bobby Fischer of the United States and defending champion Boris Spassky of the Soviet Union for the World Chess Championship. The match took place in the Laugardalshöll arena in… … Wikipedia
Term indexing — In computer science, term indexing is the task of creating an index of terms and clauses in a collection.Many operations in automatic theorem provers require search in huge collections of terms and clauses. Such operations typically fall intothe… … Wikipedia
Threefold repetition — In chess and some other abstract strategy games, the threefold repetition rule (also known as repetition of position) states that a player can claim a draw if the same position occurs three times, or will occur after their next move, with the… … Wikipedia
Vampire theorem prover — Vampire is an automatic theorem prover for first order classical logic developed in the Computer Science Department of the University of Manchester by Prof. Andrei Voronkov previously together with Dr. Alexandre Riazanov. It has won the world cup … Wikipedia
