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