(Q1889270)

بيانات

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

٠ مرجع

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

لغة برمجة

١ مراجع

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

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

https://lamport.azurewebsites.net/tla/tla.html

١ مراجع

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

designed by ^{الإنجليزية}

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

١ مراجع

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

copyright license ^{الإنجليزية}

رخصة إم أي تي

١ مراجع

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

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

Google Summer of Code 2018 ^{الإنجليزية}

١ مراجع

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

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

٢٣ أبريل 1999^{http://data.marefa.org/entity/Q1985727}

١ مراجع

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

based on ^{الإنجليزية}

temporal logic of actions ^{الإنجليزية}

١ مراجع

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

copyright status ^{الإنجليزية}

حقوق التأليف والنشر محفوظة

١ مراجع

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

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

١ مراجع

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

وصلات الموقع

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

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

enwiki TLA+

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