<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Algebraic_data_type> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://www.w3.org/2000/01/rdf-schema#label>	"Inductive data type"@en .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Induction> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Recursive_data_type> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageID>	"3699637"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"926634634"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Disambiguation> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Type_theory> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Inductive_data_type> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Dependently_typed_programming> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Intuitionistic_type_theory> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Type_theory> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Inductive_data_type?oldid=926634634&ns=0> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageLength>	"525"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Inductive_type> .
<http://dbpedia.org/resource/Inductive_data_type>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Dependently_typed_programming> .