Disambiguation evidence for Amir Pnueli via surface form

"Amir Pnueli"

Triples (11)

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

Zohar Manna → notableStudent →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Zohar Manna → coAuthorWith →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Doron Peled → coAuthorWith →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Doron Peled → hasAcademicAdvisor →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Amir Pnueli → name →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
CAV Award → notableRecipient →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
LTL → introducedBy →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Decision Problems in the Theory of Automata → author →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Decision Problems in the Theory of Automata → hasAuthor →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
The Temporal Logic of Programs → author →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ
Elisha Netanyahu → notableStudent →
"Amir Pnueli"
↳ resolves to Amir Pnueli
ⓘ