{"id":"https://openalex.org/W114846694","doi":"https://doi.org/10.1016/b978-044450813-3/50007-2","title":"Normal Form Transformations","display_name":"Normal Form Transformations","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W114846694","doi":"https://doi.org/10.1016/b978-044450813-3/50007-2","mag":"114846694"},"language":"en","primary_location":{"id":"doi:10.1016/b978-044450813-3/50007-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50007-2","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/A5035315045","display_name":"Matthias Baaz","orcid":"https://orcid.org/0000-0002-7815-2501"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Matthias Baaz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065693180","display_name":"Uwe Egly","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Uwe Egly","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068161463","display_name":"Alexander Leitsch","orcid":"https://orcid.org/0000-0002-7084-7878"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexander Leitsch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032396554","display_name":"Jean Goubault-Larrecq","orcid":"https://orcid.org/0000-0001-5879-3304"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean Goubault-Larrecq","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 Plaisted","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5035315045"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.0532,"has_fulltext":false,"cited_by_count":62,"citation_normalized_percentile":{"value":0.9180621,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"273","last_page":"333"},"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.9984999895095825,"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.9984999895095825,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.982699990272522,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9611999988555908,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.40569865703582764},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.3244054913520813}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40569865703582764},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.3244054913520813}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/b978-044450813-3/50007-2","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50007-2","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":87,"referenced_works":["https://openalex.org/W17889614","https://openalex.org/W71891286","https://openalex.org/W82633235","https://openalex.org/W97223672","https://openalex.org/W578063101","https://openalex.org/W834709404","https://openalex.org/W889431080","https://openalex.org/W920946286","https://openalex.org/W1480405493","https://openalex.org/W1492355854","https://openalex.org/W1503796635","https://openalex.org/W1507459707","https://openalex.org/W1528868468","https://openalex.org/W1531368347","https://openalex.org/W1543891730","https://openalex.org/W1543931510","https://openalex.org/W1544846403","https://openalex.org/W1546207752","https://openalex.org/W1552843312","https://openalex.org/W1554551469","https://openalex.org/W1554618854","https://openalex.org/W1556955831","https://openalex.org/W1561567467","https://openalex.org/W1562758414","https://openalex.org/W1568501149","https://openalex.org/W1570226938","https://openalex.org/W1570374618","https://openalex.org/W1571073603","https://openalex.org/W1587744618","https://openalex.org/W1592709139","https://openalex.org/W1594285439","https://openalex.org/W1612453857","https://openalex.org/W1950219843","https://openalex.org/W1963789803","https://openalex.org/W1975422829","https://openalex.org/W1988083342","https://openalex.org/W1990529320","https://openalex.org/W1991138028","https://openalex.org/W1993434661","https://openalex.org/W1996010294","https://openalex.org/W1999997889","https://openalex.org/W2002089154","https://openalex.org/W2018221833","https://openalex.org/W2026369019","https://openalex.org/W2033019111","https://openalex.org/W2039977878","https://openalex.org/W2070717151","https://openalex.org/W2071100103","https://openalex.org/W2075387439","https://openalex.org/W2084684966","https://openalex.org/W2085522128","https://openalex.org/W2090172107","https://openalex.org/W2094862107","https://openalex.org/W2100738443","https://openalex.org/W2112446538","https://openalex.org/W2115610240","https://openalex.org/W2132750992","https://openalex.org/W2133527541","https://openalex.org/W2173219234","https://openalex.org/W2396555304","https://openalex.org/W2798817047","https://openalex.org/W3144889436","https://openalex.org/W3159698340","https://openalex.org/W3174610778","https://openalex.org/W4237061074","https://openalex.org/W4238292764","https://openalex.org/W4302339081","https://openalex.org/W6600706257","https://openalex.org/W6616785003","https://openalex.org/W6624568800","https://openalex.org/W6630494918","https://openalex.org/W6631562133","https://openalex.org/W6632560675","https://openalex.org/W6632672537","https://openalex.org/W6632927501","https://openalex.org/W6633168426","https://openalex.org/W6633394080","https://openalex.org/W6633594699","https://openalex.org/W6633694949","https://openalex.org/W6634092858","https://openalex.org/W6636501790","https://openalex.org/W6640794100","https://openalex.org/W6648021122","https://openalex.org/W6658680356","https://openalex.org/W6677055237","https://openalex.org/W6679878532","https://openalex.org/W6685473474"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2324615561","https://openalex.org/W2086120259","https://openalex.org/W2390279801","https://openalex.org/W2245170124","https://openalex.org/W2358668433","https://openalex.org/W3186982001","https://openalex.org/W2137941439","https://openalex.org/W1984402782"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}