About: Skolem arithmetic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Arithmetic of positive number with multiplication and equality

Property	Value
dbo:description	arithmetic of positive number with multiplication and equality (en)
dbo:wikiPageExternalLink	http://lacl.univ-paris12.fr/bes/publi/survey.pdf https://link.springer.com/book/10.1007/BFb0062837 https://www.math.umd.edu/~laskow/713/Spring17/juliarobinson.pdf https://ur.booksc.me/book/12620355/ec7c78
dbo:wikiPageWikiLink	dbr:Multiset dbr:Quantifier_elimination dbr:Prime_number dbr:First-order_logic dbr:NP_(complexity) dbr:Decidability_(logic) dbr:Satisfiability dbc:Formal_theories_of_arithmetic dbr:Robinson_arithmetic dbr:Greatest_common_divisor dbr:Least_common_multiple dbr:Fundamental_theorem_of_arithmetic dbr:Israel_Journal_of_Mathematics dbr:Presburger_arithmetic dbr:Ehrenfeucht–Fraïssé_game dbr:Equinumerosity dbr:Multiplication dbr:Computational_complexity_theory dbr:Mathematical_logic dbr:Natural_number dbr:Thoralf_Skolem dbr:Decision_problem dbr:Journal_of_Symbolic_Logic dbr:Feferman–Vaught_theorem dbr:First-order_predicate_calculus dbr:Peano_arithmetic dbr:Signature_(mathematical_logic)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Citation dbt:Refend dbt:Other_uses dbt:Refbegin dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Formal_theories_of_arithmetic
gold:hypernym	dbr:Theory
rdfs:label	Skolem arithmetic (en)
owl:sameAs	freebase:Skolem arithmetic yago-res:Skolem arithmetic wikidata:Skolem arithmetic dbpedia-global:Skolem arithmetic
prov:wasDerivedFrom	wikipedia-en:Skolem_arithmetic?oldid=1292211683&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Skolem_arithmetic
is dbo:wikiPageDisambiguates of	dbr:Skolem_arithmetic_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Decidability_(logic) dbr:Robinson_arithmetic dbr:Presburger_arithmetic dbr:Primitive_recursive_arithmetic dbr:Thoralf_Skolem dbr:Skolem_arithmetic_(disambiguation) dbr:Feferman–Vaught_theorem
is foaf:primaryTopic of	wikipedia-en:Skolem_arithmetic