Automated Deduction in Set Theory
{'Code': '15030000', 'Directorate': {'Abbreviation': 'TIP', 'LongName': 'Dir for Tech, Innovation, & Partnerships'}, 'Division': {'Abbreviation': 'TI', 'LongName': 'Translational Impacts'}}
{'SignBlockName': 'Ritchie B. Coryell', 'PO_EMAI': None, 'PO_PHON': None}
This research involves an approach to develop heuristic                    methods for automated theorem proving in set theory.  The work                  would continue, into Phase II, research that was performed                      under the Small Business Innovation Research program to lay a                   foundation for automated deduction in set theory.  The purpose                  of the Phase I research was to establish a theoretical                          framework for the heuristic methods to be developed in Phase                    II.                                                                                  In Phase II, the intention is to build on this foundation                  by developing heuristics for choosing substitution terms.  This                 is a central problem in any uniform proof procedure.  The                       hypothesis to be tested in Phase II is that the pictures that                   humans draw to support informal proofs may be used to guide the                 choice of substitution terms.//
{'FirstName': 'Sidney', 'LastName': 'Bailin', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Sidney C Bailin', 'EmailAddress': 'sbailin@kevol.com', 'PI_PHON': '2023283352', 'NSF_ID': '000235571', 'StartDate': '12/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Computer Technology Associates', 'CityName': 'Englewood', 'ZipCode': '80111', 'PhoneNumber': '3016214727', 'StreetAddress': '5670 South Syracuse Circle', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Colorado', 'StateCode': 'CO', 'CONGRESSDISTRICT': '06', 'CONGRESS_DISTRICT_ORG': 'CO06', 'ORG_UEI_NUM': None, 'ORG_LGL_BUS_NAME': None, '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': '5373', 'Text': 'SBIR Phase II'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8701133.xml'}