{“id”:“https://openalex.org/W1542130190“,”doi“:”https://doi.org/10.1007/978-3-540-73228-0_21“,”title“:“可行性与对角化的预测分析”,”display_name“:”可行性与对偶性的预测分析“,”publication_year“:2007,”publiation_date“:”2007-01-01“,”ids“:{”openalex“:”https://openalex.org/W1542130190“,”doi“:”https://doi.org/10.1007/978-3-540-73228-0_21“,”mag“:”1542130190“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-73228-0_21“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”“display_name”“:”“计算机科学课堂讲稿”“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false,”is_in_doaj“:false,”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”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”book-chapter“,”type_crossref“:“book-chapter”,”indexed_in“:[“crossref”],”open_access“:{”is_oa“:false”“,”oa_url“:空,”any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5054567629“,”display_name“:”Jean-Yves Marion“,”orcid“:null},”institutions“:[],”countries“:[”FR“],”is_corresponding“:true,”raw_author_name“;”Jean-Vives Marion“;”raw_affiliation_strings“:【”Nancy University\u00e9,Loria,ENSMN-INPL,B.P.239,54506 Vand\u0153uvre-l\u00e_8s-Nancy Cedex,France“】,”afiliations“:tion_string“:”南希大学\u00e9,Loria,ENSMN-INPL,B.P.239,54506 Vand\u0153uvre-l\u00e_8s-Nancy Cedex,法国https://openalex.org/A5054567629“],”corresponding_institution_ids“:[],”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc _payed“:null,”fwci“:0.27,”has_fulltext“:false,”cited_by_count“:1,”citected_by_percentile_year“:{”min“:66,”max“:73},“biblio”:{“volume”:null:“290”,“last_page”:“304”},“is_retracted”:false,“is_paratext”:false,“主主题“:{”id“:”https://openalex.org/T10126“,”display_name“:”程序分析和验证技术“,”score“:0.9998,”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.9998,”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/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9964,“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/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9962,”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/keywords/description-logics网站“,”display_name“:”Description Logics“,”score“:0.509308},{”id“:”https://openalex.org/keywords/probabilistic-systems网站“,”display_name“:”概率系统“,”score“:0.502173}],”概念“:[{”id“:”https://openalex.org/C129131279,“wikidata”:https://www.wikidata.org/wiki/Q1931259“,”display_name“:”谓词表达式“,”level“:2,”score“:0.9891956},{”id“:”https://openalex.org/C168773036,“wikidata”:https://www.wikidata.org/wiki/Q264164“,”display_name“:”递归(计算机科学)“,”level“:2,”score“:0.7834901},{”id“:”https://openalex.org/C33436860,“wikidata”:https://www.wikidata.org/wiki/Q341835“,”display_name“:”Ackermann函数“,”level“:3,”score“:0.70279944},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.6719864},{”id“:”https://openalex.org/C52146309,“wikidata”:https://www.wikidata.org/wiki/Q7431116“,”display_name“:”Schema(遗传算法)“,”level“:2,”score“:0.607194},{”id“:”https://openalex.org/C45374587,“wikidata”:https://www.wikidata.org/wiki/Q12525525“,”display_name“:”计算“,”级别“:2,”分数“:0.52348197},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.5064672},{”id“:”https://openalex.org/C151376022,“wikidata”:https://www.wikidata.org/wiki/Q168698“,”display_name“:”Exponential function“,”level“:2,”score“:0.49568403},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.41522},{”id“:”https://openalex.org/C9019067,“wikidata”:https://www.wikidata.org/wiki/Q43260“,”display_name“:”Polynomial“,”level“:2,”score“:0.41517532},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.33590737},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”字段代数“,”级别“:2,”分数“:0.3251285},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.26479334},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.1387681},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C207467116,“wikidata”:https://www.wikidata.org/wiki/Q4385666“,”display_name“:”Inverse“,”level“:2,”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/C119857082,“wikidata”:https://www.wikidata.org/wiki/Q2539“,”display_name“:”机器学习“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:3,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-73228-0_21“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”“display_name”“:”“计算机科学课堂讲稿”“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false,”is_in_doaj“:false,”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”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00175412“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],”type“:”repository“},”license“:null,”license_id“:null,”version“:null,”is_accepted“:false,”is_published“:false},{”is_oa“:false,”landing_page_url“:”https://hal.science/hal-00175412“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“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”:13,“referrenced_works”:https://openalex.org/W1525064220","https://openalex.org/W1977893559","https://openalex.org/W1981528174","https://openalex.org/W2013519208","https://openalex.org/W2034895188","https://openalex.org/W2040630046","https://openalex.org/W2041688914","https://openalex.org/W2069549740","https://openalex.org/W2069792094","https://openalex.org/W2075188242","https://openalex.org/W2109174418","https://openalex.org/W3022332613","https://openalex.org/W4301330952“],”related_works“:[”https://openalex.org/W4390350639","https://openalex.org/W4237768433","https://openalex.org/W2553341645","https://openalex.org/W2366349350","https://openalex.org/W2286072184","https://openalex.org/W2166103926","https://openalex.org/W2139019237","https://openalex.org/W2095450548","https://openalex.org/W2076743759","https://openalex.org/W1973821254网址“],”ngrams_url“:”https://api.openalex.org/works/W1542130190/ngrams网站“,”abstract_inverted_index“:{”谓词“:[0],”分析“:[1,20,35],”of“:[2,15,25,42,51,68],”递归“:[3],”schema“:[4],”is“:[5],”a“:[6,38,43,49],”方法“:[7],”to“:[8,74,81],”characterize“:[9],”复杂性“:[10],”classes“:[11],”like“:[12],”the“:[13,23],”class“:[14],“多项式”:[16],“时间”:[17],“函数”:[18],“This”:[19],“come”:[21],“from”:[22],“作品”:[24],“Bellantoni”:[26],“and”:[27,29],“Cook”:[28],“Leivant”:[30],“Here”:[31],“we”:[32,71],“refine”:[33],“表语”:[34],“by”:[36],“using”:[37,76],“ramified”:[39],“Ackermann \u2019s”:[40],“construction”:[41],“non-priminal”:[44],“recursive”:[45],“函数。”:[46,85],“我们”:[47],“获得”:[48,82],“层次结构”:[50],“函数”:[52],“哪个”:[53,57],“特征”:[54],“精确”:[55],“函数”,:[56],“是”:[58,72],“计算的”:[59],“in”:[60,79],“O(n”:[61],“k”:[62],“)”:[63],“over”:[64],“寄存器”:[65],“机器”:[66],“模型”:[67],“运算。”:[69],“Then,”:[70],“able”:[73],“对角”:[75],“依赖”:[77],“类型”:[78],“顺序”:[80],“an”:[83],“指数”:[84]},“引用_by_api_url”:“https://api.openalex.org/works?filter=cites:W1542130190“,”counts_by_year“:[],”updated_date“:”2024-06-20T22:16:36.138333“,”创建日期“:”2016-06-24“}