prover примеры

• Attempts have also been made to validate Anselm's proof using an automated theorem prover.
  Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем.
• Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions.
  Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.
• Isabelle is a generic theorem solver working with higher-order logic constructs, capable of representing sets and other mathematical objects to be used in proofs. Isabelle itself integrates with Z3 SMT prover to work with problems involving such constraints.
  Isabelle можно совмещать с доказателем теорем Z3 SMT, если необходимо работать с задачами, в которых есть соответствующие ограничения.
• This claim element relates to the cost of spare parts used to repair a trailer-mounted master prover as well as the salary, travel and subsistence costs of a calibration engineer and his assistant incurred from 5 March to 29 October 1992 in order to perform the repairs.
  Этот элемент претензии касается стоимости запасных частей, использованных для ремонта мобильного контрольно-технического стенда, а также заработной платы, путевых расходов и расходов на проживание инженера-калибровщика и его помощника в период с 5 марта по 25 октября 1992 года в связи с выполнением ремонта.