Disambiguation evidence for Yves Bertot via surface form
"Yves Bertot"
Triples (2)
Triples where some other subject referred to this entity
as "Yves Bertot".
Interactive Theorem Proving and Program Development
→
author
→
"Yves Bertot"
ⓘ
↳ resolves to Yves Bertot
linked to:
Yves Bertot