Heyting algebra ^{الإنجليزية} (Q696433)

من Marefa data

class of algebraic structures ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Heyting algebra	class of algebraic structures

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

named after ^{الإنجليزية}

Arend Heyting ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

subclass of ^{الإنجليزية}

residuated lattice ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

distributive lattice ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

cartesian closed category ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

finitely complete category ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

finitely cocomplete category ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

BabelNet ID ^{الإنجليزية}

02443810n

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Commons category ^{الإنجليزية}

Heyting Algebra

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

studied by ^{الإنجليزية}

lattice theory ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

منطق رياضي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ مدخلة)

ويكيبيديا(٥ مدخلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q696433&oldid=48865261»