{"pages":[{"summary":null,"page_name":"Group Cardinality","sha":"0c15b7e04d2438b556161be1205ec6788353fc32","action":"edited","title":"Group Cardinality","html_url":"https://github.com/gsdlab/clafer/wiki/Group-Cardinality"}]}