{“id”:“https://openalex.org/W2119265237“,”doi“:”https://doi.org/10.2307/2274136“,”title“:”C.C.C.forcing without combinatics“,”display_name“:”C.C.C.forching without conbinatics”,“publication_year”:1984,“publiation_date”:“1984-09-01”,“ids”:{“openalex”:“https://openalex.org/W2119265237“,”doi“:”https://doi.org/10.2307/2274136“,”mag“:”2119265237“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.2307/2274136“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S177675236“,”display_name“:”符号逻辑杂志“,”issn_l“:”0022-4812“,”isn“:[”0022-48012“,“1943-5886”],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310311721“,”“host_organization_name”:“剑桥大学出版社”,“host_ordanization_lineage”:[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“],”host_organization_lineage_names“:[”剑桥大学出版社“,”剑桥大学“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:nully,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],‘open_access’:{”is_oa“:false,”“oa_status”:“closed”,“oa_url”:空,“any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A502049513“,”display_name“:”Alan H.Mekler“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I18014758“,”display_name“:”西蒙·弗雷泽大学“,”ror“:”https://ror.org/0213rcc28“,”country_code“:”CA“,”type“:“教育”,”世系“:[”https://openalex.org/I18014758“]}],”国家“:[”CA“],”is_corresponding“:true,”raw_author_name“:”Alan H.Mekler“,”raw _ afiliation_strings“:[“加拿大不列颠哥伦比亚省伯纳比西蒙弗雷泽大学,V5A 186”],”affiliations“:[{”raw _affiliation_strong“:”加拿大不列列颠哥伦比西蒙弗雷塞大学,V3A 186“,”institution_ids“:[https://openalex.org/I18014758“]}]}],”institution_assertions“:[],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A502049513“],”对应的机构ID“:[”https://openalex.org/I18014758“],”apc_list“:null,”apc _ paid“:nul,”fwci“:1.359,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count“:27,”citation_normalized_percentile“:{”value“:0.788451,”is_in_top_1_percent“:false,”is_ in_top_ 10_percennt“:false},”citected_by_percentile_year“:{”min“:89,”max“:90},“biblio”:{“volume”:“49“,”问题“:”3“,”第一页“:”830“,”最后一页“:“832”},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9709,“subfield”:{“id”:“https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10126“,”display_name“:”程序分析与验证技术“,”score“:0.9709,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.9445,”subfield“:{”id“:”https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/forcing网站“,”display_name“:”强制(数学)“,”score“:0.61859304},{”id“:”https://openalex.org/keywords/modal-logics网站“,”display_name“:”Modal Logics“,”score“:0.475023}],”concepts“:[{”id“:”https://openalex.org/C197115733,“wikidata”:https://www.wikidata.org/wiki/Q1003136“,”display_name“:”Forcing(mathematics)“,”level“:2,”score“:0.61859304},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.5061793},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.4852014},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.34344518},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.32884908},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.2307/2274136“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S177675236“,”display_name“:”符号逻辑杂志“,”issn_l“:”0022-4812“,”isn“:[”0022-48012“,“1943-5886”],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310311721“,”“host_organization_name”:“剑桥大学出版社”,“host_ordanization_lineage”:[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“],”host_organization_lineage_names“:[”剑桥大学出版社“,”剑桥大学“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false}],“best_oa_location”:null,“sustainable_development_goals”:[],“grants”:[],“datasets”:【】,“versions”:【],“referenced_works_count”:4,“referrenced_works”:〔”https://openalex.org/W1580435510","https://openalex.org/W1991721857","https://openalex.org/W3151639028","https://openalex.org/W4248490242“],”related_works“:[”https://openalex.org/W3183382846","https://openalex.org/W3100509900","https://openalex.org/W3091082496","https://openalex.org/W3086542228","https://openalex.org/W2976797620","https://openalex.org/W2963025237","https://openalex.org/W2017582882","https://openalex.org/W2017331178","https://openalex.org/W1978042415","https://openalex.org/W1561332394“],”abstract_inverted_index“:{”abstract“:[0],”c.c.c.“:[1,23],”偏序集“:[2],”are“:[3],”characterized“:[4],”in“:[5],”terms“:[6],”of“:[7,19],”-generic“:[8],”conditions.“:[9],“This”:[10],“characterization”:[11],“can”:[12],“be”:[13],“applied”:[14],“to”:[15],“get”:[16],“simple”:[17],“proof”:[18],“many”:[20],“facts”:[21],“about”:[22],“forcessing”:[24],“包括“:[25],”Con(MA“:[26],”+“:[27],”\u2510CH)。“:[28]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2119265237”,“counts_by_year”:[{“year”:2022,“cited_by_count”:1},{“year”:2020,“cited_by_count”:1},{“year”:2019,“cited_by_count”:1}],“updated_date”:“2024-09-14T08:13:50.341796”,“created_date”:“2016-06-24”}