| As long as dual criminality is satisfied, it is irrelevant where the predicate crime is committed. | При условии соблюдения требования об обоюдном признании соответствующего деяния преступлением, место совершения основного правонарушения не имеет значения. |
| A person could only be charged with the predicate or the money-laundering offence. | Обвинение тому или иному лицу может быть предъявлено за совершение либо основного правонарушения, либо преступления, связанного с отмыванием денежных средств. |
| There is also no requirement that there be a conviction that constitutes the predicate for money-laundering. | Нет также требования о вынесении обвинительного приговора обвиняемому, который позволяет квалифицировать отмывание денег в качестве основного правонарушения. |
| The subject of the matrix describes the types of products manufactured by enterprises, while the predicate describes the branches of the economy that represent the total number of enterprises grouped under an actual main type of activity in OKVED. | Подлежащее данной матрицы характеризует виды продукции, которые производят предприятия, сказуемое - отрасли экономики, представляющие собой совокупность предприятий, сгруппированных по признаку фактического основного вида деятельности в классификации ОКВЭД. |
| Each predicate is syntactically written in square brackets and is used to further refine the set of nodes selected by the location step. | Каждый предикат синтаксически записывается в квадратных скобках и используется для дальнейшего просеивания набора узлов, выбираемых шагом доступа. |
| The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. | Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики. |
| Since the XPath Recommendation defines node test in terms of being true for some kinds of nodes, it is natural to implement a node test as a predicate which takes an SXML node and returns a boolean value depending on whether the node satisfies the node test. | Поскольку Рекомендация XPath определяет тест узла в терминах "быть истинным для некоторого вида узлов", естественно реализовывать тест узла как предикат, который принимает SXML-узел и возвращает булевское значение в зависимости от того, удовлетворяет ли узел тесту узла. |
| The last of them uses the auxiliary predicate r (x) {\displaystyle r(x)} ("x {\displaystyle x} is reachable from 0") to prohibit the vertices that do not satisfy this condition. | Последний из них использует вспомогательный предикат г (х) {\displaystyle r(x)} («x {\displaystyle x} достижимый из 0»), чтобы запретить вершины, которые не удовлетворяют этому условию. |
| Becker was correct that complete induction was needed for assertions of consistency in the form of universally quantified sentences, as opposed to claiming that a predicate holds for each individual natural number. | Беккер был прав, утверждая, что полная индукция необходима для консистентности утверждений с квантором всеобщности, в противоположность утверждению, будто каждому натуральному числу соответствует уникальный предикат. |
| Any property the person has acquired during the five years prior to the commission of the crime is presumed to have been acquired from one of the predicate crimes, even if there has been no prosecution or conviction for such crimes. | Считается, что любое имущество, которое лицо приобрело в течение пяти лет, предшествующих совершению преступления, было приобретено в результате совершения одного из предикатных преступлений, даже если не имело место преследование или осуждение за такие преступления. |
| Let AP be a set of atomic propositions, i.e. boolean expressions over variables, constants and predicate symbols. | Пусть А Р {\displaystyle AP} множество атомарных высказываний (булевых выражений над множеством переменных, констант и предикатных символов). |
| Formulas are built from tokens: variables, function symbols and predicate symbols, with the help of the propositional connectives, quantifiers and parentheses. | Формулы строятся из лексем: переменных, функциональных и предикатных символов, при помощи пропозициональных связок, кванторов и скобок. |
| As a result the construction of indexed category, as an universum of all possible states of knowledgebase, to which can bring implementation of modification predicate query is done. | В результате выполнено построение индексированной категории, которая представляет собой универсум всех возможных состояний базы знаний информационной системы, как следствий выполнения модификационных предикатных запросов. |
| The categorical model for modification predicate inquiries is offered on the basis of denotation semantics within the framework of fixed values theory and exploration of its properties is done through introduction of categorical deduction notion and its calculable answers. | Предложена категорийная модель модификационных предикатных запросов на основе денотационной семантики в рамках теории фиксированных значений и выполнено исследование ее свойств путем определения категориальной дедукции и ее вычислительных решений. |
| The subject of the matrix describes the types of products manufactured by enterprises, while the predicate describes the branches of the economy that represent the total number of enterprises grouped under an actual main type of activity in OKVED. | Подлежащее данной матрицы характеризует виды продукции, которые производят предприятия, сказуемое - отрасли экономики, представляющие собой совокупность предприятий, сгруппированных по признаку фактического основного вида деятельности в классификации ОКВЭД. |
| 'The Dog' is the predicate names the clasp. | "Пес" - составное именное сказуемое. |
| This is a predicate with a clip. | Это составное именное сказуемое. |
| A variety of formalisms have been used, including propositional and predicate calculi; deontic, temporal and non-monotonic logics; and state transition diagrams. | Использовались различные формализмы, в том числе пропозициональные и предикатные исчисления; деонтические, темпоральные (временные) и немонотонные логики; и диаграммы перехода состояний. |
| Formally speaking, an SMT instance is a formula in first-order logic, where some function and predicate symbols have additional interpretations, and SMT is the problem of determining whether such a formula is satisfiable. | Формально SMT-формула - это формула в логике первого порядка, в которой некоторые функции и предикатные символы имеют дополнительную интерпретацию. |