L
📝 描述
A set of data sets, where each data set is represented in first order logic. Maintained at the University of Dortmund, Germany.
⭐ 用户评价
暂无评价