(Q1768223)

بيانات

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

٠ مرجع

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

١ مراجع

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

educated at ^{الإنجليزية}

جامعة كانتربري

١ مراجع

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

doctoral advisor ^{الإنجليزية}

Hannes Diener ^{الإنجليزية}

١ مراجع

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

Maarten McKubre-Jordens ^{الإنجليزية}

١ مراجع

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

José Felipe Voloch ^{الإنجليزية}

١ مراجع

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

given name ^{الإنجليزية}

١ مراجع

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

academic thesis ^{الإنجليزية}

Minimal logic and automated proof verification. ^{الإنجليزية}

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

أطروحة أكاديمية

١ مراجع

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

academic degree ^{الإنجليزية}

دكتوراه الفلسفة

point in time ^{الإنجليزية}

2019^{http://data.marefa.org/entity/Q1985727}

١ مراجع

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

وصلات الموقع

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

ويكيبيديا(٠ : لا وصلات)

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