Home›Logic in computer science›Horn clause🌐EnglishEnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsTürkçeРусскийفارسی한국어中文日本語EntityQ933932· pop 21· linked from 79 articlesHorn clauseAlso known as Horn formulaclause (a disjunction of literals) with at most one positive, i.e. unnegated, literalAvailable in 21 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoCatalanCzechHungarianConnectionsresolutionEntityalgebraic normal formEntityCategoriesLogic in computer scienceNormal forms (logic)