{"id":"https://openalex.org/W2955191895","doi":"https://doi.org/10.1007/978-3-030-22102-7_29","title":"Automating Automated Reasoning","display_name":"Automating Automated Reasoning","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2955191895","doi":"https://doi.org/10.1007/978-3-030-22102-7_29","mag":"2955191895"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-22102-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-22102-7_29","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-chapter"},"type":"book-chapter","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/A5052302712","display_name":"Yoni Zohar","orcid":"https://orcid.org/0000-0002-2972-6695"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yoni Zohar","raw_affiliation_strings":["Computer Science Department, Stanford University, Stanford, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088235073","display_name":"Dmitry Tishkovsky","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dmitry Tishkovsky","raw_affiliation_strings":["School of Computer Science, University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037583341","display_name":"Renate A. Schmidt","orcid":"https://orcid.org/0000-0002-6673-3333"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Renate A. Schmidt","raw_affiliation_strings":["School of Computer Science, University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031903932","display_name":"Anna Zamansky","orcid":"https://orcid.org/0000-0001-8350-4068"},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Anna Zamansky","raw_affiliation_strings":["Information Systems Department, University of Haifa, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Information Systems Department, University of Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5052302712"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10895167,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"610","last_page":"638"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8152256011962891},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7979342937469482},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.6401373147964478},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.6050795912742615},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6041024327278137},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.5783053636550903},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.551820695400238},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5415863990783691},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.46975091099739075},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.44110584259033203},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4341731071472168},{"id":"https://openalex.org/keywords/automated-proof-checking","display_name":"Automated proof checking","score":0.4150833785533905},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40393054485321045},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33986616134643555},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.28692299127578735},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.12759408354759216},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1275896430015564}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8152256011962891},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7979342937469482},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.6401373147964478},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.6050795912742615},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6041024327278137},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.5783053636550903},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.551820695400238},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5415863990783691},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.46975091099739075},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.44110584259033203},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4341731071472168},{"id":"https://openalex.org/C13766981","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Automated proof checking","level":3,"score":0.4150833785533905},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40393054485321045},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33986616134643555},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.28692299127578735},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.12759408354759216},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1275896430015564},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-22102-7_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-22102-7_29","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-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/b41cc4ab-4e5c-4b88-9308-a7eb11838fb3","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/b41cc4ab-4e5c-4b88-9308-a7eb11838fb3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Zohar, Y, Tishkovsky, D, Schmidt, R A & Zamansky, A 2019, Automating Automated Reasoning : The Case of Two Generic Automated Reasoning Tools. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11560 LNCS, Springer Nature, pp. 610-638. https://doi.org/10.1007/978-3-030-22102-7_29","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G763705230","display_name":null,"funder_award_id":"EP/H043748/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W26908971","https://openalex.org/W56574371","https://openalex.org/W68183112","https://openalex.org/W77879984","https://openalex.org/W102389334","https://openalex.org/W139679001","https://openalex.org/W203477399","https://openalex.org/W229693416","https://openalex.org/W1483568252","https://openalex.org/W1508912476","https://openalex.org/W1511652686","https://openalex.org/W1536217426","https://openalex.org/W1536469384","https://openalex.org/W1565648373","https://openalex.org/W1585071008","https://openalex.org/W1586690077","https://openalex.org/W1594975786","https://openalex.org/W1596013090","https://openalex.org/W1597361319","https://openalex.org/W1840962287","https://openalex.org/W1844848791","https://openalex.org/W1976486895","https://openalex.org/W1978260344","https://openalex.org/W1988410705","https://openalex.org/W2014219554","https://openalex.org/W2029164961","https://openalex.org/W2033813295","https://openalex.org/W2039977878","https://openalex.org/W2043829066","https://openalex.org/W2083310603","https://openalex.org/W2092334937","https://openalex.org/W2094025748","https://openalex.org/W2095749551","https://openalex.org/W2096138715","https://openalex.org/W2099236069","https://openalex.org/W2121931250","https://openalex.org/W2130123502","https://openalex.org/W2131087632","https://openalex.org/W2136950039","https://openalex.org/W2145733904","https://openalex.org/W2150461748","https://openalex.org/W2152309982","https://openalex.org/W2154006907","https://openalex.org/W2164781814","https://openalex.org/W2170526408","https://openalex.org/W2178257282","https://openalex.org/W2180010617","https://openalex.org/W2180429879","https://openalex.org/W2198998891","https://openalex.org/W2224519702","https://openalex.org/W2242840523","https://openalex.org/W2324363623","https://openalex.org/W2404198343","https://openalex.org/W2477099428","https://openalex.org/W2567722231","https://openalex.org/W2569781727","https://openalex.org/W2574493628","https://openalex.org/W2604674395","https://openalex.org/W2741521434","https://openalex.org/W2773093770","https://openalex.org/W2919937788","https://openalex.org/W2950450725","https://openalex.org/W3103855201","https://openalex.org/W3106127279","https://openalex.org/W3109205082","https://openalex.org/W3122242939","https://openalex.org/W4205386752","https://openalex.org/W4236999398","https://openalex.org/W4239496300","https://openalex.org/W4299413730"],"related_works":["https://openalex.org/W2280276996","https://openalex.org/W4253113110","https://openalex.org/W182117412","https://openalex.org/W2096191306","https://openalex.org/W1488351281","https://openalex.org/W4210342219","https://openalex.org/W2911183586","https://openalex.org/W2918427073","https://openalex.org/W2809689211","https://openalex.org/W4246350535"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}