Horn clause (Q933932)
Jump to navigation
Jump to search
clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal
- Horn formula
Language | Label | Description | Also known as |
---|---|---|---|
English | Horn clause |
clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal |
|
Statements
Identifiers
Horn Clause
1 reference
1 reference
Sitelinks
Wikipedia(21 entries)
- cawiki Clàusula de Horn
- cswiki Hornova klauzule
- dewiki Horn-Formel
- enwiki Horn clause
- eswiki Cláusula de Horn
- fawiki عبارت هورن
- frwiki Clause de Horn
- huwiki Horn-klóz
- itwiki Clausola di Horn
- jawiki ホーン節
- kkwiki Хорн өрнегі
- kowiki 혼 절
- nlwiki Horn-clausule
- plwiki Klauzula Horna
- ptwiki Cláusula de Horn
- ruwiki Хорновский дизъюнкт
- simplewiki Horn clause
- srwiki Хорнова клауза
- trwiki Horn cümlesi
- ukwiki Диз'юнкт Горна
- zhwiki 霍恩子句