{"id":"https://openalex.org/W3021880308","doi":"https://doi.org/10.1016/b978-044450813-3/50011-4","title":"Rewriting","display_name":"Rewriting","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W3021880308","doi":"https://doi.org/10.1016/b978-044450813-3/50011-4","mag":"3021880308"},"language":"en","primary_location":{"id":"doi:10.1016/b978-044450813-3/50011-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50011-4","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Automated 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/A5039993352","display_name":"Nachum Dershowitz","orcid":"https://orcid.org/0000-0003-0363-2735"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nachum Dershowitz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5113505964","display_name":"David A. Plaisted","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David A. Plaisted","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5039993352"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.1635,"has_fulltext":false,"cited_by_count":101,"citation_normalized_percentile":{"value":0.95106487,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"535","last_page":"610"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.8644999861717224,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.8644999861717224,"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/T12070","display_name":"Writing and Handwriting Education","score":0.8338000178337097,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7990999817848206,"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/rewriting","display_name":"Rewriting","score":0.7005394101142883},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5180947184562683},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35652172565460205}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7005394101142883},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5180947184562683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35652172565460205}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/b978-044450813-3/50011-4","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50011-4","pdf_url":null,"source":{"id":"https://openalex.org/S4306463230","display_name":"Elsevier eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Handbook of Automated 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":274,"referenced_works":["https://openalex.org/W11944275","https://openalex.org/W12135578","https://openalex.org/W20773390","https://openalex.org/W44144289","https://openalex.org/W55064848","https://openalex.org/W87888179","https://openalex.org/W92963751","https://openalex.org/W103731158","https://openalex.org/W113842403","https://openalex.org/W134953795","https://openalex.org/W155273981","https://openalex.org/W156009831","https://openalex.org/W205063686","https://openalex.org/W210557330","https://openalex.org/W1480487311","https://openalex.org/W1481059806","https://openalex.org/W1481889876","https://openalex.org/W1482133761","https://openalex.org/W1484102241","https://openalex.org/W1486494889","https://openalex.org/W1489240819","https://openalex.org/W1489374747","https://openalex.org/W1491987797","https://openalex.org/W1495091595","https://openalex.org/W1495112380","https://openalex.org/W1496412704","https://openalex.org/W1496832333","https://openalex.org/W1500999153","https://openalex.org/W1504115175","https://openalex.org/W1505497945","https://openalex.org/W1507112684","https://openalex.org/W1508983555","https://openalex.org/W1509422729","https://openalex.org/W1510333080","https://openalex.org/W1512556106","https://openalex.org/W1512750313","https://openalex.org/W1513576223","https://openalex.org/W1516893092","https://openalex.org/W1521225797","https://openalex.org/W1521250667","https://openalex.org/W1525514552","https://openalex.org/W1526593648","https://openalex.org/W1535175988","https://openalex.org/W1542124543","https://openalex.org/W1542464114","https://openalex.org/W1543638401","https://openalex.org/W1545619071","https://openalex.org/W1546249478","https://openalex.org/W1551014633","https://openalex.org/W1553142094","https://openalex.org/W1553326394","https://openalex.org/W1559627622","https://openalex.org/W1562146321","https://openalex.org/W1564611234","https://openalex.org/W1569570379","https://openalex.org/W1579673254","https://openalex.org/W1583295953","https://openalex.org/W1587116809","https://openalex.org/W1589182689","https://openalex.org/W1591665028","https://openalex.org/W1595374223","https://openalex.org/W1596413407","https://openalex.org/W1693995122","https://openalex.org/W1723526129","https://openalex.org/W1790940744","https://openalex.org/W1849621571","https://openalex.org/W1871095937","https://openalex.org/W1871146779","https://openalex.org/W1883143037","https://openalex.org/W1924534823","https://openalex.org/W1933757178","https://openalex.org/W1963801750","https://openalex.org/W1964421058","https://openalex.org/W1964700393","https://openalex.org/W1965088381","https://openalex.org/W1968386045","https://openalex.org/W1972215161","https://openalex.org/W1979101142","https://openalex.org/W1981469834","https://openalex.org/W1981798416","https://openalex.org/W1987516841","https://openalex.org/W1991813962","https://openalex.org/W1991856459","https://openalex.org/W1992371661","https://openalex.org/W1994958005","https://openalex.org/W1996999450","https://openalex.org/W1997816727","https://openalex.org/W1999683854","https://openalex.org/W1999927144","https://openalex.org/W2001255903","https://openalex.org/W2001517662","https://openalex.org/W2001610338","https://openalex.org/W2002483665","https://openalex.org/W2008571565","https://openalex.org/W2012961833","https://openalex.org/W2013342254","https://openalex.org/W2014030742","https://openalex.org/W2015788118","https://openalex.org/W2017096836","https://openalex.org/W2018765574","https://openalex.org/W2019751493","https://openalex.org/W2022122724","https://openalex.org/W2024726864","https://openalex.org/W2024973091","https://openalex.org/W2026623712","https://openalex.org/W2028125880","https://openalex.org/W2033245919","https://openalex.org/W2033373287","https://openalex.org/W2036748304","https://openalex.org/W2036985061","https://openalex.org/W2038571924","https://openalex.org/W2040263743","https://openalex.org/W2041799549","https://openalex.org/W2042924775","https://openalex.org/W2043314428","https://openalex.org/W2049352524","https://openalex.org/W2049670190","https://openalex.org/W2049865932","https://openalex.org/W2050677448","https://openalex.org/W2053515248","https://openalex.org/W2053806880","https://openalex.org/W2054754886","https://openalex.org/W2055323844","https://openalex.org/W2056016391","https://openalex.org/W2056239109","https://openalex.org/W2056716318","https://openalex.org/W2059799630","https://openalex.org/W2064236106","https://openalex.org/W2064672594","https://openalex.org/W2067705970","https://openalex.org/W2070558135","https://openalex.org/W2076508310","https://openalex.org/W2076972393","https://openalex.org/W2081010478","https://openalex.org/W2083977009","https://openalex.org/W2084745607","https://openalex.org/W2086747974","https://openalex.org/W2089599948","https://openalex.org/W2090541423","https://openalex.org/W2090626768","https://openalex.org/W2090855107","https://openalex.org/W2091210577","https://openalex.org/W2093318042","https://openalex.org/W2099954293","https://openalex.org/W2106316031","https://openalex.org/W2109420517","https://openalex.org/W2118530352","https://openalex.org/W2121757274","https://openalex.org/W2122267814","https://openalex.org/W2122595168","https://openalex.org/W2123757846","https://openalex.org/W2126018011","https://openalex.org/W2130229561","https://openalex.org/W2132119724","https://openalex.org/W2132750992","https://openalex.org/W2149605327","https://openalex.org/W2153131284","https://openalex.org/W2157264760","https://openalex.org/W2161257777","https://openalex.org/W2163841074","https://openalex.org/W2166060774","https://openalex.org/W2167316540","https://openalex.org/W2170550263","https://openalex.org/W2172326768","https://openalex.org/W2319798085","https://openalex.org/W2323378191","https://openalex.org/W2395891450","https://openalex.org/W2407419378","https://openalex.org/W2499474130","https://openalex.org/W2574659543","https://openalex.org/W2626618164","https://openalex.org/W2749479972","https://openalex.org/W2804219209","https://openalex.org/W2911269405","https://openalex.org/W2911420699","https://openalex.org/W2912009403","https://openalex.org/W2912818154","https://openalex.org/W2913078623","https://openalex.org/W2913116145","https://openalex.org/W2913814619","https://openalex.org/W2913893938","https://openalex.org/W3021771792","https://openalex.org/W3023405642","https://openalex.org/W4213359168","https://openalex.org/W4240833632","https://openalex.org/W4248547811","https://openalex.org/W4253769910","https://openalex.org/W4285719527","https://openalex.org/W4298290503","https://openalex.org/W4302964898","https://openalex.org/W4313141086","https://openalex.org/W4380790513","https://openalex.org/W4388310154","https://openalex.org/W6600468434","https://openalex.org/W6601305314","https://openalex.org/W6601812004","https://openalex.org/W6602186354","https://openalex.org/W6603726497","https://openalex.org/W6604655236","https://openalex.org/W6605501167","https://openalex.org/W6606267466","https://openalex.org/W6608343565","https://openalex.org/W6622747450","https://openalex.org/W6628840809","https://openalex.org/W6628846740","https://openalex.org/W6628899895","https://openalex.org/W6628924006","https://openalex.org/W6629319672","https://openalex.org/W6629482099","https://openalex.org/W6629495943","https://openalex.org/W6629591109","https://openalex.org/W6630074861","https://openalex.org/W6630269040","https://openalex.org/W6630288597","https://openalex.org/W6630438128","https://openalex.org/W6630589167","https://openalex.org/W6630860570","https://openalex.org/W6630921014","https://openalex.org/W6630998391","https://openalex.org/W6631278261","https://openalex.org/W6631288877","https://openalex.org/W6631571873","https://openalex.org/W6632205609","https://openalex.org/W6632491520","https://openalex.org/W6632600759","https://openalex.org/W6632717699","https://openalex.org/W6632914390","https://openalex.org/W6633342049","https://openalex.org/W6633472299","https://openalex.org/W6633556157","https://openalex.org/W6634094582","https://openalex.org/W6634747860","https://openalex.org/W6635088506","https://openalex.org/W6635088931","https://openalex.org/W6635330701","https://openalex.org/W6635356563","https://openalex.org/W6635423321","https://openalex.org/W6637639720","https://openalex.org/W6639012609","https://openalex.org/W6639107858","https://openalex.org/W6639149334","https://openalex.org/W6639214677","https://openalex.org/W6639351359","https://openalex.org/W6640221588","https://openalex.org/W6640525882","https://openalex.org/W6641388328","https://openalex.org/W6642673056","https://openalex.org/W6648458825","https://openalex.org/W6655199249","https://openalex.org/W6656867038","https://openalex.org/W6658850413","https://openalex.org/W6662607732","https://openalex.org/W6666679710","https://openalex.org/W6668182956","https://openalex.org/W6669870310","https://openalex.org/W6670576247","https://openalex.org/W6675970850","https://openalex.org/W6676325162","https://openalex.org/W6678431315","https://openalex.org/W6678512934","https://openalex.org/W6678546657","https://openalex.org/W6678747107","https://openalex.org/W6682136261","https://openalex.org/W6683619701","https://openalex.org/W6684623252","https://openalex.org/W6732448834","https://openalex.org/W6743008521","https://openalex.org/W6758328174","https://openalex.org/W6758430316","https://openalex.org/W6758525803","https://openalex.org/W6759055872","https://openalex.org/W6777490699","https://openalex.org/W6811416986","https://openalex.org/W7004858588"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2120204135","https://openalex.org/W2139396251","https://openalex.org/W1796293478","https://openalex.org/W1577544887","https://openalex.org/W2168276503","https://openalex.org/W1573537275","https://openalex.org/W2105713543"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-05-13T00:00:00"}