English | Russian |
logical inconsistency | логическое противоречие (ssn) |
negation-as-inconsistency | отрицание как противоречие (правило в логическом программировании; см. напр., Introduction to logic programming by Ghristopher John Hogger ssn) |
version inconsistency | несовместимость версии (ssn) |