{"id":"https://openalex.org/W2000986968","doi":"https://doi.org/10.1145/1464122.1464157","title":"Experiments with a theorem-utilizing program","display_name":"Experiments with a theorem-utilizing program","publication_year":1964,"publication_date":"1964-01-01","ids":{"openalex":"https://openalex.org/W2000986968","doi":"https://doi.org/10.1145/1464122.1464157","mag":"2000986968"},"language":"en","primary_location":{"id":"doi:10.1145/1464122.1464157","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1464122.1464157","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the April 21-23, 1964, spring joint computer conference on XX - AFIPS '64 (Spring)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005985922","display_name":"Larry Travis","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Larry E. Travis","raw_affiliation_strings":["System Development Corporation, Santa Monica, California","System Development Corporation , Santa Monica, California"],"affiliations":[{"raw_affiliation_string":"System Development Corporation, Santa Monica, California","institution_ids":[]},{"raw_affiliation_string":"System Development Corporation , Santa Monica, California","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5005985922"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.07120743,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"339","last_page":"339"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.814388632774353},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.7194305658340454},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5611133575439453},{"id":"https://openalex.org/keywords/computer-program","display_name":"Computer program","score":0.5446724891662598},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47453033924102783},{"id":"https://openalex.org/keywords/partial-evaluation","display_name":"Partial evaluation","score":0.45494791865348816},{"id":"https://openalex.org/keywords/game-tree","display_name":"Game tree","score":0.45264533162117004},{"id":"https://openalex.org/keywords/computer-game","display_name":"Computer game","score":0.43091660737991333},{"id":"https://openalex.org/keywords/program-synthesis","display_name":"Program synthesis","score":0.4247027635574341},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37969619035720825},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3042758107185364},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.1812848448753357},{"id":"https://openalex.org/keywords/repeated-game","display_name":"Repeated game","score":0.1408146321773529},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.10493040084838867},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0935802161693573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.814388632774353},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7194305658340454},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5611133575439453},{"id":"https://openalex.org/C2777362769","wikidata":"https://www.wikidata.org/wiki/Q40056","display_name":"Computer program","level":2,"score":0.5446724891662598},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47453033924102783},{"id":"https://openalex.org/C195701839","wikidata":"https://www.wikidata.org/wiki/Q4008398","display_name":"Partial evaluation","level":2,"score":0.45494791865348816},{"id":"https://openalex.org/C95815963","wikidata":"https://www.wikidata.org/wiki/Q1377033","display_name":"Game tree","level":4,"score":0.45264533162117004},{"id":"https://openalex.org/C3020701032","wikidata":"https://www.wikidata.org/wiki/Q7889","display_name":"Computer game","level":2,"score":0.43091660737991333},{"id":"https://openalex.org/C2776937632","wikidata":"https://www.wikidata.org/wiki/Q4117718","display_name":"Program synthesis","level":2,"score":0.4247027635574341},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37969619035720825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3042758107185364},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.1812848448753357},{"id":"https://openalex.org/C202556891","wikidata":"https://www.wikidata.org/wiki/Q1584646","display_name":"Repeated game","level":3,"score":0.1408146321773529},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.10493040084838867},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0935802161693573},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1464122.1464157","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1464122.1464157","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the April 21-23, 1964, spring joint computer conference on XX - AFIPS '64 (Spring)","raw_type":"proceedings-article"},{"id":"pmh:AD0431056","is_oa":false,"landing_page_url":"http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD0431056","pdf_url":null,"source":{"id":"https://openalex.org/S4406923043","display_name":"Defense Technical Information Center (DTIC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DTIC AND NTIS","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1770975","https://openalex.org/W145832685","https://openalex.org/W1514436817","https://openalex.org/W1977384182","https://openalex.org/W1991656654","https://openalex.org/W1997093626","https://openalex.org/W2000558676","https://openalex.org/W2022788902","https://openalex.org/W2026751516","https://openalex.org/W2038706071","https://openalex.org/W2040183410","https://openalex.org/W2045031658","https://openalex.org/W2052628540","https://openalex.org/W2062897452","https://openalex.org/W2069224897","https://openalex.org/W2085089824","https://openalex.org/W2112161977","https://openalex.org/W2112206808","https://openalex.org/W2138178898","https://openalex.org/W2171071458","https://openalex.org/W3198350258"],"related_works":["https://openalex.org/W2735351780","https://openalex.org/W2506589621","https://openalex.org/W1853535856","https://openalex.org/W1591035743","https://openalex.org/W3133223081","https://openalex.org/W4245195867","https://openalex.org/W2516846536","https://openalex.org/W2808461172","https://openalex.org/W2512222474","https://openalex.org/W2091121811"],"abstract_inverted_index":{"There":[0],"are":[1],"a":[2,13,18,23,32,38,58,73,82,98],"large":[3],"number":[4],"of":[5,11,25,30,40,52,66,105],"difficult":[6],"intellectual":[7],"tasks":[8,87],"which":[9,43],"consist":[10],"synthesizing":[12,37,62],"partial":[14],"ordering.":[15],"To":[16],"program":[17,72,81],"computer":[19,26,74,83],"we":[20,71,80],"must":[21],"synthesize":[22],"sequence":[24,39],"instructions;":[27],"one":[28,50],"way":[29,51],"constructing":[31],"logical":[33],"derivation":[34],"is":[35,60],"by":[36,61,95],"inference-rule":[41],"applications":[42],"transform":[44],"given":[45],"premises":[46],"into":[47],"desired":[48],"conclusion;":[49],"choosing":[53],"among":[54],"alternative":[55],"moves":[56],"in":[57,102],"game":[59],"and":[63],"evaluating":[64],"trees":[65],"possibly":[67],"ensuing":[68],"moves.":[69],"Can":[70,79],"to":[75,84],"perform":[76,85],"such":[77,86,106],"tasks?":[78,107],"expertly,":[88],"i.e.,":[89],"well":[90],"enough":[91],"that":[92],"it":[93],"can":[94],"itself":[96],"surpass":[97],"skilled":[99],"human":[100],"being":[101],"the":[103],"performance":[104]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}