{"id":"https://openalex.org/W2482394638","doi":"https://doi.org/10.1007/3-540-61511-3","title":"Automated Deduction \u2014 Cade-13","display_name":"Automated Deduction \u2014 Cade-13","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2482394638","doi":"https://doi.org/10.1007/3-540-61511-3","mag":"2482394638"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-61511-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61511-3","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":"conference-paper","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":"CADE (International Conference on Automated Deduction) 1996 New Brunswick, NJ","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"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/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I36253440","display_name":"IEEE Computer Society","ror":"https://ror.org/05nxk6n24","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I36253440"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"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"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AU","DE","US"],"is_corresponding":false,"raw_author_name":"CADE (International Conference on Automated Deduction) 1996 New Brunswick, NJ","raw_affiliation_strings":["(CADE/CAV banquet speaker)","Argonne National Laboratory, USA, 1974","Carnegie Mellon Universit3~ Pittsburgh, PA, USA","MPI-I Saarbriicken Cambridge University Weizmann Institute Carnegie Mellon University SRI International","Sponsors ATS~T Laboratories Bell Labs -Lucent Technologies DIMACS, Rutgers University (host) IEEE Computer Society CADE Sponsor CADE Incorporated","The Australian National University Centre for Information Science Research Canberra, ACT 0200, Australia","The Australian National University Research School of Information Sciences and Engineering Canberra, ACT 0200, Australia","University of Saarland, Saarbriicken, Germany","University of Texas at Austin, USA, 1979"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"(CADE/CAV banquet speaker)","institution_ids":[]},{"raw_affiliation_string":"Argonne National Laboratory, USA, 1974","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"Carnegie Mellon Universit3~ Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"MPI-I Saarbriicken Cambridge University Weizmann Institute Carnegie Mellon University SRI International","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I74973139"]},{"raw_affiliation_string":"Sponsors ATS~T Laboratories Bell Labs -Lucent Technologies DIMACS, Rutgers University (host) IEEE Computer Society CADE Sponsor CADE Incorporated","institution_ids":["https://openalex.org/I36253440"]},{"raw_affiliation_string":"The Australian National University Centre for Information Science Research Canberra, ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"The Australian National University Research School of Information Sciences and Engineering Canberra, ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"University of Saarland, Saarbriicken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"University of Texas at Austin, USA, 1979","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050229459","display_name":"Michael A. McRobbie","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"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/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I36253440","display_name":"IEEE Computer Society","ror":"https://ror.org/05nxk6n24","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I36253440"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"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"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AU","DE","US"],"is_corresponding":false,"raw_author_name":"McRobbie, Michael A.","raw_affiliation_strings":["(CADE/CAV banquet speaker)","Argonne National Laboratory, USA, 1974","Carnegie Mellon Universit3~ Pittsburgh, PA, USA","MPI-I Saarbriicken Cambridge University Weizmann Institute Carnegie Mellon University SRI International","Sponsors ATS~T Laboratories Bell Labs -Lucent Technologies DIMACS, Rutgers University (host) IEEE Computer Society CADE Sponsor CADE Incorporated","The Australian National University Centre for Information Science Research Canberra, ACT 0200, Australia","The Australian National University Research School of Information Sciences and Engineering Canberra, ACT 0200, Australia","University of Saarland, Saarbriicken, Germany","University of Texas at Austin, USA, 1979"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"(CADE/CAV banquet speaker)","institution_ids":[]},{"raw_affiliation_string":"Argonne National Laboratory, USA, 1974","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"Carnegie Mellon Universit3~ Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"MPI-I Saarbriicken Cambridge University Weizmann Institute Carnegie Mellon University SRI International","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I74973139"]},{"raw_affiliation_string":"Sponsors ATS~T Laboratories Bell Labs -Lucent Technologies DIMACS, Rutgers University (host) IEEE Computer Society CADE Sponsor CADE Incorporated","institution_ids":["https://openalex.org/I36253440"]},{"raw_affiliation_string":"The Australian National University Centre for Information Science Research Canberra, ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"The Australian National University Research School of Information Sciences and Engineering Canberra, ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"University of Saarland, Saarbriicken, Germany","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"University of Texas at Austin, USA, 1979","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3662,"has_fulltext":false,"cited_by_count":91,"citation_normalized_percentile":{"value":0.80658725,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.0625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.0625,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12565","display_name":"Physics and Engineering Research Articles","score":0.057100001722574234,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.817886233329773},{"id":"https://openalex.org/keywords/volume","display_name":"Volume (thermodynamics)","score":0.5860412120819092},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5246161222457886},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.5057308673858643},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.42007654905319214},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3495303690433502},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.32607734203338623},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32112789154052734}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.817886233329773},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.5860412120819092},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5246161222457886},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.5057308673858643},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.42007654905319214},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3495303690433502},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.32607734203338623},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32112789154052734},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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":1,"locations":[{"id":"doi:10.1007/3-540-61511-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61511-3","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1588725641","https://openalex.org/W2145733904","https://openalex.org/W2155990634","https://openalex.org/W3021807976"],"related_works":["https://openalex.org/W2519051298","https://openalex.org/W1515240056","https://openalex.org/W1504680642","https://openalex.org/W2003932708","https://openalex.org/W2284877871","https://openalex.org/W1793065144","https://openalex.org/W2504941530","https://openalex.org/W2138102289","https://openalex.org/W1967424056","https://openalex.org/W2964077831"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":6}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-08-23T00:00:00"}