Class: '$d$ - Recursively enumerable set'
http://cll.niimm.ksu.ru/ontologies/mathematics#E2391
Annotations (3)
-
comment "Множество называется d-рекурсивно-перечислимым, если оно является разностью двух рекурсивно-перечислимых множеств" (string)
-
label "$d$ - Recursively enumerable set" (en)
-
label "$d$-рекурсивно-перечислимое множество" (ru)
Superclasses (1)
Usage (1)
-
Class: '$d$ - Recursively enumerable set'