乐胖代购免代理版

{"id":"https://openalex.org/W2476720312","doi":"https://doi.org/10.1007/3-540-58450-1","title":"Higher Order Logic Theorem Proving and Its Applications","display_name":"Higher Order Logic Theorem Proving and Its Applications","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2476720312","doi":"https://doi.org/10.1007/3-540-58450-1","mag":"2476720312"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58450-1","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"book","type_crossref":"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":"https://openalex.org/A5108132824","display_name":"Gerhard Goos","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"funder","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"funder","lineage":["https://openalex.org/I7882870"]},{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"funder","lineage":["https://openalex.org/I197854408"]}],"countries":["GB","MT","NL"],"is_corresponding":false,"raw_author_name":"Gerhard Goos","raw_affiliation_strings":["Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Department of Computer Studies, University of Malta University Heights, Msida, Malta","Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Department of Computer Studies, University of Malta University Heights, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109415992","display_name":"Jan Van Leeuwen","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"funder","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"funder","lineage":["https://openalex.org/I7882870"]},{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"funder","lineage":["https://openalex.org/I197854408"]}],"countries":["GB","MT","NL"],"is_corresponding":false,"raw_author_name":"Jan Van Leeuwen","raw_affiliation_strings":["Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Department of Computer Studies, University of Malta University Heights, Msida, Malta","Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Department of Computer Studies, University of Malta University Heights, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112193499","display_name":"Thomas F. Melham","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"funder","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"funder","lineage":["https://openalex.org/I7882870"]},{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"funder","lineage":["https://openalex.org/I197854408"]}],"countries":["GB","MT","NL"],"is_corresponding":false,"raw_author_name":"Thomas Melham","raw_affiliation_strings":["Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Department of Computer Studies, University of Malta University Heights, Msida, Malta","Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Department of Computer Studies, University of Malta University Heights, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069407934","display_name":"Juanito Camilleri","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"funder","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"funder","lineage":["https://openalex.org/I7882870"]},{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"funder","lineage":["https://openalex.org/I197854408"]}],"countries":["GB","MT","NL"],"is_corresponding":false,"raw_author_name":"Juanito Camilleri","raw_affiliation_strings":["Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","Department of Computer Studies, University of Malta University Heights, Msida, Malta","Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Universit~it Karlsruhe Postfach 69 80, Vincenz-Priessnitz-StraBe 1, D-76131 Karlsruhe, Germany","institution_ids":[]},{"raw_affiliation_string":"Juris Hartmanis Department of Computer Science, Comell University 4130 Upson Hall, Ithaka, NY 14853, USA","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, Utrecht University Padualaan 14, 3584 CH Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Computing Science, University of Glasgow 17 Lilybank Gardens, Glasgow, Scotland, G12 8QQ","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Department of Computer Studies, University of Malta University Heights, Msida, Malta","institution_ids":["https://openalex.org/I197854408"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.918,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":21,"citation_normalized_percentile":{"value":0.60061,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8987,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.8987,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8625,"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/first-order-logic","display_name":"First-order logic","score":0.4421841}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6824444},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.67806447},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5897634},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4421841},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4369585},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.42589903},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37517715},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07005635},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.053342372},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-58450-1","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_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"book series"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":1,"referenced_works":["https://openalex.org/W1548568192"],"related_works":["https://openalex.org/W587228181","https://openalex.org/W571061302","https://openalex.org/W260563712","https://openalex.org/W2532726165","https://openalex.org/W2495691688","https://openalex.org/W2075469844","https://openalex.org/W197813433","https://openalex.org/W1920869409","https://openalex.org/W1583364912","https://openalex.org/W1488962419"],"abstract_inverted_index":null,"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2476720312","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-03-18T05:31:54.098149","created_date":"2016-08-23"}