{“id”：“https://openalex.org/W1486891341“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_19“，”title“：“Kahr-Moore-Wang类中的不可测试属性”，“display_name”：“Karr-Moore-Vang类中的不可测试属性“，”publication_year“：2011，”publiction_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1486891341“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_19“，”mag“：”1486891341“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_19“，”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/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“：[“日本札幌北海道大学计算机科学系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5050794957“，”display_name“：”Thomas Zeugmann“，”orcid“：”https://orcid.org/0000-0003-1562-6383}，“机构”：[{“id”：https://openalex.org/I205349734“，”display_name“：”北海道大学“，”ror“：”https://ror.org/02e16g702“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I205349734“]}]，”countries“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Thomas Zeugmann“，”raw _affiliation_strings“：【”日本札幌北海道大学计算机科学系“】}]，“countries_distict_count”：1，”institutions_disticent_count“：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“、”value_usd“：5391，”province“：”doaj“{，”has_fulltext“：false，”cited_by_count“：1，”cited_by_percentile_year“：{“min”：69，“max”：76}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“176”，“last_page”：“186”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9997，”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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9997，”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/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9996，“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/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.439228}]，”concepts“：[{”id“：”https://openalex.org/C51234621，“wikidata”：https://www.wikidata.org/wiki/Q2149495“，”display_name“：”Testability“，”level“：2，”score“：0.923038}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.70919716}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7020198}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.68305624}，{”id“：”https://openalex.org/C141603448，“wikidata”：https://www.wikidata.org/wiki/Q134830“，”display_name“：”前缀“，”级别“：2，”分数“：0.6045136}，{”id“：”https://openalex.org/C192209626，“wikidata”：https://www.wikidata.org/wiki/Q190909“，”display_name“：”焦点（光学）“，”级别“：2，”分数“：0.5214538}，{”id“：”https://openalex.org/C2777601683，“wikidata”：https://www.wikidata.org/wiki/Q6499736“，”display_name“：”词汇“，”级别“：2，”分数“：0.41065127}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3957931｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3869616}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28760037}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2755318}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.113039464}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C120665830，“wikidata”：https://www.wikidata.org/wiki/Q14620“，”display_name“：”Optics“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_19“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：20，“referenced_works“：[”https://openalex.org/W1524313076","https://openalex.org/W1528578654","https://openalex.org/W1532594152网址","https://openalex.org/W1549008998","https://openalex.org/W1550790952","https://openalex.org/W1562499969","https://openalex.org/W1970630090","https://openalex.org/W2001371332","https://openalex.org/W2018925011","https://openalex.org/W2032083353","https://openalex.org/W2032725063","https://openalex.org/W2036501955","https://openalex.org/W2161803520","https://openalex.org/W2171640809","https://openalex.org/W3004537778","https://openalex.org/W3008660429","https://openalex.org/W4205178514","https://openalex.org/W4234829843","https://openalex.org/W4236563753","https://openalex.org/W4241342151“]，”related_works“：[”https://openalex.org/W4385305499","https://openalex.org/W3196321793","https://openalex.org/W3173108628","https://openalex.org/W3080705045","https://openalex.org/W2507465767","https://openalex.org/W2393524141","https://openalex.org/W2385527937","https://openalex.org/W2373597927","https://openalex.org/W2041380991","https://openalex.org/W2005880840“]，”ngrams_url“：”https://api.openalex.org/works/W1486891341/ngrams（英文）“，”“abstract_inverted_index”：{“Property”：[0]，“testing”：[1]，“is”：[2,30,61,71,82]，“a”：[3,12,17,72]，“kind”：[4]，“of”：[5,16,41,43,53,64]，“randomized”：[6]，“approximation”：[7]，“in”：[8,48]，“which”：[9]，“one”：[10]，“takes”：[11]，“small”，“：[13]，”“random”：[14]，“sample”：[15]，“结构”：[18,25]，“和”：[19,47,75,90]，“愿望”：[20]，“到”：[21,94]，“确定”：[22]无论是“：[23]，”该“：[24,34,39,51,62,86]，”满足“：[26]，”某些“：[27]，”属性“：[28]，”或“：[29]，”远“：[31]，”来自“：[32]，”满意“：[33]，”特性。“：[35]，“We”：[36,79]，“focus”：[3]，“on”：[38,50]，“testability”：[40,89]，“classes”：[42,55]，“first order”：[44]，“expressible”：[45]，“properties”，“：[46]，“special”：[49]，“categorification”：【52，87】，“prefix-vography”：【54】，“for”：【56，77，88】，“tesability”。“：[57]，”The“：[58]，”main“：[59]，”result“：[60]，”untestability“：[63]，”[“：[65]，”\u2200“：[66,68]，”\ u2203“：[67]，”，（0,1）]=。“：[69]，“This”：[70]，“knowled”：[73]，“class”：[74]，“minimal”：[76]，“untestability”。“：[78]，”讨论“：[80]，”什么“：[81]，”当前“：[83]，”已知“：[84]，”关于“：[85]，”简要“：[91]，”比较“：[92]，”它“：[93]，”其他“：[95]，”分类。“：[96]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1486891341“，”counts_by_year“：[{”年“：2016，”cited_by_count“：1}]，”更新日期“：”2024-05-14T15:04:59.551824“，”创建日期“：“2016-06-24”}