{“id”:“https://openalex.org/W2093657228“,”doi“:”https://doi.org/10.1007/bf00372772“,”title“:”Zermelo-Fraenkel集合理论的线性保守扩张“,”display_name“:”Zermelo-Fraenkel集理论的线性守恒扩张“,“publication_year”:1996,“publiction_date”:“1996-05-01”,“ids”:{“openalex”:“https://openalex.org/W2093657228“,”doi“:”https://doi.org/10.1007/bf00372772“,”mag“:”2093657228“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/bf00372772“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S30880287“,”display_name“:”Studia logica“,”issn_l“:”0039-3215“,”isn“:[”0039-3125“,”1572-8730“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],url“:null,”any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5035238133“,”display_name“:”Masaru Shirahata“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I177738480“,”display_name“:”日本高级科学技术学院“,”ror“:”https://ror.org/03frj4r98“,”country_code“:”JP“,”type“:“教育”,”世系“:[”https://openalex.org/I177738480“]}],”国家“:[”JP“],”is_corresponding“:true,”raw_author_name“:”Masaru Shirahata“,”raw_affiliation_strings“:[日本高级科学技术研究院信息科学学院],”affiliations“:[{”raw_affiliation_string“:”日本高级科技研究院信息科技学院“,”机构ID“:[”https://openalex.org/I177738480“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5035238133“],”对应的机构ID“:[”https://openalex.org/I177738480“],”apc_list“:{”value“:2290,”currency“:”EUR“,”value_usd“:2890,”provenance“:”doaj“},”apc _payed“:null,”fwci“:1.109,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count“:9,”cited_by_percentile_year“:”{“min”:79,”max“:80},“biblio”:{“volume”:“56”,“issue”:“3”,“first_p”年龄“:”361“,”last_page“:”392“},”is_retracted“:false,”is_paratext“:false,”主主题“:{”id“:”https://openalex.org/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9996,“subfield”:{“id”:“https://openalex.org/subfields/s702“,”display_name“:”Artificial Intelligence“},”field“:{”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.9996,“subfield”:{“id”:“https://openalex.org/subfields/s702“,”display_name“:”Artificial Intelligence“},”field“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9991,”subfield“:{”id“:”https://openalex.org/subfields/s702“,”display_name“:”Artificial Intelligence“},”field“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T2002“,”display_name“:”计算复杂性与算法信息理论“,”score“:0.9914,”subfield“:{”id“:”https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”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/非单调推理“,”display_name“:”非单调推理“,”score“:0.468368}],”concepts“:[{”id“:”https://openalex.org/C2780432614,“wikidata”:https://www.wikidata.org/wiki/Q864213“,”display_name“:”保守扩展“,”level“:2,”score“:0.84291756},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.836099},{”id“:”https://openalex.org/C2778029271,“wikidata”:https://www.wikidata.org/wiki/Q5421931“,”display_name“:”扩展(谓词逻辑)“,”level“:2,”score“:0.6852089},{”id“:”https://openalex.org/C65880906,“wikidata”:https://www.wikidata.org/wiki/Q1771121“,”display_name“:”序列演算“,”level“:3,”score“:0.6376641},{”id“:”https://openalex.org/C51460网址,“wikidata”:https://www.wikidata.org/wiki/Q191849“,”display_name“:”Zermelo\u2013Fraenkel集合论“,”level“:5,”score“:0.6211083},{”id“:”https://openalex.org/C151797676,“wikidata”:https://www.wikidata.org/wiki/Q179692“,”display_name“:”选择公理“,”level“:4,”score“:0.54027134},{”id“:”https://openalex.org/C153046414,“wikidata”:https://www.wikidata.org/wiki/Q12482“,”display_name“:”集合论“,”level“:3,”score“:0.51638824},{”id“:”https://openalex.org/C167729594,“wikidata”:https://www.wikidata.org/wiki/Q17736“,”display_name“:”Axiom“,”level“:2,”score“:0.5151695},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.45858192},{”id“:”https://openalex.org/C2318724,“wikidata”:https://www.wikidata.org/wiki/Q852732“,”display_name“:”证明理论“,”level“:3,”score“:0.4133946},{”id“:”https://openalex.org/C111404639,“wikidata”:https://www.wikidata.org/wiki/Q376166“,”display_name“:”割消去定理“,”level“:4,”score“:0.41336685},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.41055202},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.39632368},{”id“:”https://openalex.org/C177264268,“wikidata”:https://www.wikidata.org/wiki/Q1514741“,”display_name“:”Set(abstract data type)“,”level“:2,”score“:0.38209552},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.31791347},{”id“:”https://openalex.org/C6489637,“wikidata”:https://www.wikidata.org/wiki/Q7250002“,”display_name“:”证明演算“,”level“:3,”score“:0.29922897},{”id“:”https://openalex.org/C28077239,“wikidata”:https://www.wikidata.org/wiki/Q841728“,”display_name“:”线性逻辑“,”level“:2,”score“:0.20180091},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.09421903},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C199343813,“wikidata”:https://www.wikidata.org/wiki/Q12128“,”display_name“:”牙科“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538“,”display_name“:”数学证明“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/bf00372772“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S30880287“,”display_name“:”Studia logica“,”issn_l“:”0039-3215“,”isn“:[”0039-3125“,”1572-8730“],”is_oa“:false,”is_ in_doaj“:false,”is_core“:true,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer Science+Business Media“],”type“:”journal“},”license“:null,”license_id“:null,”version“:null,”is_accepted“:false,”is_published“:false}],”best_oa_location“:null,”sustainable_development_goals“:[],”grants“:[],”dataset“:[],”version“:[],”referenced_works_count“:5,”referenced_works“:[”https://openalex.org/W1971256104","https://openalex.org/W1974484530","https://openalex.org/W1992629414","https://openalex.org/W2179008428","https://openalex.org/W2911865844“],”related_works“:[”https://openalex.org/W97176178","https://openalex.org/W423103167","https://openalex.org/W3034881686","https://openalex.org/W2979076867","https://openalex.org/W288388583","https://openalex.org/W2500725777","https://openalex.org/W2164449415","https://openalex.org/W2031083694","https://openalex.org/W1574825745","https://openalex.org/W1490031414“],”ngrams_url“:”https://api.openalex.org/works/W2093657228/ngrams网站“,”abstract_inverted_index“:空,”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2093657228“,”counts_by_year“:[],”updated_date“:”2024-06-27T00:29:39.701778“,”created_dates“:”2016-06-24“}“