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:
Counter-machine model
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
unknown
Property
Value
dbo:
wikiPageExternalLink
https://archive.org/details/computationfinit0000mins
dbo:
wikiPageWikiLink
dbr
:Hao_Wang_(academic)
dbr
:Primitive_recursive_function
dbr
:Peter_van_Emde_Boas
dbr
:Hilbert's_problems
dbr
:Random-access_machine
dbc
:Models_of_computation
dbr
:Joachim_Lambek
dbr
:Rózsa_Péter
dbr
:Hans_Hermes
dbr
:Jan_van_Leeuwen
dbr
:MIT_Lincoln_Laboratory
dbr
:Diophantine_equation
dbr
:Tag_system
dbr
:William_Lowell_Putnam_Mathematical_Competition
dbr
:Donald_Knuth
dbr
:Frances_Yao
dbr
:David_Hilbert
dbr
:Arnold_Schönhage
dbr
:Marvin_Minsky
dbr
:George_Boolos
dbr
:Register_machine
dbr
:Pointer_machine
dbr
:Space_hierarchy_theorem
dbr
:Post–Turing_machine
dbr
:Wang_B-machine
dbr
:Time_hierarchy_theorem
dbr
:Turing_machine
dbr
:Canadian_Mathematical_Bulletin
dbr
:Richard_Jeffrey
dbr
:John_P._Burgess
dbr
:Counter_machine
dbr
:Emil_Post
dbr
:Andrey_Ershov
dbr
:Mu_operator
dbr
:Mu_recursive_function
dbr
:H._E._Sturgis
dbr
:John_C._Shepherdson
dbr
:Schōnhage
dbr
:Z._A._Melzak
dbr
:Z._Alexander_Melzak
dbr
:Gödel_number
dbr
:Partial_recursive_function
dbr
:Rich_Schroeppel
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Cite_journal
dbt
:Sfn
dbt
:Citation
dbt
:ISBN
dbt
:Harvtxt
dbt
:Spaced_ndash
dbt
:Refn
dbt
:Ordered_list
dbt
:Blockquote
dct:
subject
dbc
:Models_of_computation
rdfs:
label
Counter-machine model
(en)
owl:
sameAs
freebase
:Counter-machine model
yago-res
:Counter-machine model
wikidata
:Counter-machine model
dbpedia-global
:Counter-machine model
prov:
wasDerivedFrom
wikipedia-en
:Counter-machine_model?oldid=1256156453&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Counter-machine_model
is
dbo:
wikiPageRedirects
of
dbr
:Register-machine_model
dbr
:Register_machine_models
dbr
:Counter_machine_models
is
dbo:
wikiPageWikiLink
of
dbr
:Cell-probe_model
dbr
:LOOP_(programming_language)
dbr
:Random-access_machine
dbr
:Register_machine
dbr
:Wang_B-machine
dbr
:Algorithm_characterizations
dbr
:Register-machine_model
dbr
:Register_machine_models
dbr
:Counter_machine_models
is
foaf:
primaryTopic
of
wikipedia-en
:Counter-machine_model
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International