computability theory

study of computable functions and Turing degrees
rdfs:label
"computability theory"@en
skos:altLabel
"recursion theory"@en
schema:description
"study of computable functions and Turing degrees"@en
schema:dateModified "2026-06-15T01:51:06+00:00"^^xsd:dateTime
schema:version 2506108772
wikibase:identifiers 17
wikibase:sitelinks 44
wikibase:statements 25
p:P10283 wd:statement/Q818930-7CE42507-7E86-46EB-AA6A-27A9B69514A0
p:P10376 wd:statement/Q818930-57a9d451-4b7f-c46f-6551-78eda9963452
wd:statement/Q818930-91480a59-4e5f-b030-b175-32ce42f058c8
p:P1051 wd:statement/Q818930-A6A37BAD-F4F4-45E6-8703-B5D2429FF975
p:P12946 wd:statement/Q818930-7FC838CA-D27C-4311-9D26-88DA155AFA73
p:P2581 wd:statement/Q818930-02E376E4-E221-411C-A8A4-8332AB0555CD
p:P279 wd:statement/Q818930-3fe02b27-4ee1-d2ce-6924-f7420e7c79ee
wd:statement/Q818930-712df7db-40a6-5f41-ca0d-6388ba4fb420
wd:statement/Q818930-cd1dc6f5-4af0-2c9b-d4ed-8ca2b44bb5d1
p:P3285 wd:statement/Q818930-037ec0f3-4538-e1a1-7431-661efb48eed9
p:P3417 wd:statement/Q818930-C1B8FD14-B7F7-43C8-96C3-0663C2DF2629
p:P3553 wd:statement/Q818930-7C046C1D-DD87-47E1-981B-4657062F5067
p:P361 wd:statement/Q818930-39344F9F-52CF-448E-9BA1-FAD41ED22DE6
wd:statement/Q818930-7C270183-84F0-4660-BADB-C2C9E30690D1
p:P373 wd:statement/Q818930-91672B6F-DE25-4FFB-B7A7-18A2999FA673
p:P3827 wd:statement/Q818930-15F05B48-B53E-477B-B0C0-2573CFFE9590
p:P5008 wd:statement/Q818930-3D3A3EE3-1F1B-45CC-A3D7-AD8A36FFBEDA
p:P6366 wd:statement/Q818930-0FE50B70-FADC-447A-97C3-46BBF877CB79
p:P646 wd:statement/Q818930-AC6C4171-23DD-43ED-AE0D-A4D975EBADEA
p:P6781 wd:statement/Q818930-e5761bbc-4be4-b5c3-1941-1e2c4d3aec69
p:P691 wd:statement/Q818930-15ECE968-368C-4078-B912-5C7301135DCF
p:P8189 wd:statement/Q818930-37155F6F-8888-488C-9137-A43EB244A57B
p:P8313 wd:statement/Q818930-B9ECBC6A-25C1-4697-B0F4-2120690A15EB
p:P8408 wd:statement/Q818930-3DF90DA0-E046-4DCA-9472-662FDEEAFBBB
p:P910 wd:statement/Q818930-8164E2ED-8DEB-4817-8E4B-99350006CDEB
p:direct-normalized/P2581 <http://babelnet.org/rdf/s00775789n>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03Dxx>
p:direct-normalized/P6366 <https://makg.org/entity/111142201>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ComputabilityTheory>
wdt:P10283 "C111142201"
wdt:P10376 "mathematics/computability-theory"
"mathematics/recursion-theory"
wdt:P1051 "6607"
wdt:P12946 "computability+theory"
wdt:P2581 "00775789n"
wdt:P279 mathematical logic
theoretical computer science
theory of computation
wdt:P3285 "03Dxx"
wdt:P3417 "Computability-Theory-computer-science"
wdt:P3553 "19734535"
wdt:P361 theory of mathematical algorithms
mathematical logic
wdt:P373 "Computer science"
wdt:P3827 "recursion-theory"
wdt:P5008 Wikipedia:Vital articles/Level/4
wdt:P6366 "111142201"
wdt:P646 "/m/014c37"
wdt:P6781 "Definition:Computability_Theory"
wdt:P691 "ph678150"
wdt:P8189 "987007545779505171"
wdt:P8313 "beregnelighed"
wdt:P8408 "ComputabilityTheory"
wdt:P910 Category:Computability theory
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata