prenex normal form ^{الإنجليزية} (Q3915431)

من Marefa data

first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	prenex normal form	first-order formula consisting of a string of quantifiers and bound variables followed by a quantifier-free part

بيانات

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

٠ مرجع

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

١ مراجع

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

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

canonical form ^{الإنجليزية}

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

first-order formula ^{الإنجليزية}

١ مراجع

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

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

topic/prenex-normal-form

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

prenex normal form

١ مراجع

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

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

١ مراجع

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

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

لغة من الرتبة الأولى

١ مراجع

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

وصلات الموقع

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

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

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