Matches in Wikidata for { <http://www.wikidata.org/entity/Q933932> ?p ?o ?g. }
- Q933932 description "Bestandteil der Prädikatenlogik" @default.
- Q933932 description "clause (a disjunction of literals) with at most one positive, i.e. unnegated, literal" @default.
- Q933932 description "clause comportant au plus un littéral positif" @default.
- Q933932 description "cláusula (disyunción de literales) con, como máximo, un literal positivo" @default.
- Q933932 description "disgiunzione di letterali in cui al massimo uno dei letterali è positivo" @default.
- Q933932 description "disjunkcio de negacio(j) de atomo(j) kaj nul aŭ unu (neneita) atomo" @default.
- Q933932 name "Clàusula de Horn" @default.
- Q933932 name "Horn clause" @default.
- Q933932 name "Horn cümlesi" @default.
- Q933932 name "Horn-Formel" @default.
- Q933932 name "Horn-clausule" @default.
- Q933932 name "Horn-klóz" @default.
- Q933932 name "Hornova klauzule" @default.
- Q933932 name "Xorn örnegi" @default.
- Q933932 name "clause de Horn" @default.
- Q933932 name "clausola di Horn" @default.
- Q933932 name "clásal Horn" @default.
- Q933932 name "cláusula de Horn" @default.
- Q933932 name "cláusula de Horn" @default.
- Q933932 name "klauzula Horna" @default.
- Q933932 name "klaŭzo de Horn" @default.
- Q933932 name "Диз'юнкт Горна" @default.
- Q933932 name "Дизъюнкт Хорна" @default.
- Q933932 name "Хорн өрнегі" @default.
- Q933932 name "Хорн өрнегі" @default.
- Q933932 name "Хорнова клауза" @default.
- Q933932 name "حورن ورنەگى" @default.
- Q933932 name "عبارت هورن" @default.
- Q933932 name "ホーン節" @default.
- Q933932 name "霍恩子句" @default.
- Q933932 name "霍恩子句" @default.
- Q933932 name "霍恩子句" @default.
- Q933932 name "霍恩子句" @default.
- Q933932 type Item @default.
- Q933932 label "Clàusula de Horn" @default.
- Q933932 label "Horn clause" @default.
- Q933932 label "Horn cümlesi" @default.
- Q933932 label "Horn-Formel" @default.
- Q933932 label "Horn-clausule" @default.
- Q933932 label "Horn-klóz" @default.
- Q933932 label "Hornova klauzule" @default.
- Q933932 label "Xorn örnegi" @default.
- Q933932 label "clause de Horn" @default.
- Q933932 label "clausola di Horn" @default.
- Q933932 label "clásal Horn" @default.
- Q933932 label "cláusula de Horn" @default.
- Q933932 label "cláusula de Horn" @default.
- Q933932 label "klauzula Horna" @default.
- Q933932 label "klaŭzo de Horn" @default.
- Q933932 label "Диз'юнкт Горна" @default.
- Q933932 label "Дизъюнкт Хорна" @default.
- Q933932 label "Хорн өрнегі" @default.
- Q933932 label "Хорн өрнегі" @default.
- Q933932 label "Хорнова клауза" @default.
- Q933932 label "حورن ورنەگى" @default.
- Q933932 label "عبارت هورن" @default.
- Q933932 label "ホーン節" @default.
- Q933932 label "霍恩子句" @default.
- Q933932 label "霍恩子句" @default.
- Q933932 label "霍恩子句" @default.
- Q933932 label "霍恩子句" @default.
- Q933932 altLabel "Horn clausule" @default.
- Q933932 altLabel "Horn formula" @default.
- Q933932 altLabel "Horn 子句" @default.
- Q933932 altLabel "Horn-Klausel" @default.
- Q933932 altLabel "Horn-Klauseln" @default.
- Q933932 altLabel "Horn-klaŭzo" @default.
- Q933932 altLabel "Hornformel" @default.
- Q933932 altLabel "Hornklausel" @default.
- Q933932 altLabel "Hornovské klauzule" @default.
- Q933932 altLabel "Horn子句" @default.
- Q933932 altLabel "clausula de Horn" @default.
- Q933932 altLabel "clausulas de Horn" @default.
- Q933932 altLabel "cláusulas de Horn" @default.
- Q933932 altLabel "cláusulas de Horn" @default.
- Q933932 altLabel "霍恩逻辑" @default.
- Q933932 prefLabel "Clàusula de Horn" @default.
- Q933932 prefLabel "Horn clause" @default.
- Q933932 prefLabel "Horn cümlesi" @default.
- Q933932 prefLabel "Horn-Formel" @default.
- Q933932 prefLabel "Horn-clausule" @default.
- Q933932 prefLabel "Horn-klóz" @default.
- Q933932 prefLabel "Hornova klauzule" @default.
- Q933932 prefLabel "Xorn örnegi" @default.
- Q933932 prefLabel "clause de Horn" @default.
- Q933932 prefLabel "clausola di Horn" @default.
- Q933932 prefLabel "clásal Horn" @default.
- Q933932 prefLabel "cláusula de Horn" @default.
- Q933932 prefLabel "cláusula de Horn" @default.
- Q933932 prefLabel "klauzula Horna" @default.
- Q933932 prefLabel "klaŭzo de Horn" @default.
- Q933932 prefLabel "Диз'юнкт Горна" @default.
- Q933932 prefLabel "Дизъюнкт Хорна" @default.
- Q933932 prefLabel "Хорн өрнегі" @default.
- Q933932 prefLabel "Хорн өрнегі" @default.
- Q933932 prefLabel "Хорнова клауза" @default.
- Q933932 prefLabel "حورن ورنەگى" @default.
- Q933932 prefLabel "عبارت هورن" @default.
- Q933932 prefLabel "ホーン節" @default.
- Q933932 prefLabel "霍恩子句" @default.