Horn clause
clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal
Press Enter · cited answer in seconds
0 sources
Horn clause
Summary
Horn clause ranks in the top 2% of general entities by monthly Wikipedia readership (100 views/month).[1]
Key Facts
- Alfred Horn is named after Horn clause[2].
- Horn clause's subclass of is recorded as clause[3].
- Horn clause's Freebase ID is recorded as /m/01x73c[4].
- Horn clause's studied by is recorded as Boolean algebra[5].
- Horn clause's MathWorld ID is recorded as HornClause[6].
- Horn clause's maintained by WikiProject is recorded as WikiProject Mathematics[7].
- Horn clause's Microsoft Academic ID is recorded as 189790780[8].
- Horn clause's Encyclopedia of Mathematics article ID is recorded as Quasi-identity[9].
- Horn clause's PlanetMath ID is recorded as HornClause[10].
- Horn clause's Treccani's Enciclopedia della Matematica ID is recorded as clausola-di-horn[11].
- Horn clause's OpenAlex ID is recorded as C189790780[12].
- Horn clause's Encyclopedia of China is recorded as 52536[13].
- Horn clause's FOLDOC ID is recorded as Horn+clause[14].
Why It Matters
Horn clause ranks in the top 2% of general entities by monthly Wikipedia readership (100 views/month).[1] It has Wikipedia articles in 17 language editions, a strong signal of global cultural recognition.[15] It is known by 14 alternative names across languages and contexts.[16]