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