🌐EnglishEnglishDeutschFrançaisItalianoNederlandsPortuguês한국어中文日本語EntityQ2119400· pop 10· linked from 34 articlesnegation as failurenon-monotonic inference rule implying that the impossibility to derive a statement allows to infer its negationConnectionsInternational Standard Book NumberEntitydigital object identifierEntityCategoriesLogic programmingRules of inference