RESTRICTED SYNTACTIC EQUIVALENCE AND ADAPTIVE UNIFICATION IN THE EXTENSIBLE MODEL OF THE MATHEMATICAL DIALECT
The article considers the problem of restricted syntactic equivalence check of mathematical expressions as well as the problem of adaptive unification for the extensible model of the mathematical dialect. Some solution algorithms are given in the paper.
Keywords: restricted syntactic equivalence, adaptive unification, mathematical statement, propositional statement, meta mathematical statement, semantic variable, propositional variable, syntactic variable, modified syntactic variable.