{“id”：“https://openalex.org/W2068417643“，”doi“：”https://doi.org/10.1145/72062.772063“，”title“：”LICS 2001特别版“，”display_name“：”RICS 2001特别期“，”publication_year“：2003，”publiation_date“：”2003-07-01“，”ids“：{”openalex“：”https://openalex.org/W2068417643“，”doi“：”https://doi.org/10.1145/772062.772063“，”mag“：”2068417643“}，”language“：”fr“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/772062.772063“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5104707994“，”display_name“：”Erich Gr\u00e4del“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name““：”埃里希Gr\u001e4Del“，“raw_affiliation_strings”：[]“，”从属关系“：[]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5087025582“，”display_name“：”Joseph Y.Halpern“，”orcid“：”https://orcid.org/0000-0002-9229-1663“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Joseph Y.Halpern“，”raw_affiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5104707995“，”display_name“：”Radha Jaghadeesan“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Radha Jachadeesan“，”raw _affiliation_strings“：]，”affiliations“：[/]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5104781535“，”display_name“：”Adolfo Piperno“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”Adolfo-Piperno”，“raw_affiliation_strings”：[]、“affiliations”：[]}]，“institution_assertions”：[]、“countries_distiction_count”：0、“institations_districtions_distition_count“：0，”corresponding_author_ids机构ID“：[]，”apc_list“：null，”apc_payed“：nul，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”citation_normalized_percentile“：nully，”citted_by_percentile_year“：{”min“：0”max“：59}，”biblio“：{“volume”：“4”，“issue”：“3”，“first_page”：“295”，“last_page”：”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：null，“主题”：[]，“关键词“：[]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.46667945}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.32005876}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/772062.772063“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[】，“referenced_works_count”：0，“referrenced_works”：]，“related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2313400459","https://openalex.org/W2069964982","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1974891317“]，”abstract_inverted_index“：{”否“：[0]，”抽象“：[1]，”可用。“：[2]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2068417643“，”counts_by_year“：[]，”updated_date“：”2024-09-17T03:17:06.645036“，”创建日期“：”2016-06-24“}