{“id”:“https://openalex.org/W2127822433“,”doi“:”https://doi.org/10.3233/fi-2011-564“,”title“:”Properties Complementary to Program Self-Reference“,”display_name“:”Proterties Completivery to Program-References“,”publication_year“:2011,”publitation_date“:”2011-01-01“,”ids“:{”openalex“:”https://openalex.org/W2127822433“,”doi“:”https://doi.org/10.3233/fi-2011-564“,”mag“:”2127822433“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.3233/fi-2011-564“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S39012697“,”“display_name”“:”“Fundamental informaticae”“,”https://openalex.org/P4310318577“,”“host_organization_name”:“IOS新闻”,“host_organization_lineage”:[“https://openalex.org/P4310318577“],”host_organization_lineage_names“:[”IOS Press“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:null,“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”:nul,“any_repository”_has_fulltext“:false},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5050068098“,”display_name“:”John Case“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I86501945“,”display_name“:”特拉华大学“,”ror“:”https://ror.org/01sbq1a82“,”country_code“:”US“,”type“:“教育”,”世系“:[”https://openalex.org/I86501945“]}],”国家“:[”美国“],”is_corresponding“:false,”raw_author_name“:”John Case“,”raw _affiliation_strings“:[“特拉华大学计算机与信息科学系,101 Smith Hall,Newark,DE 19716,案例@cis.udel.edu“]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5035681422“,”display_name“:”Samuel E.Moelius“,”orcid“:null},”institutions“:[],”countries“:[],”is_corresponding“:false,”raw_author_name“:”Samuell E.Moelius III“,”raw _affiliation_strings“:【”IDA计算科学中心,17100 Science Drive,Bowie,MD 20715-4300,semoeli@super.org“]}],”countries_distiction_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:null,”apc_payed“:null,”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count:0,“cited_by_percentile_year”:{“min”:0,”max“:69},”biblio“:{”volume“:“111”,“问题”:“3”,“first_page”:“281”,“last_page”:“311”},“is_retracted”:false,“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T2002“,”display_name“:”计算复杂性和算法信息理论“,”score“:0.9999,”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“:0.9999,”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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9986,“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/T11567“,”display_name“:”自动机理论与形式语言“,”score“:0.9968,”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/关键字/可计算性“,”display_name“:”Computability“,”score“:0.517513}],”concepts“:[{”id“:”https://openalex.org/C69975804,“wikidata”:https://www.wikidata.org/wiki/Q1129622“,”display_name“:”Self-reference“,”level“:2,”score“:0.55308807},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198(网址:https://www.wikidata.org/wiki/Q21198)“,”display_name“:”计算机科学“,”level“:0,”score“:0.45056644},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.34036592},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.21336803}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.3233/fi-2011-564“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S39012697“,”“display_name”“:”“Fundamental informaticae”“,”https://openalex.org/P4310318577“,”“host_organization_name”:“IOS新闻”,“host_organization_lineage”:[“https://openalex.org/P4310318577“],”host_organization_lineage_names“:[”IOS Press“],“type”:“journal”},“license”:null,“licence_id”:null,“version”:nul,“is_accepted”:false,“is_published”:false}],“best_oa_location”:null,“sustainable_development_goals”:[],“grants”:[],“datasets”:【】,“versions”:【],“referenced_works_count”:31,“referrenced_works”:〔”https://openalex.org/W139343445","https://openalex.org/W1488494826","https://openalex.org/W1498102178","https://openalex.org/W1498614655","https://openalex.org/W1511668635","https://openalex.org/W1533976297","https://openalex.org/W1579083493","https://openalex.org/W1579433101","https://openalex.org/W1590000405","https://openalex.org/W1691853977","https://openalex.org/W1962674228","https://openalex.org/W1963780006","https://openalex.org/W1968738492","https://openalex.org/W1998555378","https://openalex.org/W2002183962","https://openalex.org/W2007270285","https://openalex.org/W2022959407","https://openalex.org/W2024609530","https://openalex.org/W2035004935","https://openalex.org/W2036869460","https://openalex.org/W2038703620","https://openalex.org/W2041249678","https://openalex.org/W2060162960","https://openalex.org/W2087869015","https://openalex.org/W2089442854","https://openalex.org/W2095936846","https://openalex.org/W2117832390","https://openalex.org/W2118589925","https://openalex.org/W2166329216","https://openalex.org/W2321664493","https://openalex.org/W2530006810“],”related_works“:[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“],”ngrams_url“:”https://api.openalex.org/works/W2127822433/ngrams“,”“abstract_inverted_index”:{“In”:[0,16],“computability”:[1],“theory”,:[2],“program”:[3,32],“self-reference”:[4],“is”:[5,82,93,98118135],“formalized”:[6],”“by”:[7],“the”:[8,48,74,87121],“not-nessarily-constructive”:[9],“form”:[10123],“of”:[11,40,76,89104110124129],“Kleene's”:[12125],“递归”:[13126],“定理”:[14],“(krt).”:[15]a“:[17,31,35,38102113],”编程“:[18],”系统“:[19],”in“:[20,34,51,99],”which“:[21106],”krt“:[22,64138],”holds,“:[23],”for“:[24],”any“:[25],”preassigned“:[26],“algorithmic”:[27],“task,”:[28],“there”:[29],“exists”:[30],“that,”:[33],“sense,”:[36],“创建”:[37],“复制”:[39],“自身”:[41],“和”:[42],“然后”:[43140],“执行”:[44],““:[45,83108152],”任务“:[46],”使用“:[47],”自我复制。“:[49],”解释“:[50],”此“:[52],”方式“:[53],”这样“:[54143],”自我复制“:[55],”程序“:[56],”有“:[57],”可用“:[58],”自知。考虑“:[59],”在此,“:[60],”属性“:[61,72],”互补“:[62,94119136],”到“:[63,95101120137],”是“:[65,70139]”。“:[66],”Of“:[67],”special“:[68],”interest“:[69],”these“:[71],”involved“:[73,86],”implementation“:[75,88109134],”control“:[77,91115131144150],”structures。“:[78],”One“:[79],”main“:[80],”result“:[81103],”no“:[84],”property“:[85],”dentational“:[9011449],”structures“:[92132145151],”krt“。“:[96],”This“:[97],”contrast“:[100],”Royer“:[105],”show“:[107],”if-then-else“:[111],”\u2014“:[112117],”structure“:[116],”constructive“:[222],”Thermothen。“:[127],”示例“:[128],”非指称“:[130],”其“:[133],”给定。“:[141],“Some”:[142],“so”:[146],“nearly”:[147],“like”:[148],“these”:[153],“may”:[154],“be”:[155],“called”::156],“quasi-denotional”。“:[157]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2127822433“,”counts_by_year“:[],”updated_date“:”2024-05-09T22:17:15.876283“,”创建日期“:”2016-06-24“}