Disambiguation evidence for PlusCal algorithm language via surface form
"The PlusCal Algorithm Language (by Leslie Lamport)"
Triples (1)
Triples where some other subject referred to this entity
as "The PlusCal Algorithm Language (by Leslie Lamport)".
PlusCal
→
documentation
→
"The PlusCal Algorithm Language (by Leslie Lamport)"
ⓘ
↳ resolves to PlusCal algorithm language
linked to:
PlusCal algorithm language