{"id":"https://openalex.org/W1564734982","doi":"https://doi.org/10.1007/3-540-61511-3_106","title":"Algebra and automated deduction","display_name":"Algebra and automated deduction","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1564734982","doi":"https://doi.org/10.1007/3-540-61511-3_106","mag":"1564734982"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-61511-3_106","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61511-3_106","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/A5110435921","display_name":"Steve Linton","orcid":null},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Steve Linton","raw_affiliation_strings":["Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","University of St Andrews"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"University of St Andrews","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028867738","display_name":"Ursula Martin","orcid":"https://orcid.org/0000-0002-1908-5927"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ursula Martin","raw_affiliation_strings":["Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","University of St Andrews"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"University of St Andrews","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038036651","display_name":"P\u00e9ter Pr\u00f6hle","orcid":null},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]},{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB","HU"],"is_corresponding":false,"raw_author_name":"P\u00e9ter Pr\u00f6hle","raw_affiliation_strings":["Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","Depth. of Algebra and Numbertheory, Faculty of Natural Sciences, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary","University of St. Andrews","Eotvos Lorand University"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"Depth. of Algebra and Numbertheory, Faculty of Natural Sciences, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary","institution_ids":["https://openalex.org/I106118109"]},{"raw_affiliation_string":"University of St. Andrews","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"Eotvos Lorand University","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089153681","display_name":"Duncan Shand","orcid":null},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Duncan Shand","raw_affiliation_strings":["Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","University of St Andrews"],"affiliations":[{"raw_affiliation_string":"Computer Science Division, University of St Andrews, KY16 9SS, North Haugh, St Andrews, Fife, Scotland","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"University of St Andrews","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110435921"],"corresponding_institution_ids":["https://openalex.org/I16835326"],"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.14863044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"448","last_page":"462"},"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.9988999962806702,"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.9988999962806702,"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.9850999712944031,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9842000007629395,"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/automated-theorem-proving","display_name":"Automated theorem proving","score":0.8712301850318909},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.6084493398666382},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5632705092430115},{"id":"https://openalex.org/keywords/automated-proof-checking","display_name":"Automated proof checking","score":0.5604798197746277},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5480476021766663},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5045100450515747},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.501049280166626},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.46234360337257385},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.41598182916641235},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4156104624271393},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3493443727493286},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3269929885864258},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.30530640482902527},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15865620970726013}],"concepts":[{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.8712301850318909},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.6084493398666382},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5632705092430115},{"id":"https://openalex.org/C13766981","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Automated proof checking","level":3,"score":0.5604798197746277},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5480476021766663},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5045100450515747},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.501049280166626},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.46234360337257385},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.41598182916641235},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4156104624271393},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3493443727493286},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3269929885864258},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.30530640482902527},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15865620970726013},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-61511-3_106","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61511-3_106","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W128453691","https://openalex.org/W591139221","https://openalex.org/W1496412704","https://openalex.org/W1501381924","https://openalex.org/W1513960768","https://openalex.org/W1516979491","https://openalex.org/W1543877612","https://openalex.org/W1562935128","https://openalex.org/W1995727018","https://openalex.org/W2012961833","https://openalex.org/W2023648368","https://openalex.org/W2027329270","https://openalex.org/W2057111012","https://openalex.org/W2070333917","https://openalex.org/W2086747974","https://openalex.org/W2913322469","https://openalex.org/W4206142531","https://openalex.org/W4206615368","https://openalex.org/W4293176479","https://openalex.org/W4302964898","https://openalex.org/W6601421502","https://openalex.org/W6603106060"],"related_works":["https://openalex.org/W2124145386","https://openalex.org/W3100311625","https://openalex.org/W2160478595","https://openalex.org/W2809689211","https://openalex.org/W2787574132","https://openalex.org/W2114788260","https://openalex.org/W2128287662","https://openalex.org/W4300497654","https://openalex.org/W2107302096","https://openalex.org/W4246350535"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}