---

More related articles

• Semantic reasoner

  A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software

• Stephen M. Reasoner

  Stephen M. Reasoner (May 7, 1944 – August 14, 2004) was a United States District Judge

• Harry Reasoner

  Harry Truman Reasoner (April 17, 1923 – August 6, 1991) was an American journalist for ABC and CBS

• Mike Reasoner

  Michael J. "Mike" Reasoner (born August 17, 1960) is a former state representative for Iowa's 95th

• USS Reasoner

  USS Reasoner (FF-1063) was a Knox-class frigate of the United States Navy, named in honor of 1st Lt

• James Reasoner

  James Reasoner (5 June 1953) is an American writer. He is the author of more than 350 novels

• Frank S. Reasoner

  Frank Stanley Reasoner (16 September 1937 – 12 July 1965) was a United States Marine Corps officer

• Egbert Reasoner House

  The Egbert Reasoner House (also known as Beth Salem) was an historic house located at 3004 53rd

• New Reasoner

  The New Reasoner was a British journal of dissident Communism published from 1957 to 1959 by John

• Vampire (theorem prover)

  Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. So far it has won the "world cup for theorem provers" (the CADE ATP System Competition) in the most prestigious CNF (MIX) division eleven times (1999, 2001–2010).