MikelEganaAranguren
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
5
Mathematical induction
Mathematical induction
Concept
http://dbpedia.org/resource/Category:Mathematical_induction
Mathematical induction
Structural induction
Transfinite induction
Bar induction
Coinduction
Course of values induction
Epsilon-induction
Well-founded induction
subject
Wellfoundedness
broader
Mathematical induction
Concept
http://dbpedia.org/resource/Category:Mathematical_induction
Wikipage page ID
31,890,602
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
718,836,687
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Mathematical induction
@en
sameAs
Q8612007
Q8612007
broader
Deductive reasoning
Methods of proof
Proof theory
Recursion
prefLabel
Mathematical induction
@en
wasDerivedFrom
Category:Mathematical_induction?oldid=718836687