Disambiguation evidence for PlusCal algorithm language via surface form

"PlusCal"

Triples (4)

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

Temporal Logic of Actions → influenced →
"PlusCal"
↳ resolves to PlusCal algorithm language
ⓘ
TLA+ → hasComponent →
"PlusCal"
↳ resolves to PlusCal algorithm language
ⓘ
TLA+ → hasSpecificationLanguage →
"PlusCal"
↳ resolves to PlusCal algorithm language
ⓘ
TLA+ → influenced →
"PlusCal"
↳ resolves to PlusCal algorithm language
ⓘ