RUI: Create High-Performance Theorem Provers
{'Code': '05010200', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'S. Kamal Abdali', 'PO_EMAI': None, 'PO_PHON': None}
The proposal is to develop very high performance theorem provers by             exploiting parallel computing.  The new deduction systems will enable           multiple processors to cooperatively attack a given problem, while              allowing users to install their own representations of formulas and             inference rules.
[{'FirstName': 'Ralph', 'LastName': 'Butler', 'PI_MID_INIT': 'M', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ralph M Butler', 'EmailAddress': 'rbutler@mtsu.edu', 'NSF_ID': '000346366', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Ross', 'LastName': 'Overbeek', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ross Overbeek', 'EmailAddress': 'ross@integratedgenomics.com', 'NSF_ID': '000328891', 'StartDate': '01/01/1989', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'University of North Florida', 'CityName': 'JACKSONVILLE', 'ZipCode': '322247699', 'PhoneNumber': '9046202455', 'StreetAddress': '1 U N F DR', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Florida', 'StateCode': 'FL', 'CONGRESSDISTRICT': '05', 'CONGRESS_DISTRICT_ORG': 'FL05', 'ORG_UEI_NUM': 'MHM6MGJFANE7', 'ORG_LGL_BUS_NAME': 'UNIVERISTY OF NORTH FLORIDA', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8810947.xml'}