This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Primitive_recursive_function
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Tail_call
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Recursion
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Course-of-values_recursion
owl:sameAs
wikidata:Q5178160 dbpedia-global:4iMX6 freebase:m.0bb9c7
rdfs:label
Course-of-values recursion
prov:wasDerivedFrom
wikipedia-en:Course-of-values_recursion?oldid=1216716670&ns=0
dbo:description
technique for defining number-theoretic functions by recursion
dbo:wikiPageWikiLink
dbr:Primitive_recursive dbc:Recursion dbr:Computability_theory dbr:Arity dbr:Number-theoretic_function dbr:Gödel_numbering_for_sequences dbr:Fibonacci_number dbr:Primitive_recursive_function dbr:Gödel's_encoding dbr:Recursion_(computer_science) dbc:Computability_theory dbr:Ackermann's_function
dct:subject
dbc:Computability_theory dbc:Recursion
foaf:isPrimaryTopicOf
wikipedia-en:Course-of-values_recursion
dbp:wikiPageUsesTemplate
dbt:Mathematical_logic dbt:Math dbt:No_footnotes dbt:= dbt:Short_description
Subject Item
wikipedia-en:Course-of-values_recursion
foaf:primaryTopic
dbr:Course-of-values_recursion
Subject Item
dbr:Arithmetical_hierarchy
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Well-founded_relation
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Mutual_recursion
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Gödel_numbering
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Course-of-value_recursion
dbo:wikiPageRedirects
dbr:Course-of-values_recursion
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion
Subject Item
dbr:Course_of_values_recursion
dbo:wikiPageRedirects
dbr:Course-of-values_recursion
dbo:wikiPageWikiLink
dbr:Course-of-values_recursion