PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Template:ProofWiki
Template:ProofWiki
http://dbpedia.org/resource/Template:ProofWiki
Template:ProofWiki
Banach–Tarski paradox
Brahmagupta's formula
Brahmagupta theorem
Intermediate value theorem
Lagrange polynomial
Möbius inversion formula
Niven's theorem
Poincaré conjecture
Pythagorean theorem
Taylor's theorem
Triangle inequality
Tychonoff's theorem
Vandermonde matrix
wikiPageUsesTemplate
Template:ProofWiki
http://dbpedia.org/resource/Template:ProofWiki
Wikipage page ID
40,513,317
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
904,782,776
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:ProofWiki
wasDerivedFrom
Template:ProofWiki?oldid=904782776&ns=10