{"id":"https://openalex.org/W2120905340","doi":"https://doi.org/10.1007/10930755_19","title":"MetaPRL \u2013 A Modular Logical Environment","display_name":"MetaPRL \u2013 A Modular Logical Environment","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2120905340","doi":"https://doi.org/10.1007/10930755_19","mag":"2120905340"},"language":"en","primary_location":{"id":"doi:10.1007/10930755_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10930755_19","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/A5111952013","display_name":"Jason Hickey","orcid":null},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jason Hickey","raw_affiliation_strings":["Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076721288","display_name":"Aleksey Nogin","orcid":"https://orcid.org/0000-0002-0795-3694"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aleksey Nogin","raw_affiliation_strings":["Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103371465","display_name":"Robert L. Constable","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert L. Constable","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013027606","display_name":"Brian Aydemir","orcid":"https://orcid.org/0000-0001-9048-5408"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian E. Aydemir","raw_affiliation_strings":["Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037445662","display_name":"Eli Barzilay","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eli Barzilay","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082709037","display_name":"Yegor Bryukhov","orcid":null},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yegor Bryukhov","raw_affiliation_strings":["Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA"],"affiliations":[{"raw_affiliation_string":"Graduate Center, City University of New York, 365 Fifth Avenue, New York, NY, 10016, USA","institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111581713","display_name":"Richard G. Eaton","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard Eaton","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068518454","display_name":"\u00c1d\u00e1m Gr\u00e1nicz","orcid":null},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Granicz","raw_affiliation_strings":["Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089905338","display_name":"Alexei Kopylov","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexei Kopylov","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087898463","display_name":"Christoph Kreitz","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoph Kreitz","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077701299","display_name":"Vladimir N. Krupski","orcid":"https://orcid.org/0000-0001-5730-3561"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vladimir N. Krupski","raw_affiliation_strings":["Laboratory for Logical Problems of Computer Science, Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Vorob\u2019evy Gory, 119899, Russia","Laboratory for Logical Problems of Computer Science, Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Vorob'evy Gory, 119899, Russia"],"affiliations":[{"raw_affiliation_string":"Laboratory for Logical Problems of Computer Science, Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Vorob\u2019evy Gory, 119899, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Laboratory for Logical Problems of Computer Science, Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Vorob'evy Gory, 119899, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064181392","display_name":"Lori Lorigo","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lori Lorigo","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110301802","display_name":"Stephan Schmitt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephan Schmitt","raw_affiliation_strings":["Sapient, Presidency Building, Mehrauli-Gurgaon Road, Sector-14, Gurgaon, 112 001, Haryana, India"],"affiliations":[{"raw_affiliation_string":"Sapient, Presidency Building, Mehrauli-Gurgaon Road, Sector-14, Gurgaon, 112 001, Haryana, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045578778","display_name":"Carl Witty","orcid":null},"institutions":[{"id":"https://openalex.org/I4210092737","display_name":"Sterling Research Group (United States)","ror":"https://ror.org/00e2hg029","country_code":"US","type":"company","lineage":["https://openalex.org/I4210092737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carl Witty","raw_affiliation_strings":["Newton Research Labs, 441 SW 41st Street, Renton, WA, 98055, USA"],"affiliations":[{"raw_affiliation_string":"Newton Research Labs, 441 SW 41st Street, Renton, WA, 98055, USA","institution_ids":["https://openalex.org/I4210092737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003076238","display_name":"Xin Yu","orcid":"https://orcid.org/0000-0002-0269-5649"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xin Yu","raw_affiliation_strings":["Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, California Institute of Technology M/C 256-80, Pasadena, CA, 91125, USA","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":15,"corresponding_author_ids":["https://openalex.org/A5111952013"],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":7.7339,"has_fulltext":false,"cited_by_count":50,"citation_normalized_percentile":{"value":0.97977641,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"287","last_page":"303"},"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.9998999834060669,"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.9998999834060669,"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.9962999820709229,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.994700014591217,"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/computer-science","display_name":"Computer science","score":0.8113304376602173},{"id":"https://openalex.org/keywords/license","display_name":"License","score":0.6469014286994934},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6358674764633179},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.5905956625938416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.575373649597168},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5267574191093445},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15301334857940674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8113304376602173},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.6469014286994934},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6358674764633179},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.5905956625938416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.575373649597168},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5267574191093445},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15301334857940674}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/10930755_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/10930755_19","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":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1481747501","https://openalex.org/W1494663138","https://openalex.org/W1495396426","https://openalex.org/W1496288774","https://openalex.org/W1497011154","https://openalex.org/W1497200700","https://openalex.org/W1498523273","https://openalex.org/W1516901019","https://openalex.org/W1529478130","https://openalex.org/W1544633123","https://openalex.org/W1552701586","https://openalex.org/W1560253649","https://openalex.org/W1561664087","https://openalex.org/W1586167239","https://openalex.org/W1589408343","https://openalex.org/W1606427760","https://openalex.org/W1883592046","https://openalex.org/W1963457827","https://openalex.org/W2021790140","https://openalex.org/W2024315465","https://openalex.org/W2094912919","https://openalex.org/W2097327552","https://openalex.org/W2101886290","https://openalex.org/W2105747912","https://openalex.org/W2106293438","https://openalex.org/W2110712265","https://openalex.org/W2124798629","https://openalex.org/W2133154717","https://openalex.org/W2142002209","https://openalex.org/W2142560890","https://openalex.org/W2148854889","https://openalex.org/W2151355005","https://openalex.org/W2166453538","https://openalex.org/W2168341937","https://openalex.org/W2289759815","https://openalex.org/W2911379300","https://openalex.org/W3023993646","https://openalex.org/W3168162705","https://openalex.org/W4230985837","https://openalex.org/W4232523505","https://openalex.org/W4234528212","https://openalex.org/W4256124958","https://openalex.org/W4285719527","https://openalex.org/W6639554349"],"related_works":["https://openalex.org/W2606446052","https://openalex.org/W2036021480","https://openalex.org/W3195777957","https://openalex.org/W2382668227","https://openalex.org/W2348482143","https://openalex.org/W2024584030","https://openalex.org/W2137048368","https://openalex.org/W3104168426","https://openalex.org/W1603675680","https://openalex.org/W1983668675"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}