About: Clause (logic)

Property	Value
dbo:description	logica (nl) je matematika logiko, disjunkcio de atomoj kaj/aŭ negacioj de atomoj (eo) disjonction de littéraux d'une formule logique (fr) disjunció de literals (ca) disjunkcija literalov v logični formuli (sl) disyunción lógica (es) in logic, disjunction of literals (en) in logica, disgiunzione di letterali (it) literaalien disjunktio (fi)
dbo:wikiPageExternalLink	http://www.articleworld.org/index.php/Clause_%28logic%29
dbo:wikiPageWikiLink	dbc:Logic_programming dbr:Logic_programming dbc:Propositional_calculus dbc:Predicate_logic dbr:Prolog dbr:Propositional_formula dbr:Vacuous_truth dbr:Disjunctive_normal_form dbr:Horn_clause dbr:Logic dbr:Logical_conjunction dbr:Logical_connective dbr:Monoid dbr:Conjunctive_normal_form dbr:Literal_(mathematical_logic) dbr:Logical_disjunction dbr:Logical_implication dbr:Truth_assignment
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Other_uses
dct:subject	dbc:Logic_programming dbc:Propositional_calculus dbc:Predicate_logic
rdfs:label	Clause (logic) (en) Clàusula (lògica) (ca) Clause (logique) (fr) Disjunktionsterm (de) Cláusula (lógica) (es) Clausola (logica) (it) Clausule (logica) (nl) Klauzula (matematyka) (pl) Cláusula (lógica) (pt) Klausul (logik) (sv) Дизъюнктивный одночлен (ru) Макстерм (uk) 子句 (逻辑) (zh)
owl:sameAs	freebase:Clause (logic) wikidata:Clause (logic) dbpedia-it:Clause (logic) dbpedia-nl:Clause (logic) dbpedia-de:Clause (logic) dbpedia-fr:Clause (logic) dbpedia-tr:Clause (logic) dbpedia-zh:Clause (logic) dbpedia-pt:Clause (logic) dbpedia-es:Clause (logic) dbpedia-fa:Clause (logic) dbpedia-ru:Clause (logic) dbpedia-sv:Clause (logic) dbpedia-pl:Clause (logic) dbpedia-ca:Clause (logic) dbpedia-ast:Clause (logic) dbpedia-hy:Clause (logic) dbpedia-uk:Clause (logic) dbpedia-global:Clause (logic)
prov:wasDerivedFrom	wikipedia-en:Clause_(logic)?oldid=1293635380&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Clause_(logic)
is dbo:wikiPageDisambiguates of	dbr:Clause_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Empty_clause
is dbo:wikiPageWikiLink of	dbr:Unit_propagation dbr:RecycleUnits dbr:Logic_programming dbr:Resolution_(logic) dbr:Skolem_normal_form dbr:Datalog dbr:Frege_system dbr:Horn_clause dbr:Herbrand_interpretation dbr:Index_of_philosophy_articles_(A–C) dbr:Completeness_(logic) dbr:Clause_(disambiguation) dbr:Horn-satisfiability dbr:Local_search_(optimization) dbr:Method_of_analytic_tableaux dbr:Conjunctive_normal_form dbr:List_of_logic_symbols dbr:WalkSAT dbr:Stratification_(mathematics) dbr:Premise dbr:2-satisfiability dbr:Term_algebra dbr:Outline_of_logic dbr:LowerUnits dbr:Term_indexing dbr:(SAT,_ε-UNSAT) dbr:Empty_clause
is foaf:primaryTopic of	wikipedia-en:Clause_(logic)