Disambiguation evidence for TLA+ via surface form

"TLA+"

Triples (5)

Triples where some other subject referred to this entity as "TLA+".

Temporal Logic of Actions → influenced →
"TLA+"
↳ resolves to TLA+
ⓘ
TLA → hasExtension →
"TLA+"
↳ resolves to TLA+
ⓘ
TLA → relatedTo →
"TLA+"
↳ resolves to TLA+
ⓘ
TLA → influenced →
"TLA+"
↳ resolves to TLA+
ⓘ
PlusCal → canBeTranslatedTo →
"TLA+"
↳ resolves to TLA+
ⓘ
linked to: PlusCal algorithm language