(Q3254482)

بيانات

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

٠ مرجع

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

١ مراجع

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

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

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

١ مراجع

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

مفهوم رياضي

١ مراجع

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

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

Thoralf Skolem ^{الإنجليزية}

١ مراجع

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

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

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

١ مراجع

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

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

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

١ مراجع

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

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

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

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

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

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