 |
| English | Russian |
| as per the closed-world assumption | в соответствии с допущением замкнутости мира (допущением замкнутости мира: всё, что не доказано в логической программе (теории) как истинное, считается логически ложным Alex_Odeychuk) |
| per-predicate lock | блокировка на уровне предиката (Alex_Odeychuk) |
| per-predicate-set lock | блокировка на уровне группы предикатов (Alex_Odeychuk) |