PanLinx
Deutsch
deu-000
Reelle Zahlen
English
eng-000
real numbers
suomi
fin-000
reaaliluvut
한국어
kor-000
실수
svenska
swe-000
reella tal
PanLex
