Least-upper-bound principle
http://dbpedia.org/resource/Least-upper-bound_principle
rdf:langString
Least-upper-bound principle
xsd:integer
53600098
xsd:integer
772275699
xsd:nonNegativeInteger
39