Stanhope Demonstrator
... that the Stanhope Demonstrator was the first machine to solve problems in logic?
... that the <b id="mwyg"><a href="./Stanhope_Demonstrator" id="mwyw" rel="mw:WikiLink" title="Stanhope Demonstrator">Stanhope Demonstrator</a></b> was the first machine to solve problems in logic?