(Q3915433)

بيانات

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

٠ مرجع

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

١ مراجع

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

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

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

١ مراجع

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

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

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

١ مراجع

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

Google Knowledge Graph ID ^{الإنجليزية}

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

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

frwiki Skolémisation

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