Church–Rosser theorem ^{الإنجليزية} (Q2003591)

من Marefa data

theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Church–Rosser theorem	theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result

بيانات

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

٠ مرجع

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

ألونزو تشرتش

١ مراجع

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

J. Barkley Rosser ^{الإنجليزية}

١ مراجع

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

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

١ مراجع

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

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

مبرهنات رياضية

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

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

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