{"id":"https://openalex.org/W3023993646","doi":"https://doi.org/10.1016/b978-044450813-3/50019-9","title":"Logical Frameworks","display_name":"Logical Frameworks","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W3023993646","doi":"https://doi.org/10.1016/b978-044450813-3/50019-9","mag":"3023993646"},"language":"en","primary_location":{"id":"doi:10.1016/b978-044450813-3/50019-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50019-9","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/A5021476649","display_name":"Frank Pfenning","orcid":"https://orcid.org/0000-0002-8279-5817"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Frank Pfenning","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021476649"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.8289,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.96862299,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1063","last_page":"1147"},"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.9976999759674072,"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.9914000034332275,"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.44562989473342896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44562989473342896}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/b978-044450813-3/50019-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/b978-044450813-3/50019-9","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":241,"referenced_works":["https://openalex.org/W3832022","https://openalex.org/W4861723","https://openalex.org/W18425853","https://openalex.org/W19393221","https://openalex.org/W26908971","https://openalex.org/W28296052","https://openalex.org/W37883845","https://openalex.org/W53146943","https://openalex.org/W69024957","https://openalex.org/W77859606","https://openalex.org/W93385149","https://openalex.org/W139261934","https://openalex.org/W171073024","https://openalex.org/W171306847","https://openalex.org/W210322507","https://openalex.org/W600819829","https://openalex.org/W834709404","https://openalex.org/W932593208","https://openalex.org/W1480077844","https://openalex.org/W1494800672","https://openalex.org/W1494812539","https://openalex.org/W1501212217","https://openalex.org/W1504859349","https://openalex.org/W1510393623","https://openalex.org/W1512750313","https://openalex.org/W1515857370","https://openalex.org/W1517052937","https://openalex.org/W1521083034","https://openalex.org/W1522938859","https://openalex.org/W1523013478","https://openalex.org/W1523618566","https://openalex.org/W1527145237","https://openalex.org/W1531522913","https://openalex.org/W1536064546","https://openalex.org/W1536200932","https://openalex.org/W1537698905","https://openalex.org/W1539505887","https://openalex.org/W1540592429","https://openalex.org/W1546574044","https://openalex.org/W1546856751","https://openalex.org/W1556867883","https://openalex.org/W1561578951","https://openalex.org/W1561822296","https://openalex.org/W1564971179","https://openalex.org/W1565847800","https://openalex.org/W1569569047","https://openalex.org/W1577812319","https://openalex.org/W1579694940","https://openalex.org/W1586167239","https://openalex.org/W1587490722","https://openalex.org/W1588934256","https://openalex.org/W1589386800","https://openalex.org/W1603543937","https://openalex.org/W1606342649","https://openalex.org/W1608522276","https://openalex.org/W1608751598","https://openalex.org/W1608879454","https://openalex.org/W1661076342","https://openalex.org/W1786798484","https://openalex.org/W1936301427","https://openalex.org/W1949275316","https://openalex.org/W1966663897","https://openalex.org/W1969510795","https://openalex.org/W1974190112","https://openalex.org/W1975810242","https://openalex.org/W1980290268","https://openalex.org/W1995955735","https://openalex.org/W2004839050","https://openalex.org/W2007471348","https://openalex.org/W2009464583","https://openalex.org/W2010883554","https://openalex.org/W2023266231","https://openalex.org/W2028250722","https://openalex.org/W2034676877","https://openalex.org/W2034711041","https://openalex.org/W2035652450","https://openalex.org/W2039977878","https://openalex.org/W2042899564","https://openalex.org/W2043740265","https://openalex.org/W2044758536","https://openalex.org/W2049362364","https://openalex.org/W2051632385","https://openalex.org/W2052212743","https://openalex.org/W2052436826","https://openalex.org/W2057588976","https://openalex.org/W2059054133","https://openalex.org/W2062968803","https://openalex.org/W2067914869","https://openalex.org/W2070324762","https://openalex.org/W2070577487","https://openalex.org/W2075352622","https://openalex.org/W2076819871","https://openalex.org/W2078334802","https://openalex.org/W2086727636","https://openalex.org/W2091186628","https://openalex.org/W2093111544","https://openalex.org/W2100758996","https://openalex.org/W2101274322","https://openalex.org/W2106556867","https://openalex.org/W2106718208","https://openalex.org/W2107440213","https://openalex.org/W2107905351","https://openalex.org/W2107923385","https://openalex.org/W2112308928","https://openalex.org/W2118587068","https://openalex.org/W2121698728","https://openalex.org/W2128057448","https://openalex.org/W2141287679","https://openalex.org/W2143073089","https://openalex.org/W2144747140","https://openalex.org/W2149829226","https://openalex.org/W2150769115","https://openalex.org/W2151038558","https://openalex.org/W2151581682","https://openalex.org/W2151865010","https://openalex.org/W2154273644","https://openalex.org/W2164449382","https://openalex.org/W2165163976","https://openalex.org/W2165399469","https://openalex.org/W2171733546","https://openalex.org/W2173219234","https://openalex.org/W2276605436","https://openalex.org/W2469931236","https://openalex.org/W2484395828","https://openalex.org/W2485857450","https://openalex.org/W2506148024","https://openalex.org/W2506786735","https://openalex.org/W2568721247","https://openalex.org/W2586148739","https://openalex.org/W2742270218","https://openalex.org/W2793825941","https://openalex.org/W2911379300","https://openalex.org/W2911469611","https://openalex.org/W2911481279","https://openalex.org/W2911785772","https://openalex.org/W2911800943","https://openalex.org/W2911865844","https://openalex.org/W2912746561","https://openalex.org/W2913209549","https://openalex.org/W2913569897","https://openalex.org/W2913893938","https://openalex.org/W2913920290","https://openalex.org/W2913930050","https://openalex.org/W2914260883","https://openalex.org/W2951039663","https://openalex.org/W3134140253","https://openalex.org/W3181070739","https://openalex.org/W4210317869","https://openalex.org/W4210556102","https://openalex.org/W4235354454","https://openalex.org/W4236064840","https://openalex.org/W4238292764","https://openalex.org/W4285719527","https://openalex.org/W4293770342","https://openalex.org/W6600158505","https://openalex.org/W6600760271","https://openalex.org/W6600763270","https://openalex.org/W6601079447","https://openalex.org/W6601138331","https://openalex.org/W6602203817","https://openalex.org/W6602757054","https://openalex.org/W6603158373","https://openalex.org/W6603836180","https://openalex.org/W6604579117","https://openalex.org/W6605642342","https://openalex.org/W6606942088","https://openalex.org/W6607023070","https://openalex.org/W6607247324","https://openalex.org/W6608525408","https://openalex.org/W6624578509","https://openalex.org/W6628563569","https://openalex.org/W6628737823","https://openalex.org/W6629567139","https://openalex.org/W6629571972","https://openalex.org/W6629753114","https://openalex.org/W6629893585","https://openalex.org/W6630136965","https://openalex.org/W6630365545","https://openalex.org/W6630814886","https://openalex.org/W6631016542","https://openalex.org/W6631335621","https://openalex.org/W6631341527","https://openalex.org/W6631500681","https://openalex.org/W6631597827","https://openalex.org/W6631628147","https://openalex.org/W6631655854","https://openalex.org/W6631767764","https://openalex.org/W6632072834","https://openalex.org/W6632124959","https://openalex.org/W6632177395","https://openalex.org/W6632178329","https://openalex.org/W6632818977","https://openalex.org/W6633367871","https://openalex.org/W6633467646","https://openalex.org/W6633635359","https://openalex.org/W6633647678","https://openalex.org/W6633686610","https://openalex.org/W6634599504","https://openalex.org/W6635092721","https://openalex.org/W6635155859","https://openalex.org/W6635426774","https://openalex.org/W6636252812","https://openalex.org/W6636273350","https://openalex.org/W6636315751","https://openalex.org/W6636383116","https://openalex.org/W6636778308","https://openalex.org/W6638131885","https://openalex.org/W6640531317","https://openalex.org/W6640857702","https://openalex.org/W6652624700","https://openalex.org/W6659097422","https://openalex.org/W6661293486","https://openalex.org/W6663236471","https://openalex.org/W6667416171","https://openalex.org/W6676003436","https://openalex.org/W6676063338","https://openalex.org/W6676194851","https://openalex.org/W6676441811","https://openalex.org/W6676636315","https://openalex.org/W6678350198","https://openalex.org/W6681051155","https://openalex.org/W6682085902","https://openalex.org/W6682203593","https://openalex.org/W6682396284","https://openalex.org/W6682521083","https://openalex.org/W6683841760","https://openalex.org/W6683895237","https://openalex.org/W6684336387","https://openalex.org/W6685473474","https://openalex.org/W6695133454","https://openalex.org/W6720254136","https://openalex.org/W6732752505","https://openalex.org/W6749182572","https://openalex.org/W6758261082","https://openalex.org/W6758485084","https://openalex.org/W6758835316","https://openalex.org/W6812048223","https://openalex.org/W6815436270","https://openalex.org/W6853398212","https://openalex.org/W6858163320","https://openalex.org/W7009590543"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2020-05-13T00:00:00"}