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

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

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

بيانات

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

Q1617044

٠ مرجع

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

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

١ مراجع

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

Q1617044

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

/m/01szjs

١ مراجع

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

Q1617044

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

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

١ مراجع

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

Q1617044

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

١ مراجع

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

Q1617044

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

١ مراجع

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

Q1617044

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

١ مراجع

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

Q1617044

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

١ مراجع

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

Q1617044

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

02443810n

١ مراجع

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

Q1617044

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

187062830

١ مراجع

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

Q1617044

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

Heyting Algebra

١ مراجع

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

Q1617044

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

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

١ مراجع

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

Q1617044

منطق رياضي

١ مراجع

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

Q1617044

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

بيانات

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٥ وصلات)