Dedekind number

GPTKB entity