Disambiguation evidence for Archive of Formal Proofs via surface form
"Archive of Formal Proofs (AFP)"
Triples (1)
Triples where some other subject referred to this entity
as "Archive of Formal Proofs (AFP)".
Isabelle proof assistant
→
hasCommunityResource
→
"Archive of Formal Proofs (AFP)"
ⓘ
↳ resolves to Archive of Formal Proofs
surface form:
Isabelle