About: Entscheidungsproblem

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

In computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms

Property Value
dbo:description
  • congettura matematica (it)
  • concepto informático (es)
  • in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms (en)
  • v računalništvu nemogoča naloga algoritmičnega določanja, ali je dana izjava dokazljiva iz aksiomov (sl)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Entscheidungsproblem (en)
  • مسألة القرار (رياضيات) (ar)
  • Entscheidungsproblem (ca)
  • Entscheidungsproblem (cs)
  • Entscheidungsproblem (es)
  • Entscheidungsproblem (it)
  • Problème de la décision (fr)
  • Entscheidungsproblem (nl)
  • Entscheidungsproblem (pt)
  • Задача розв'язності (uk)
  • Проблема разрешения (ru)
  • Avgörbarhetsproblemet (sv)
  • 可判定性 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International