{
   "name": "first-order-theorem-proving",
   "title": "First order theorem proving",
   "resources": [
      {
         "path": "first-order-theorem-proving.arff",
         "pathType": "local",
         "name": "first-order-theorem-proving",
         "format": "arff",
         "encoding": "ISO-8859-1"
      },
      {
         "path": "first-order-theorem-proving.csv",
         "pathType": "local",
         "name": "first-order-theorem-proving",
         "format": "csv",
         "mediatype": "text/csv",
         "encoding": "ISO-8859-2",
         "dialect": {
            "delimiter": ",",
            "quoteChar": "\""
         },
         "schema": {
            "fields": [
               {
                  "name": "V1",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V2",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V3",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V4",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V5",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V6",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V7",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V8",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V9",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V10",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V11",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V12",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V13",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V14",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V15",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V16",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V17",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V18",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V19",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V20",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V21",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V22",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V23",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V24",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V25",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V26",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V27",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V28",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V29",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V30",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V31",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V32",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V33",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V34",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V35",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V36",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V37",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V38",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V39",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V40",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V41",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V42",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V43",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V44",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V45",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V46",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V47",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V48",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V49",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V50",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "V51",
                  "type": "number",
                  "format": "default"
               },
               {
                  "name": "Class",
                  "type": "number",
                  "format": "default"
               }
            ],
            "missingValues": [
               ""
            ]
         }
      }
   ],
   "readme": "The resources for this dataset can be found at https://www.openml.org/d/1475\n\nAuthor: James P Bridge, Sean B Holden and Lawrence C Paulson \n  \nSource: [UCI](https://archive.ics.uci.edu/ml/datasets/First-order+theorem+proving)  \n\nPlease cite: James P Bridge, Sean B Holden and Lawrence C Paulson . Machine learning for first-order theorem proving: learning to select a good heuristic. Journal of Automated Reasoning, Springer 2012/13. \n\nSource:\n\nJames P Bridge, Sean B Holden and Lawrence C Paulson \n\nUniversity of Cambridge \nComputer Laboratory \nWilliam Gates Building \n15 JJ Thomson Avenue \nCambridge CB3 0FD \nUK \n\n+44 (0)1223 763500 \nforename.surname '@' cl.cam.ac.uk\n\n\nData Set Information:\n\nSee the file dataset file.\n\n\nAttribute Information:\n\nThe attributes are a mixture of static and dynamic features derived from theorems to be proved. See the paper for full details.\n",
   "description": "The resources for this dataset can be found at https://www.openml.org/d/1475\n\nAuthor: James P Bridge",
   "licenses": [
      {
         "name": "ODC-PDDL",
         "path": "http://opendatacommons.org/licenses/pddl/",
         "title": "Open Data Commons Public Domain Dedication and License"
      }
   ]
}