Disambiguation evidence for European research community on theorem proving via surface form
"European research community on theorem proving"
Triples (1)
Triples where some other subject referred to this entity
as "European research community on theorem proving".
Inria–Université Paris-Sud–CNRS research community around Coq
→
partOf
→
"European research community on theorem proving"
ⓘ
↳ resolves to European research community on theorem proving