Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Undecidable problems
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
49322024
(xsd:integer)
dbo:
wikiPageRevisionID
1061230763
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Distinguish
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Undecidable problems
(en)
skos:
broader
dbc
:Mathematical_problems
dbc
:Computational_problems
dbc
:Computability_theory
skos:
prefLabel
Undecidable problems
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Undecidable_problems?oldid=1061230763&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Entscheidungsproblem
dbr
:Mortality_(computability_theory)
dbr
:Trakhtenbrot's_theorem
dbr
:Scott–Curry_theorem
dbr
:Emptiness_problem
dbr
:Post_correspondence_problem
dbr
:Adian–Rabin_theorem
dbr
:Hilbert's_tenth_problem
dbr
:RE_(complexity)
dbr
:Halting_problem
dbr
:Word_problem_for_groups
dbr
:Group_isomorphism_problem
dbr
:Undecidable_problem
dbr
:Wang_tile
dbr
:List_of_undecidable_problems
dbr
:Mortal_matrix_problem
dbr
:Semi-Thue_problem
dbr
:Simplicial_complex_recognition_problem
dbr
:Rice's_theorem
dbr
:Spectral_gap_(physics)
is
dcterms:
subject
of
dbr
:Entscheidungsproblem
dbr
:Mortality_(computability_theory)
dbr
:Trakhtenbrot's_theorem
dbr
:Scott–Curry_theorem
dbr
:Emptiness_problem
dbr
:Post_correspondence_problem
dbr
:Adian–Rabin_theorem
dbr
:Hilbert's_tenth_problem
dbr
:RE_(complexity)
dbr
:Halting_problem
dbr
:Word_problem_for_groups
dbr
:Group_isomorphism_problem
dbr
:Undecidable_problem
dbr
:Wang_tile
dbr
:List_of_undecidable_problems
dbr
:Mortal_matrix_problem
dbr
:Semi-Thue_problem
dbr
:Simplicial_complex_recognition_problem
dbr
:Rice's_theorem
dbr
:Spectral_gap_(physics)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License