About: Induction-induction

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.cse.chalmers.se/~peterd/papers/inductive.html https://cs.stackexchange.com/questions/64130/what-is-induction-induction/64139%7Cdate=November
dbo:wikiPageWikiLink	dbr:Induction-recursion dbr:Intuitionistic_type_theory dbc:Type_theory dbr:Mathematical_logic dbr:Inductive_definition
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Multiple_issues dbt:More_citations_needed dbt:Technical
dct:subject	dbc:Type_theory
rdfs:label	Induction-induction (en)
owl:sameAs	wikidata:Induction-induction dbpedia-global:Induction-induction
prov:wasDerivedFrom	wikipedia-en:Induction-induction?oldid=1232490356&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Induction-induction
is dbo:wikiPageWikiLink of	dbr:Induction-recursion dbr:Inductive_type dbr:Type_theory
is foaf:primaryTopic of	wikipedia-en:Induction-induction

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International