Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Horn_clause> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Horn_clause abstract "In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.".
- Horn_clause wikiPageID "333824".
- Horn_clause wikiPageLength "7223".
- Horn_clause wikiPageOutDegree "35".
- Horn_clause wikiPageRevisionID "683282860".
- Horn_clause wikiPageWikiLink Alfred_Horn.
- Horn_clause wikiPageWikiLink Automated_theorem_proving.
- Horn_clause wikiPageWikiLink Boolean_satisfiability_problem.
- Horn_clause wikiPageWikiLink Category:Logic_in_computer_science.
- Horn_clause wikiPageWikiLink Category:Normal_forms_(logic).
- Horn_clause wikiPageWikiLink Clause_(logic).
- Horn_clause wikiPageWikiLink Computational_complexity_theory.
- Horn_clause wikiPageWikiLink Computational_logic.
- Horn_clause wikiPageWikiLink Conjunctive_query.
- Horn_clause wikiPageWikiLink Constructive_logic.
- Horn_clause wikiPageWikiLink Datalog.
- Horn_clause wikiPageWikiLink Disjunction.
- Horn_clause wikiPageWikiLink First-order_resolution.
- Horn_clause wikiPageWikiLink Formal_specification.
- Horn_clause wikiPageWikiLink Horn-satisfiability.
- Horn_clause wikiPageWikiLink Intuitionistic_logic.
- Horn_clause wikiPageWikiLink Linear_time.
- Horn_clause wikiPageWikiLink Literal_(mathematical_logic).
- Horn_clause wikiPageWikiLink Logic_programming.
- Horn_clause wikiPageWikiLink Logical_disjunction.
- Horn_clause wikiPageWikiLink Mathematical_logic.
- Horn_clause wikiPageWikiLink Model_theory.
- Horn_clause wikiPageWikiLink NP-complete.
- Horn_clause wikiPageWikiLink NP-completeness.
- Horn_clause wikiPageWikiLink Negation.
- Horn_clause wikiPageWikiLink P-complete.
- Horn_clause wikiPageWikiLink Prolog.
- Horn_clause wikiPageWikiLink Propositional_formula.
- Horn_clause wikiPageWikiLink Resolution_(logic).
- Horn_clause wikiPageWikiLink SLD_resolution.
- Horn_clause wikiPageWikiLink Stable_model_semantics.
- Horn_clause wikiPageWikiLink Time_complexity.
- Horn_clause wikiPageWikiLink Undecidable_problem.
- Horn_clause wikiPageWikiLink Universal_Turing_machine.
- Horn_clause wikiPageWikiLinkText "Horn clause".
- Horn_clause wikiPageWikiLinkText "Horn form".
- Horn_clause wikiPageWikiLinkText "Horn formulae".
- Horn_clause wikiPageWikiLinkText "Horn logic".
- Horn_clause wikiPageWikiLinkText "Horn rules".
- Horn_clause wikiPageWikiLinkText "Horn subclauses".
- Horn_clause wikiPageWikiLinkText "Horn".
- Horn_clause wikiPageWikiLinkText "horn clause".
- Horn_clause hasPhotoCollection Horn_clause.
- Horn_clause wikiPageUsesTemplate Template:Reflist.
- Horn_clause subject Category:Logic_in_computer_science.
- Horn_clause subject Category:Normal_forms_(logic).
- Horn_clause hypernym Formula.
- Horn_clause type Agent.
- Horn_clause type Article.
- Horn_clause type Article.
- Horn_clause comment "In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory. Horn clauses are named for the logician Alfred Horn, who first pointed out their significance in 1951.".
- Horn_clause label "Horn clause".
- Horn_clause sameAs Hornova_klauzule.
- Horn_clause sameAs Horn-Formel.
- Horn_clause sameAs Cláusula_de_Horn.
- Horn_clause sameAs عبارت_هورن.
- Horn_clause sameAs Clause_de_Horn.
- Horn_clause sameAs Horn-klóz.
- Horn_clause sameAs Clausola_di_Horn.
- Horn_clause sameAs ホーン節.
- Horn_clause sameAs Хорн_өрнегі.
- Horn_clause sameAs Horn-clausule.
- Horn_clause sameAs Klauzula_Horna.
- Horn_clause sameAs Cláusula_de_Horn.
- Horn_clause sameAs m.01x73c.
- Horn_clause sameAs Дизъюнкт_Хорна.
- Horn_clause sameAs Horn_clause.
- Horn_clause sameAs Q933932.
- Horn_clause sameAs Q933932.
- Horn_clause sameAs 霍恩子句.
- Horn_clause wasDerivedFrom Horn_clause?oldid=683282860.
- Horn_clause isPrimaryTopicOf Horn_clause.