{"database": "team-science", "table": "paper", "rows": [["openalex:W2946011656", null, "W2946011656", null, null, null, null, null, "HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving", 2019, "International Conference on Machine Learning", "Computer Science", "https://openalex.org/fields/17", "http://proceedings.mlr.press/v97/bansal19a/bansal19a.pdf", "2026-09-02T02:37:09Z", "openalex"]], "columns": ["lom_id", "doi", "openalex", "s2_paper_id", "arxiv", "pmid", "pmcid", "acl", "title", "year", "venue", "primary_field", "primary_field_id", "oa_url", "ingested_ts", "source"], "primary_keys": ["lom_id"], "primary_key_values": ["openalex:W2946011656"], "units": {}, "query_ms": 0.6388518959283829, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}