Herbrand's theorem ^{الإنجليزية} (Q1573454)

reduction of first-order mathematical logic to propositional logic ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Herbrand's theorem	reduction of first-order mathematical logic to propositional logic

بيانات

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

٠ مرجع

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

Jacques Herbrand ^{الإنجليزية}

١ مراجع

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

١ مراجع

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

١ مراجع

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

١ مراجع

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

١ مراجع