{"id":"https://openalex.org/W2478734054","doi":"https://doi.org/10.1007/bfb0012819","title":"9th International Conference on Automated Deduction","display_name":"9th International Conference on Automated Deduction","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2478734054","doi":"https://doi.org/10.1007/bfb0012819","mag":"2478734054"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0012819","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012819","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","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":null,"display_name":"International Conference on Automated Deduction 1988 Argonne, Ill.","orcid":null},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]},{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"International Conference on Automated Deduction 1988 Argonne, Ill.","raw_affiliation_strings":["University of Texas, Austin, TX) \u2022 Les Arcs, France","University of Texas, Austin TX, USA (","Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cass Avenue, Argonne, IL 60439, USA","\u2022 Massachusetts Institute of Technology, USA, 1977 (","Argonne National Laboratory, USA","MIT, Cambridge, MA) \u2022"],"affiliations":[{"raw_affiliation_string":"University of Texas, Austin, TX) \u2022 Les Arcs, France","institution_ids":[]},{"raw_affiliation_string":"University of Texas, Austin TX, USA (","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cass Avenue, Argonne, IL 60439, USA","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"\u2022 Massachusetts Institute of Technology, USA, 1977 (","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Argonne National Laboratory, USA","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"MIT, Cambridge, MA) \u2022","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078469358","display_name":"Ewing Lusk","orcid":null},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]},{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lusk, Ewing","raw_affiliation_strings":["Argonne National Laboratory, USA","University of Texas, Austin TX, USA (","MIT, Cambridge, MA) \u2022","\u2022 Massachusetts Institute of Technology, USA, 1977 (","University of Texas, Austin, TX) \u2022 Les Arcs, France","Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cass Avenue, Argonne, IL 60439, USA"],"affiliations":[{"raw_affiliation_string":"Argonne National Laboratory, USA","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"University of Texas, Austin TX, USA (","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"MIT, Cambridge, MA) \u2022","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"\u2022 Massachusetts Institute of Technology, USA, 1977 (","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"University of Texas, Austin, TX) \u2022 Les Arcs, France","institution_ids":[]},{"raw_affiliation_string":"Mathematics and Computer Science Division Argonne National Laboratory 9700 South Cass Avenue, Argonne, IL 60439, USA","institution_ids":["https://openalex.org/I1282105669"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1282105669","https://openalex.org/I4210110987","https://openalex.org/I63966007","https://openalex.org/I86519309"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.587,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.79904875,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.1873999983072281,"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/T10320","display_name":"Neural Networks and Applications","score":0.1873999983072281,"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/national-laboratory","display_name":"National laboratory","score":0.8093317747116089},{"id":"https://openalex.org/keywords/ninth","display_name":"Ninth","score":0.7683093547821045},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6713278889656067},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.49781084060668945},{"id":"https://openalex.org/keywords/volume","display_name":"Volume (thermodynamics)","score":0.4724472165107727},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4156584143638611},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.3980140686035156},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3571408987045288},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33852118253707886},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14873340725898743},{"id":"https://openalex.org/keywords/engineering-physics","display_name":"Engineering physics","score":0.07505005598068237},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05127406120300293}],"concepts":[{"id":"https://openalex.org/C2991948145","wikidata":"https://www.wikidata.org/wiki/Q16801175","display_name":"National laboratory","level":2,"score":0.8093317747116089},{"id":"https://openalex.org/C2776244770","wikidata":"https://www.wikidata.org/wiki/Q253590","display_name":"Ninth","level":2,"score":0.7683093547821045},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6713278889656067},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.49781084060668945},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.4724472165107727},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4156584143638611},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3980140686035156},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3571408987045288},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33852118253707886},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14873340725898743},{"id":"https://openalex.org/C61696701","wikidata":"https://www.wikidata.org/wiki/Q770766","display_name":"Engineering physics","level":1,"score":0.07505005598068237},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05127406120300293},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bfb0012819","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0012819","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-018660434","is_oa":false,"landing_page_url":"https://doi.org/10.1007/BFb0012819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4320403191","https://openalex.org/W2418086552","https://openalex.org/W4365148692","https://openalex.org/W2137958507","https://openalex.org/W2353365501","https://openalex.org/W4210972636","https://openalex.org/W4297747900","https://openalex.org/W3118511850","https://openalex.org/W2321963733","https://openalex.org/W4224988680"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2016-08-23T00:00:00"}