Predicate queries modification, as an tool to work with the knowledge bases of oil and gas subject domain

Given paper is dealing with the construction of formal-logical apparatus for the predicate queries modification, as an tool to work with knowledge bases in t...