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