{"id":"doi:10.1609/aaai.v34i03.5689","kind":"article","title":"Graph Representations for Higher-Order Logic and Theorem Proving","authors":["Aditya Paliwal","Sarah M. Loos","Markus N. Rabe","Kshitij Bansal","Christian Szegedy"],"author_count":5,"year":2020,"published":"2020-04-03","venue":"AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI))","cited_by":68,"doi":"10.1609/aaai.v34i03.5689","arxiv_id":null,"nct_id":null,"source_url":"https://ojs.aaai.org/index.php/AAAI/article/view/5689","archive_url":"https://space-kitty.com/papers/doi:10.1609/aaai.v34i03.5689","updated":null,"pmid":null,"pmcid":null,"openalex_id":"W2997319416","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/5689/5545","abstract":null,"abstract_license":null,"license":null,"is_open_access":true,"retracted":false,"peer_reviewed":null,"categories":["Logic, programming, and type systems"],"details":null,"provenance":"openalex","attribution":"Metadata and citation counts: OpenAlex (CC0).","topics":[{"slug":"ai-mathematics","name":"AI for Mathematics & Formal Proof","domain_slug":"math-cs"}],"cited_in_dossiers":[]}