Disambiguation evidence for Yves Bertot via surface form
"Interactive Theorem Proving and Program Development"
No triples for this surface form
Surface form "Interactive Theorem Proving and Program Development"
was not used to refer to this entity at the
object position of any triple.