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