…showed first 75 words of 1830 total…

…showed last 75 words of 1830 total…the early 1980s, however, they began successfully to be applied, not just to theorems whose proofs were known, but to the proof of open conjectures in several specialized fields of mathematics (conjectures that humans had formed but which they had been unable themselves to prove): see the articles by Winker and Wos in 1978,lxxxvi by Winker, Wos and Lusk in 1981,lxxxvii by Winker in 1982,lxxxviii by Wos in 1982,lxxxix and Wos and colleagues in 1983.xc