Assertion: real number | /r/HasProperty | represented by the concatenation
Facets:
Source sentences:
text: Nakai and Shiokawa (1992) proved that if f(x) is any non-constant polynomial with real coefficients such that f(x) > 0 for all x > 0, then the real number represented by the concatenation