｛“id”：“https://openalex.org/W2102865891“，”doi“：”https://doi.org/10.1007/978-3-642-29485-3_3“，”title“：”Experimental Descriptive Complexity“，”display_name“：”Experimental描述性复杂性“，”publication_year“：2012，”publiation_date“：”2012-01-01“，”ids“：{”openalex“：”https://openalex.org/W2102865891“，”doi“：”https://doi.org/10.1007/978-3-642-29485-3_3“，”mag“：”2102865891“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-29485-3_3“，”pdf_url“：null，”source“：｛”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/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”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”：true，“oa_status”：“green”，“oa_url”：http://people.cs.umass.edu/~immerman/pub/ExperimentalDC.pdf“，”any_repository_has_fulltext“：true}，”作者“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5089757268“，”display_name“：”Marco Carmosino“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I24603500“，”display_name“：”马萨诸塞大学阿默斯特分校“，”ror“：”https://ror.org/0072zz521“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I24603500“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Marco Carmosino“，”raw关联字符串“：[“美国阿默斯特马萨诸塞大学计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5053065200“，”display_name“：”Neil Immerman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I24603500“，”display_name“：”马萨诸塞大学阿默斯特分校“，”ror“：”https://ror.org/0072zz521“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I24603500“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Neil Immerman“，”raw关联字符串“：[“美国马萨诸塞大学计算机科学系，Amherst”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5072016376“，”display_name“：”Charles Jordan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I205349734“，”display_name“：”北海道大学“，”ror“：”https://ror.org/02e16g702“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I205349734“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Charles Jordan“，”raw_affiliation_strings“：[“日本北海道大学计算机科学系”]}]“countries_distict_count”：2，”institutions_distinct_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“EUR”，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“，”value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：69}，《图书》：{卷：null，“issue”：null、“first_page”：“24”，“last_page”：“34”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9992，“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.9992，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9978，”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.995，“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/description-logics网站“，”display_name“：”Description Logics“，”score“：0.519254}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8449024}，{”id“：”https://openalex.org/C2780560020，“wikidata”：https://www.wikidata.org/wiki/Q79719“，”display_name“：”License“，”level“：2，”score“：0.8081589}，{”id“：”https://openalex.org/C2987117450，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑程序“，”level“：3，”score“：0.48426455}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38288164}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.38043633}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.20801738}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-29485-3_3“，”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/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”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”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.309.2965，“pdf_url”：http://people.cs.umass.edu/~immerman/pub/ExperimentalDC.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.309.2965，“pdf_url”：http://people.cs.umass.edu/~immerman/pub/ExperimentalDC.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：14，“referrenced_works”https://openalex.org/W1489366126","https://openalex.org/W1590283810","https://openalex.org/W1970629906","https://openalex.org/W1989783863","https://openalex.org/W2043360684","https://openalex.org/W2052936500","https://openalex.org/W2088094394","https://openalex.org/W2110020743","https://openalex.org/W2111302825","https://openalex.org/W2121755852","https://openalex.org/W2165416570","https://openalex.org/W2181072414","https://openalex.org/W4235178139","https://openalex.org/W4236835455“]，”related_works“：[”https://openalex.org/W3195777957","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2606446052","https://openalex.org/W2382668227","https://openalex.org/W2348482143","https://openalex.org/W2137048368","https://openalex.org/W2036021480","https://openalex.org/W2024584030","https://openalex.org/W1603675680“]，”ngrams_url“：”https://api.openalex.org/works/W102865891/ngrams“，”“abstract_inverted_index”：{“We”：[0,53]，“describe”：[1]，“our”：[2]，“development”：[3]，“and”：[4,20,35,39,56]，“use”：[5,46]，“of”：[6,22,30,37,68,75]，“DescriptiveEnvironment”：[7,41]，“（DE）.”：[8]，“This”：[9]，“is”：[10,42]，“a”：[11]，“program”：[12]，“to”：[13,24,75]61]，“援助”：[14]，“研究人员”：[15,55]，“in”：[16]，“有限”：[17]，“模型”：[18]，“理论”：[19]，“学生“：[21,57]，“逻辑”：[23]，“自动”：[25]，“生成”：[26]，“示例”，：[27]，“计数器”：[28]，“实例”：[29]，“猜想”：[31]，“约简”：[32]，“介于”：[33]，“问题”：[34]，“可视化”：[36]，“结构”：[38]，“查询”。“：[40]，”可用“：[43]，”用于“：[44]，”免费“：[45]，”根据“：[47]，”an“：[48]，”ISC“：[49]，”许可证“：[50]，”位于“：[51,58]，”网址：http://www.cs.umass.edu/~immerman/de.“：[52]，”鼓励“：[54]，”所有“：[59]，”等级“：[60]，”实验“：[62]，”用“：[63]，”它。“：[64]，”请“：[65]，”告诉“：[66]，”我们“：[67]，”你的“：[69]，”见解“：[70]，”进步“：[71]，”建议“：[72]，”或“：[73]，”扩展“：[74]，”de.“：[76]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2102865891“，”counts_by_year“：[]，”updated_date“：”2024-05-10T17:07:57.215714“，”创建日期“：”2016-06-24“}