Disambiguation evidence for TLA+ proof system via surface form
"TLA+ proof system"
Triples (1)
Triples where some other subject referred to this entity
as "TLA+ proof system".
Disambiguation evidence for TLA+ proof system via surface form
Triples where some other subject referred to this entity
as "TLA+ proof system".