Term: P2_has_type

Full identifier: http://erlangen-crm.org/current/P2_has_type

show references