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