URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Towards mechanized mathematical assistants, 2007:t.p. (Manuel Kauers)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2007-07-18: new
- 2007-07-19: revised
Alternate Formats