{"id":"https://openalex.org/W2795981059","doi":"https://doi.org/10.1007/978-3-319-63516-3_6","title":"Parallel Theorem Proving","display_name":"Parallel Theorem Proving","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2795981059","doi":"https://doi.org/10.1007/978-3-319-63516-3_6","mag":"2795981059"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-63516-3_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63516-3_6","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Parallel Constraint Reasoning","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/A5082604888","display_name":"Maria Paola Bonacina","orcid":"https://orcid.org/0000-0001-9104-2692"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maria Paola Bonacina","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 degli Studi di Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 degli Studi di Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082604888"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":1.4843,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81557826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"179","last_page":"235"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976000189781189,"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/T11567","display_name":"semigroups and automata theory","score":0.9969000220298767,"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.4240367114543915},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.355138897895813},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33040517568588257},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.11855819821357727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4240367114543915},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.355138897895813},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33040517568588257},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.11855819821357727},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-63516-3_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63516-3_6","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Parallel Constraint Reasoning","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":230,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W3245662","https://openalex.org/W5678308","https://openalex.org/W55835010","https://openalex.org/W64666703","https://openalex.org/W78763269","https://openalex.org/W81256607","https://openalex.org/W91480035","https://openalex.org/W92544677","https://openalex.org/W97763240","https://openalex.org/W124433265","https://openalex.org/W128869332","https://openalex.org/W133713697","https://openalex.org/W146171703","https://openalex.org/W148444778","https://openalex.org/W158985585","https://openalex.org/W168299507","https://openalex.org/W171867237","https://openalex.org/W172049787","https://openalex.org/W177650123","https://openalex.org/W182845755","https://openalex.org/W191791718","https://openalex.org/W201239929","https://openalex.org/W203486424","https://openalex.org/W223396483","https://openalex.org/W408844101","https://openalex.org/W588924597","https://openalex.org/W763811073","https://openalex.org/W960765268","https://openalex.org/W1472528886","https://openalex.org/W1481397676","https://openalex.org/W1481693958","https://openalex.org/W1482767073","https://openalex.org/W1485127077","https://openalex.org/W1485898611","https://openalex.org/W1492713136","https://openalex.org/W1493587417","https://openalex.org/W1494270745","https://openalex.org/W1495255160","https://openalex.org/W1495293573","https://openalex.org/W1495433690","https://openalex.org/W1496529478","https://openalex.org/W1497749036","https://openalex.org/W1501378782","https://openalex.org/W1503260840","https://openalex.org/W1507112684","https://openalex.org/W1510333080","https://openalex.org/W1510543252","https://openalex.org/W1511155470","https://openalex.org/W1512163617","https://openalex.org/W1512751828","https://openalex.org/W1513056591","https://openalex.org/W1513576223","https://openalex.org/W1516218099","https://openalex.org/W1517155625","https://openalex.org/W1519551513","https://openalex.org/W1520118813","https://openalex.org/W1523242913","https://openalex.org/W1523376837","https://openalex.org/W1524626343","https://openalex.org/W1526593648","https://openalex.org/W1530357061","https://openalex.org/W1530765221","https://openalex.org/W1531840908","https://openalex.org/W1535111077","https://openalex.org/W1536817257","https://openalex.org/W1538336754","https://openalex.org/W1546490768","https://openalex.org/W1552713121","https://openalex.org/W1554786964","https://openalex.org/W1562935458","https://openalex.org/W1563722160","https://openalex.org/W1566044003","https://openalex.org/W1573446999","https://openalex.org/W1576601371","https://openalex.org/W1578389712","https://openalex.org/W1578446848","https://openalex.org/W1582978759","https://openalex.org/W1585537805","https://openalex.org/W1588666994","https://openalex.org/W1590061888","https://openalex.org/W1590453856","https://openalex.org/W1592043426","https://openalex.org/W1595374223","https://openalex.org/W1595962583","https://openalex.org/W1597939266","https://openalex.org/W1600778447","https://openalex.org/W1604233443","https://openalex.org/W1604803164","https://openalex.org/W1607878224","https://openalex.org/W1635857625","https://openalex.org/W1654793027","https://openalex.org/W1659327404","https://openalex.org/W1660563560","https://openalex.org/W1691963461","https://openalex.org/W1692734929","https://openalex.org/W1721498334","https://openalex.org/W1779780401","https://openalex.org/W1780472831","https://openalex.org/W1832368449","https://openalex.org/W1835682006","https://openalex.org/W1845288604","https://openalex.org/W1860984231","https://openalex.org/W1881680935","https://openalex.org/W1920869409","https://openalex.org/W1923495615","https://openalex.org/W1924552249","https://openalex.org/W1927589922","https://openalex.org/W1964421058","https://openalex.org/W1968386045","https://openalex.org/W1972956465","https://openalex.org/W1974299393","https://openalex.org/W1977877251","https://openalex.org/W1980250820","https://openalex.org/W1980717258","https://openalex.org/W1981878423","https://openalex.org/W1994062370","https://openalex.org/W1995340375","https://openalex.org/W1995619750","https://openalex.org/W1997189447","https://openalex.org/W1999396796","https://openalex.org/W1999468161","https://openalex.org/W2002310337","https://openalex.org/W2002684144","https://openalex.org/W2004746351","https://openalex.org/W2006807333","https://openalex.org/W2013215808","https://openalex.org/W2013342254","https://openalex.org/W2014030742","https://openalex.org/W2018015794","https://openalex.org/W2018970941","https://openalex.org/W2020794409","https://openalex.org/W2021473914","https://openalex.org/W2022489627","https://openalex.org/W2024973091","https://openalex.org/W2025252200","https://openalex.org/W2027282006","https://openalex.org/W2035913237","https://openalex.org/W2036277633","https://openalex.org/W2036748304","https://openalex.org/W2037085273","https://openalex.org/W2042551813","https://openalex.org/W2043314428","https://openalex.org/W2044301710","https://openalex.org/W2044560939","https://openalex.org/W2048051309","https://openalex.org/W2048748607","https://openalex.org/W2050750962","https://openalex.org/W2051518991","https://openalex.org/W2054628190","https://openalex.org/W2056016391","https://openalex.org/W2057361103","https://openalex.org/W2058514808","https://openalex.org/W2059651327","https://openalex.org/W2062897452","https://openalex.org/W2063169961","https://openalex.org/W2067259733","https://openalex.org/W2067716734","https://openalex.org/W2072868156","https://openalex.org/W2073545579","https://openalex.org/W2077429176","https://openalex.org/W2082976889","https://openalex.org/W2084111527","https://openalex.org/W2084894656","https://openalex.org/W2086747974","https://openalex.org/W2087588854","https://openalex.org/W2092775861","https://openalex.org/W2098325515","https://openalex.org/W2099761695","https://openalex.org/W2100738443","https://openalex.org/W2103406309","https://openalex.org/W2104774005","https://openalex.org/W2107965579","https://openalex.org/W2109265941","https://openalex.org/W2118601609","https://openalex.org/W2118613560","https://openalex.org/W2124996147","https://openalex.org/W2128953477","https://openalex.org/W2132979526","https://openalex.org/W2137351629","https://openalex.org/W2138980079","https://openalex.org/W2141010048","https://openalex.org/W2142785340","https://openalex.org/W2145118117","https://openalex.org/W2145397943","https://openalex.org/W2146363063","https://openalex.org/W2150307403","https://openalex.org/W2150470619","https://openalex.org/W2153361692","https://openalex.org/W2155552045","https://openalex.org/W2163619482","https://openalex.org/W2163681902","https://openalex.org/W2167964658","https://openalex.org/W2218792248","https://openalex.org/W2229132677","https://openalex.org/W2257628339","https://openalex.org/W2275219649","https://openalex.org/W2293009092","https://openalex.org/W2341343560","https://openalex.org/W2394726283","https://openalex.org/W2460200316","https://openalex.org/W2483513769","https://openalex.org/W2507006525","https://openalex.org/W2570090477","https://openalex.org/W2583369873","https://openalex.org/W2608781458","https://openalex.org/W2624116911","https://openalex.org/W2701309930","https://openalex.org/W2735126411","https://openalex.org/W2749479972","https://openalex.org/W2911619792","https://openalex.org/W2914834504","https://openalex.org/W2914936697","https://openalex.org/W2949328944","https://openalex.org/W2952307256","https://openalex.org/W3021880308","https://openalex.org/W3022113361","https://openalex.org/W3022794709","https://openalex.org/W3045969830","https://openalex.org/W3100230358","https://openalex.org/W3104411811","https://openalex.org/W4229840182","https://openalex.org/W4229861117","https://openalex.org/W4233015625","https://openalex.org/W4235027521","https://openalex.org/W4239515953","https://openalex.org/W4243045000","https://openalex.org/W4250987182","https://openalex.org/W4285719527","https://openalex.org/W4294444007"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2042127053","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}