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

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

PrefixNamespace IRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://en.wikipedia.org/wiki/Joseph_R.
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n7http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n5http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z)
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Recursive_definition
rdf:type
clgo:Academic_discipline clgo:Type_of_sets owl:NamedIndividual clgo:First-order_theory clgo:Mathematical_logic_topic
rdfs:label
Recursive definition
owl:sameAs
dbr:Recursive_definition
prov:wasDerivedFrom
n5: n7:List_of_academic_fields n7:Outline_of_logic n7:Mathematical_logic n7:Outline_of_academic_disciplines n11:_Shoenfield n7:0 n7:Let_expression n7:Process_calculus n7:List_of_types_of_sets n7:Primitive_recursive_functional n7:Primitive_recursive_arithmetic n7:Outline_of_mathematics n7:List_of_mathematical_logic_topics n7:List_of_first-order_theories
skos:prefLabel
Recursive definition
skos:altLabel
inductive definition definition by recursion recursive recursively implemented recursively Recursive set defined inductively recursively defined recursive definition be recursively defined recursively recursively constructed Recursion theory axiom granting definition recurrence inductively recursion