(Q4053666)

بيانات

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

Q63368493

٠ مرجع

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

research grant ^{الإنجليزية}

١ مراجع

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

Q63368493

research project ^{الإنجليزية}

١ مراجع

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

Q63368493

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

جامعة ليدز

١ مراجع

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

Q63368493

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

Nicola Gambino ^{الإنجليزية}

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

Nicola Gambino

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

principal investigator ^{الإنجليزية}

١ مراجع

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

Q63368493

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

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

Pure Mathematics

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

منشأة

١ مراجع

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

Q63368493

جامعة شالمر للتكنولوجيا

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

Chalmers University of Technology

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

مساهم

١ مراجع

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

Q63368493

جامعة كمبردج

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

University of Cambridge

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

مساهم

١ مراجع

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

Q63368493

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

٣٠ مارس 2015^{http://data.marefa.org/entity/Q1985727}

١ مراجع

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

Q63368493

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

٢٩ مارس 2019^{http://data.marefa.org/entity/Q1985727}

١ مراجع

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

Q63368493

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

المملكة المتحدة

١ مراجع

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

Q63368493

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

٩٣٬١٣٣ جنيه إسترليني

١ مراجع

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

Q63368493

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

Homotopy Type Theory: Programming and Verification (الإنجليزية البريطانية)

١ مراجع

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

Q63368493

(Q4053666)

بيانات

وصلات الموقع

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

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