Hungarian Horn-kielégíthetőség Cited by user Matek8 on 19 May 2022 A formális logikában a Horn-kielégíthetőség vagy a HORNSAT annak eldöntése, hogy az adott Horn-klózok adott halmaza kielégíthető vagy nem.
Portuguese Satisfatibilidade de Horn Cited by user Bmca2 on 20 Apr 2013 Na lógica formal, Satisfatibilidade de Horn, ou HORNSAT, é o problema de decidir se um dado conjunto de cláusulas de Horn é satisfatível ou não.
English Horn-satisfiability Cited by user Tizio on 31 Jul 2007 In formal logic, Horn-satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable or not.