. "Horn Sentences"@fr . "Clause de Horn"@fr . . . . . . . . . "Klauzula Horna"@pl . . . . "Horn clause"@en . . . "Clausola di Horn"@it . . . "Cl\u00E1usula de Horn"@pt . "110540"^^ . . . . . "\u970D\u6069\u5B50\u53E5"@zh . . . "Cl\u00E0usula de Horn"@ca . . . "\u0425\u043E\u0440\u043D\u043E\u0432\u0441\u043A\u0438\u0439 \u0434\u0438\u0437\u044A\u044E\u043D\u043A\u0442"@ru . . . "Horn-Formel"@de . "Fred Galvin"@fr . . . "4"^^ . . . . . . . "1970"^^ . "Annals of Mathematical Logic"@fr . "181275100"^^ . "En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un litt\u00E9ral positif. Il existe donc trois types de clauses de Horn : \n* celles qui comportent un litt\u00E9ral positif et au moins un litt\u00E9ral n\u00E9gatif, appel\u00E9es clauses de Horn strictes ; \n* celles qui comportent un litt\u00E9ral positif et aucun litt\u00E9ral n\u00E9gatif, appel\u00E9es clauses de Horn positives ; \n* celles qui ne comportent que des litt\u00E9raux n\u00E9gatifs, appel\u00E9es clauses de Horn n\u00E9gatives."@fr . . . . . . "\u30DB\u30FC\u30F3\u7BC0"@ja . . "4781"^^ . . . . "En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un litt\u00E9ral positif. Il existe donc trois types de clauses de Horn : \n* celles qui comportent un litt\u00E9ral positif et au moins un litt\u00E9ral n\u00E9gatif, appel\u00E9es clauses de Horn strictes ; \n* celles qui comportent un litt\u00E9ral positif et aucun litt\u00E9ral n\u00E9gatif, appel\u00E9es clauses de Horn positives ; \n* celles qui ne comportent que des litt\u00E9raux n\u00E9gatifs, appel\u00E9es clauses de Horn n\u00E9gatives. De plus toute clause de Horn est de la forme (qui peut aussi s'\u00E9crire sous la forme ) . Les clauses de Horn forment un sous\u2013ensemble des formes normales disjonctives dans lesquelles un seul terme est positif."@fr . . . . . "1"^^ . . "389"^^ . .