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