THE FEATURES OF REALIZATION OF SUBSTITUTION OPERATION FOR CLOUDY SERVICE OF AUTOMATED CONSTRUCTION OF THEOREMS PROVING
The article presents technique of program components realization and technique of presentation medium for cloudy services of theorems proving. There are an example of representation of statements description, variables and formulas by hierarchical homogeneous semantic networks and an example of realization of substitution operation in IACPaaS.
Keywords: theorems proving, statement, variable, formula, substitution, cloudy service, semantic network