{“id”：“https://openalex.org/W1504640313“，”doi“：”https://doi.org/10.2178/jsl/1174668397“，”title“：”绑定同质模型“，”display_name“：”同质模型绑定“，”publication_year“：2007，”publiation_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W1504640313“，”doi“：”https://doi.org/10.2178/jsl/1174668397“，”mag“：”1504640313“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668397“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”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/A5061005365“，”display_name“：”Barbara F.Csima“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”None Barbara F.Csima“、”raw_affiliation_strings“：[/]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5071875842“，”display_name“：”Valentina Harizanov“，”orcid“：”https://orcid.org/0000-0002-6626-5074“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Valentina S.Harizanov“，”raw关联字符串“：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5015485533“，”display_name“：”Denis R.Hirschfeldt“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”Denis-Hirschefeldt”，“raw_affiliation_strings”：[]}，{“author_position”：“last”，”author“：{”id“：”https://openalex.org/A5023422267“，”display_name“：”Robert I.Soare“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”raw I.Soore“，“raw_affiliation_strings”：[]}]，”countries_distiction_count“：0，”instistictions_distinact_count空，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”cited_by_percentile_year“：{”min“：79，”max“：80}，”biblio“：{“volume”：“72”，“issue”：“1”，“first_page”：“305”，“last_page”：”323“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T2002“，”display_name“：”计算复杂性和算法信息理论“，”score“：1.0，”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/T2002“，”display_name“：”计算复杂性和算法信息理论“，”score“：1.0，”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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9943，”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/T12162“，”display_name“：”元胞自动机理论与应用“，”score“：0.9873，”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/computational深度“，”display_name“：”计算深度“，”score“：0.456345}]，”concepts“：[{”id“：”https://openalex.org/C2775997480，“wikidata”：https://www.wikidata.org/wiki/Q586277“，”display_name“：”学位（音乐）“，”等级“：2，”分数“：0.8835801}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.75052345}，{”id“：”https://openalex.org/C63584917，“wikidata”：https://www.wikidata.org/wiki/Q333286“，”display_name“：”掩护边界“，”level“：2，”score“：0.75001615}，{”id“：”https://openalex.org/C66882249，“wikidata”：https://www.wikidata.org/wiki/Q169336“，”display_name“：”同质“，”level“：2，”score“：0.73562086}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.65581775｝，｛”id“：”https://openalex.org/C97489613，“wikidata”：https://www.wikidata.org/wiki/Q842755“，”display_name“：”皮亚诺公理“，”level“：2，”score“：0.5698966}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.5546224}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.4747601}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.4689735}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.19891092}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.13280216}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.07332167}，{”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”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.2178/jsl/1174668397“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”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”：25，“referenced_works“：[”https://openalex.org/W1499179478","https://openalex.org/W1556453281","https://openalex.org/W1566235828","https://openalex.org/W1978521098","https://openalex.org/W1982321417","https://openalex.org/W1982821787","https://openalex.org/W1987148015","https://openalex.org/W2007915800","https://openalex.org/W2022558727","https://openalex.org/W2034579698","https://openalex.org/W2055585831","https://openalex.org/W2065230732","https://openalex.org/W2077565563","https://openalex.org/W2084068730","https://openalex.org/W2086027672","https://openalex.org/W2132364243","https://openalex.org/W2146750910","https://openalex.org/W2156724103","https://openalex.org/W2334508319","https://openalex.org/W2969873114","https://openalex.org/W3187762542","https://openalex.org/W4231125794","https://openalex.org/W4232277851","https://openalex.org/W4246804796","https://openalex.org/W9167880“]，”related_works“：[”https://openalex.org/W968826431","https://openalex.org/W4390013774","https://openalex.org/W4301007153","https://openalex.org/W3136886172","https://openalex.org/W3042647161","https://openalex.org/W2303556051","https://openalex.org/W2115117868","https://openalex.org/W2085902896","https://openalex.org/W171744056","https://openalex.org/W1577881803“]，”ngrams_url“：”https://api.openalex.org/works/W1504640313/ngrams“，”“abstract_inverted_index”：{“抽象”：[0]，“A”：[1]，“图灵”：[2]，“度”：[3,30,44,47,64]，“d”：[4,16,31]，“是”：[5,55,65,73,84]，“同质”：[6,18,56,93]，“边界”：[7,67]，“如果”：[8,68,71]，“每”：[9,42,46,92]，“完整”：[10,50]，“可判定”：[11]，“（CD）“：[12]，”理论“：[13,88]，”有“：[14,29,97]，”A“：[15,49,63,74,85,98]，”可判定“：[17]，”模型“：[19,94]，”“，”：[20]，“即，”：[21]，“the”：[22]，“elemental”：[23]，“diagram”：[24]，“D”：[25]，“e”：[26]，“（”：[27]，“）”：[28]，“。“：[32]，”It“：[33]，”following“：[34]，”from“：[35]，”results“：[36]，”of“：[37,48,52,95]，”Macintyre“：[38]，”and“：[39,69]，”Marker“：[40]，”that“：[41,60,82,91]，”PA“：[43,75,99]，”（即“：[45]，”extension“：[51]，”Peano“：[53]，”Arithmetic）“：[54]，”bounding。“：[57]，”我们“：[58,77]，”证明“：[59]，”in“：[61]，”事实“：[62]，”仅“：[70]，”it“：[72]，”度。“：[76100]，”do“：[78]，”this“：[79]，”by“：[80]，”showing“：[81]，”there“：[83]，”single“：+86]，”CD“：[87]，”T“：[89,96]，”such“：[90]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1504640313“，”counts_by_year“：[{”年份“：2017，”cited_by_count“：1}，{”年“：2014，”cited_by_count”：1}]，”更新日期“：”2024-05-15T15:06:40.058519“，”created_date“：”2016-06-24“}