نظرية النمط (Q110662)

من Marefa data

concept in mathematical logic and computer science ^{الإنجليزية}

نمط

اللغة	التسمية	الوصف	أسماء أخرى
العربية	نظرية النمط	لا يوجد وصف	نمط
الإنجليزية	type theory	concept in mathematical logic and computer science	theory of types

بيانات

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

٠ مرجع

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

Type theory

١ مراجع

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

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

نظام صوري

١ مراجع

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

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

١ مراجع

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

Encyclopædia Britannica Online ID ^{الإنجليزية}

topic/theory-of-types-logic

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

theory of types

١ مراجع

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

topic/ramified-theory-of-types

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

ramified theory of types

١ مراجع

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

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

١ مراجع

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

١ مراجع

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

علم الحاسوب

١ مراجع

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

منطق رياضي

١ مراجع

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

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

03130588n

١ مراجع

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

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

مجالات الرياضيات

١ مراجع

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

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

١ مراجع

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

has use ^{الإنجليزية}

proof assistant ^{الإنجليزية}

١ مراجع

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

نوعية قوية

١ مراجع

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

topic's main category ^{الإنجليزية}

تصنيف:نظرية النمط

١ مراجع

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

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

history of type theory ^{الإنجليزية}

١ مراجع

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

وصلات الموقع

Marefa(١ وصلة واحدة)

marefa نظرية النمط

ويكيبيديا(١٣ وصلة)

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