THE STRUCTURE AND PERFORMANCE CAPABILITIES OF A THEOREM PROVING UNIVERSAL ALGORITHM
A theorem is a term of logic. The use of a theorem in modern information systems as the truth proving instrument requires examining the structure and performance capabilities of this term in more details. Special emphasis is put on a theorem proving universal algorithm. The description of such an algorithm and the analysis of its software-based realization will be given below.