dataset website

Gives a map whose regions correspond to properties of theories (together with the known implications between these properties), with clickable dots giving examples of theories satisfying those properties.