tilde-research/tptp

这是一个包含逻辑问题及其上下文的数据集，用于研究问题的可满足性问题。数据集包含四个字段：唯一标识符id，表示问题是否可满足的布尔字段satisfiable，问题的文本序列questions，以及问题上下文的文本序列contexts。数据集被划分为训练集，共有156个示例，总大小为1289349字节。

This dataset consists of logical problems and their contexts for studying the satisfiability of questions. It includes four fields: a unique identifier id, a boolean field satisfiable indicating whether the problem is satisfiable, a sequence of question texts questions, and a sequence of context texts contexts. The dataset is split into a training set with a total of 156 examples and a size of 1289349 bytes.

原始信息汇总

数据集概述

数据集信息

• 特征:
  • id: 字符串类型
  • satisfiable: 布尔类型
  • questions: 字符串序列
  • contexts: 字符串序列

数据分割

• train:
  • 字节数: 1289349
  • 样本数: 156

数据集大小

• 下载大小: 0
• 数据集大小: 1289349