Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Skolem_normal_form> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Skolem_normal_form wikiPageExternalLink Skolemization.
- Skolem_normal_form wikiPageExternalLink Skolemization.html.
- Skolem_normal_form wikiPageID "421074".
- Skolem_normal_form wikiPageLength "11226".
- Skolem_normal_form wikiPageOutDegree "40".
- Skolem_normal_form wikiPageRevisionID "672722083".
- Skolem_normal_form wikiPageWikiLink Arithmetic.
- Skolem_normal_form wikiPageWikiLink Arity.
- Skolem_normal_form wikiPageWikiLink Atomic_model_(mathematical_logic).
- Skolem_normal_form wikiPageWikiLink Automated_theorem_prover.
- Skolem_normal_form wikiPageWikiLink Automated_theorem_proving.
- Skolem_normal_form wikiPageWikiLink Axiom_of_choice.
- Skolem_normal_form wikiPageWikiLink Cambridge_University_Press.
- Skolem_normal_form wikiPageWikiLink Category:Model_theory.
- Skolem_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Skolem_normal_form wikiPageWikiLink Clause_(logic).
- Skolem_normal_form wikiPageWikiLink Conceptual_model.
- Skolem_normal_form wikiPageWikiLink Drinker_paradox.
- Skolem_normal_form wikiPageWikiLink Elementary_equivalence.
- Skolem_normal_form wikiPageWikiLink Equisatisfiability.
- Skolem_normal_form wikiPageWikiLink Equisatisfiable.
- Skolem_normal_form wikiPageWikiLink Existential_quantification.
- Skolem_normal_form wikiPageWikiLink First-order_logic.
- Skolem_normal_form wikiPageWikiLink Formal_logic.
- Skolem_normal_form wikiPageWikiLink Formula.
- Skolem_normal_form wikiPageWikiLink Free_variable.
- Skolem_normal_form wikiPageWikiLink Free_variables_and_bound_variables.
- Skolem_normal_form wikiPageWikiLink Herbrandization.
- Skolem_normal_form wikiPageWikiLink Logic.
- Skolem_normal_form wikiPageWikiLink Logical_equivalence.
- Skolem_normal_form wikiPageWikiLink Mathematical_logic.
- Skolem_normal_form wikiPageWikiLink Method_of_analytic_tableaux.
- Skolem_normal_form wikiPageWikiLink Model_(abstract).
- Skolem_normal_form wikiPageWikiLink Model_complete_theory.
- Skolem_normal_form wikiPageWikiLink Predicate_functor_logic.
- Skolem_normal_form wikiPageWikiLink Prenex_normal_form.
- Skolem_normal_form wikiPageWikiLink Prime_model.
- Skolem_normal_form wikiPageWikiLink Resolution_(logic).
- Skolem_normal_form wikiPageWikiLink Satisfiability.
- Skolem_normal_form wikiPageWikiLink Scope_(computer_science).
- Skolem_normal_form wikiPageWikiLink Scope_(programming).
- Skolem_normal_form wikiPageWikiLink Second-order_logic.
- Skolem_normal_form wikiPageWikiLink Substructure.
- Skolem_normal_form wikiPageWikiLink The_Wolfram_Demonstrations_Project.
- Skolem_normal_form wikiPageWikiLink Theory_(mathematical_logic).
- Skolem_normal_form wikiPageWikiLink Thoralf_Skolem.
- Skolem_normal_form wikiPageWikiLink Universal_quantification.
- Skolem_normal_form wikiPageWikiLink Up_to.
- Skolem_normal_form wikiPageWikiLink Well-formed_formula.
- Skolem_normal_form wikiPageWikiLink Wolfram_Demonstrations_Project.
- Skolem_normal_form wikiPageWikiLinkText "Skolem normal form".
- Skolem_normal_form wikiPageWikiLinkText "Skolemization".
- Skolem_normal_form wikiPageWikiLinkText "Skolemize".
- Skolem_normal_form wikiPageWikiLinkText "skolem function".
- Skolem_normal_form date "August 2013".
- Skolem_normal_form hasPhotoCollection Skolem_normal_form.
- Skolem_normal_form id "p/s085740".
- Skolem_normal_form reason "If the formula is not in prenex form, also some existentially quantified variables may belong to the x, e.g. the formula ¬∃x ¬∃y. p should be skolemized to is equivalent to ¬∃x. ¬ p.".
- Skolem_normal_form title "Skolem function".
- Skolem_normal_form title "SkolemizedForm".
- Skolem_normal_form urlname "SkolemizedForm".
- Skolem_normal_form wikiPageUsesTemplate Template:Citation.
- Skolem_normal_form wikiPageUsesTemplate Template:Clarify.
- Skolem_normal_form wikiPageUsesTemplate Template:Expand_section.
- Skolem_normal_form wikiPageUsesTemplate Template:MathWorld.
- Skolem_normal_form wikiPageUsesTemplate Template:Refimprove_section.
- Skolem_normal_form wikiPageUsesTemplate Template:Springer.
- Skolem_normal_form subject Category:Model_theory.
- Skolem_normal_form subject Category:Normal_forms_(logic).
- Skolem_normal_form type Article.
- Skolem_normal_form type Article.
- Skolem_normal_form label "Skolem normal form".
- Skolem_normal_form sameAs Forma_normal_de_Skolem.
- Skolem_normal_form sameAs Skolemform.
- Skolem_normal_form sameAs Forma_normal_de_Skolem.
- Skolem_normal_form sameAs Skolémisation.
- Skolem_normal_form sameAs Skolem-normálforma.
- Skolem_normal_form sameAs Skolemizzazione.
- Skolem_normal_form sameAs スコーレム標準形.
- Skolem_normal_form sameAs Skolemizacja.
- Skolem_normal_form sameAs Skolemização.
- Skolem_normal_form sameAs m.026gh8.
- Skolem_normal_form sameAs Нормальна_форма_Сколема.
- Skolem_normal_form sameAs Q1090524.
- Skolem_normal_form sameAs Q1090524.
- Skolem_normal_form sameAs 斯科伦范式.
- Skolem_normal_form wasDerivedFrom Skolem_normal_form?oldid=672722083.
- Skolem_normal_form isPrimaryTopicOf Skolem_normal_form.