Disambiguation evidence for Leslie Lamport via surface form

"Leslie Lamport"

Triples (21)

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

Turing Award → hasNotableRecipient →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Leslie Lamport → name →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
LaTeX → creator →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Paxos consensus algorithm → designedBy →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Paxos consensus algorithm → correctnessProvedBy →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Temporal Logic of Actions → creator →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Temporal Logic of Actions → firstDescribedBy →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Byzantine Generals Problem → hasAuthor →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Massachusetts Computer Associates → employed →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Massachusetts Computer Associates → notableEmployee →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Time, Clocks, and the Ordering of Events in a Distributed System → author →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
linked to: "Time, Clocks, and the Ordering of Events in a Distributed System"
The Part-Time Parliament → author →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
linked to: "The Part-Time Parliament"
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs → author →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
linked to: "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
BibTeX → developer →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Leslie → hasNotableBearer →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
LaTeX User’s Guide and Reference Manual → author →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
TLA → developer →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
PlusCal → designedBy →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
linked to: PlusCal algorithm language
TLA+ → creator →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
Robert Shostak → coAuthorWith →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ
IEEE Computer Society W. Wallace McDowell Award → notableRecipient →
"Leslie Lamport"
↳ resolves to Leslie Lamport
ⓘ