About: Skolem normal form

Property	Value
dbo:description	estas transformo de predikatlogika formulo (eo) formalism of first-order logic (en) existenquantor-freie Darstellung in der Prädikatenlogik (de) Représentation existentielle sans quantique dans la logique des prédicats (fr)
dbo:wikiPageExternalLink	http://demonstrations.wolfram.com/Skolemization/ http://planetmath.org/skolemization
dbo:wikiPageWikiLink	dbr:Scope_(logic) dbr:Resolution_(logic) dbr:Cambridge_University_Press dbr:First-order_logic dbr:Universal_quantification dbr:Automated_theorem_proving dbr:Satisfiability dbr:Elementary_equivalence dbr:Well-formed_formula dbr:Free_variable dbr:Arity dbr:Up_to dbr:Prime_model dbr:Formal_logic dbr:Equisatisfiable dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Logical_equivalence dbr:Method_of_analytic_tableaux dbc:Normal_forms_(logic) dbr:Prenex_normal_form dbr:Existential_quantification dbr:Substructure_(mathematics) dbr:Axiom_of_choice dbr:Thoralf_Skolem dbr:Second-order_logic dbr:Predicate_functor_logic dbr:Clause_(logic) dbr:Atomic_model_(mathematical_logic) dbr:Scope_(programming) dbr:Model_complete_theory dbr:Automated_theorem_prover dbr:Herbrandization dbr:Drinker_paradox dbr:Theory_(mathematical_logic) dbr:The_Wolfram_Demonstrations_Project
dbp:id	p/s085740 (en)
dbp:title	Skolem function (en) SkolemizedForm (en)
dbp:urlname	SkolemizedForm (en)
dbp:wikiPageUsesTemplate	dbt:Normal_forms_in_logic dbt:Citation dbt:Refend dbt:MathWorld dbt:Refbegin dbt:Springer dbt:Short_description
dct:subject	dbc:Model_theory dbc:Normal_forms_(logic)
rdfs:label	Skolem normal form (en) Forma normal de Skolem (ca) Skolemform (de) Forma normal de Skolem (es) Forme normale de Skolem (fr) Forma normale di Skolem (it) 스콜렘 표준형 (ko) スコーレム標準形 (ja) Forma normal de Skolem (pt) Нормальна форма Сколема (uk) 斯科伦范式 (zh)
owl:sameAs	freebase:Skolem normal form wikidata:Skolem normal form dbpedia-it:Skolem normal form dbpedia-de:Skolem normal form dbpedia-fr:Skolem normal form dbpedia-zh:Skolem normal form dbpedia-ja:Skolem normal form dbpedia-pt:Skolem normal form dbpedia-es:Skolem normal form dbpedia-hu:Skolem normal form dbpedia-ko:Skolem normal form dbpedia-ca:Skolem normal form dbpedia-uk:Skolem normal form dbpedia-global:Skolem normal form dbr:Skolem normal form
prov:wasDerivedFrom	wikipedia-en:Skolem_normal_form?oldid=1236528396&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Skolem_normal_form
is dbo:wikiPageDisambiguates of	dbr:Normal_form
is dbo:wikiPageRedirects of	dbr:Skolem_function dbr:Skolemization dbr:Skolem_hull dbr:Skolem_Standard_Form dbr:Skolem_constant dbr:Skolem_prenex_form dbr:Skolem_standard_form dbr:Skolem_term dbr:Skolem_theory dbr:Skolemisation dbr:Skolemize dbr:Skolemized dbr:Skolemized_Form dbr:Skolemized_form dbr:Skolemnization
is dbo:wikiPageWikiLink of	dbr:True_quantified_Boolean_formula dbr:Löwenheim–Skolem_theorem dbr:First-order_logic dbr:Skolem_function dbr:Skolemization dbr:Curry's_paradox dbr:Canonical_form dbr:Index_of_philosophy_articles_(R–Z) dbr:Normal_form dbr:Theory_of_pure_equality dbr:Model_theory dbr:Method_of_analytic_tableaux dbr:Conjunctive_normal_form dbr:List_of_mathematical_logic_topics dbr:Herbrand_structure dbr:Thoralf_Skolem dbr:Constructive_set_theory dbr:Skolem_hull dbr:Skolem_Standard_Form dbr:Skolem_constant dbr:Skolem_prenex_form dbr:Skolem_standard_form dbr:Skolem_term dbr:Skolem_theory dbr:Skolemisation dbr:Skolemize dbr:Skolemized dbr:Skolemized_Form dbr:Skolemized_form dbr:Skolemnization
is foaf:primaryTopic of	wikipedia-en:Skolem_normal_form