PropertyValue
rdf:type
rdfs:label
  • Bolzano–Weierstrass theorem
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Bolzano–Weierstrass theorem
skos:altLabel
  • Bolzano–Weierstrass theorem
  • Bolzano'''–'''Weierstrass theorem
  • Bolzano's theorem
  • Bolzano–Weierstrass
  • proof of the Bolzano–Weierstrass theorem
is clgo:knownFor of
is clgo:notableIdea of