(Q1889275)

بيانات

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

٠ مرجع

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

http://research.microsoft.com/users/lamport/tla/tla.html

١ مراجع

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

discoverer or inventor ^{الإنجليزية}

ليسلي لامبورت

١ مراجع

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

time of discovery or invention ^{الإنجليزية}

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

١ مراجع

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

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

نظام تشغيل

١ مراجع

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

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

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

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

enwiki Temporal logic of actions

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