{“id”：“https://openalex.org/W1979394993“，”doi“：”https://doi.org/10.1145/2213977.2214001“，”title“：”算术测试和计算的决定论与非决定论“，”display_name“：”数学测试与计算的决定主义与非决定主义“，”publication_year“：2012，”publiation_date“：”2012-05-19“，”ids“：{”openalex“：”https://openalex.org/W1979394993“，”doi“：”https://doi.org/10.1145/2213977.2214001“，”mag“：”1979394993“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2213977.2214001“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5063919492“，”display_name“：”Mikl\u00f3s Ajtai“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210085935“，”display_name“：”IBM Research-Almaden“，”ror“：”https://ror.org/005w8dd04“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I1341412227","https://openalex.org/I4210085935","https://openalex.org/I4210114115“]}]，”国家“：[“美国”]，”is_corresponding“：true，”raw_author_name“：”Mikl\u00f3s Ajtai“，”raw _ afiliation_strings“：[”IBM Alamden Research Center，San Jose，CA，USA“]，”affiliations“：[{”raw _affiliation_strong“：”IBM Alarmden Resultch Center，圣何塞，CA，US“，”institution_ids“：[https://openalex.org/I4210085935“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5063919492“]，”对应的机构ID“：[”https://openalex.org/I4210085935“]，”apc_list“：null，”apc _ paid“：nul，”fwci“：0.36，”has_fulltext“：false，”cited_by_count“：1，”citation_normalized_percentile“：{“value”：0.334923，”is_in_top_1_percent“：false，”is_ in_top_ 10_percennt“：false}，”cited_by_percentile_year“：{“min”：65，”max“：72}，“biblio”：{”volume“：null，”issue“：null，”first_page“：null，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9951，”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.9951，”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/T11435“，”display_name“：”代数几何和密码学中的符号计算“，”score“：0.988，”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/T11697“，”“display_name”：“科学计算中的浮点运算”，“score”：0.986，“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/unary-operation（https://openalex.org/keywords/unary-operation）“，”display_name“：”一元运算“，”score“：0.80515826}，{”id“：”https://openalex.org/keywords/natural-number网站“，”display_name“：”自然数“，”score“：0.68505675}，{”id“：”https://openalex.org/keywords/binary-operation网站“，”display_name“：”二进制运算“，”score“：0.5162301}，{”id“：”https://openalex.org/关键字/符号计算“，”display_name“：”符号计算“，”score“：0.486489}，{”id“：”https://openalex.org/keywords/boolean-data-type“，”display_name“：”布尔数据类型“，”score“：0.43510324}]，”concepts“：[{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.80515826}，{”id“：”https://openalex.org/C184264201，“wikidata”：https://www.wikidata.org/wiki/Q21199“，”display_name“：”自然数“，”level“：2，”score“：0.68505675}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.6418686}，{”id“：”https://openalex.org/C2780595030，“wikidata”：https://www.wikidata.org/wiki/Q3860309“，”display_name“：”乘法（音乐）“，”level“：2，”score“：0.6107573}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6104369}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.5755272}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.57088625}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.56226426}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.55046976}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”Arithmetic“，”level“：1，”score“：0.52444416｝，｛”id“：”https://openalex.org/C185529760，“wikidata”：https://www.wikidata.org/wiki/Q164307“，”display_name“：”二进制运算“，”level“：2，”score“：0.5162301｝，｛”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.47789276}，{”id“：”https://openalex.org/C7342684，“wikidata”：https://www.wikidata.org/wiki/Q520777“，”display_name“：”布尔数据类型“，”level“：2，”score“：0.43510324}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.43205568}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.18555358}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”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.1145/2213977.2214001“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：14，“referrenced_works”：[”https://openalex.org/W1593059705","https://openalex.org/W1655990431网址","https://openalex.org/W1975124543","https://openalex.org/W1991155917","https://openalex.org/W2001736707","https://openalex.org/W2003519998","https://openalex.org/W2015895898","https://openalex.org/W2045876200","https://openalex.org/W2045924252","https://openalex.org/W2073236787","https://openalex.org/W2082035816","https://openalex.org/W2400956147","https://openalex.org/W3130727218","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4298412342","https://openalex.org/W3217334334网址","https://openalex.org/W3105727132","https://openalex.org/W3094594872","https://openalex.org/W2952134458","https://openalex.org/W2945675489","https://openalex.org/W2316985166","https://openalex.org/W2040021389","https://openalex.org/W2005109419","https://openalex.org/W1993276116“]，”abstract_inverted_index“：{”For“：[0151]，”each“：[1,22]，”natural“：[2,25]，”number“：[3,26]，”d“：[4]，”we“：[5]，”consider“：[6]，”a“：[7,24,99105113160195]，”finite“：[8]，”structure“：[9,39]，”md“：[10162173179197]，”which“：[11]，”universe“：[12]，”is“：[13140198]，”the“：[14,28,38,41,50,55,68,82,91124128145165185193]，“集合”：[15,29]，“的”：[16,19,77]，“all”：[17,85136]，“0,1-sequence”：[18]，“length”：[20,78]，“n=2d，”：[21]，“representating”：[23]，“in”：[27,31,37]，“[0,1，…，2n-1]”：[30]，“binary”：[32,56]，“form.”：[33]，“The”：[34]，“operations”：[35,71,83,93]，“included”：[36]，“are”：[40,89169]，“four”：【42】，“constants”“：[43]，”0,1,2n-1，n，“：[44]，”乘法“：[45]，”与“：[46,67]，”加法“：%47]，”模“：[48]，”2n，“：[49]，“一元”：[51]，“函数”：[52]，“最小[2x，”：[53]，“2n-1]，”：[P4]，“函数“：[57]，”\u230a“：[58,61]，”x/y\u230b“：[59]，”（带“：[60]，”x/0“：[62]，”\ u230b”：[63]，“=0”），“：[64]，”最大值（x，y），“:[65]，”最小值，“布尔”：[69]，“向量”：[70]，“\u2227，\u2228，-”：[72]，“定义的”：[73]，“on”：[74,84,98192]，“0,1”：[75]，“序列”：[76]，“n”：[79]，“by”：[80104205]，“正在执行”：[81]，“组件”：[86]，“同时执行。”：[87]，“这些”：[88]，“本质上”：[90]，“算术”：[92]，“that”：[94110134164]，“can”：[95]，“be”：[96203]，“performed”：[97]，“RAM”：[100]，“with”：[101127]，“wordlength”：[102]，“n，”：[103]，“single”：/106]，“指令。”：[107]，“We”：%108]，“show”：[109]，“there”：[11157]，“exists”：[112158]，“term”：[114]，“（that”：[115]，“is”，“：[116]，“an”：[117159188207]，“algebral”：[118208]，“expression）”：[119]，“F（x，y）”：%120]，“build”：[121142]，“up”：[122143]，“from”：[123144]，“noted”：[125146]，“operations”，“:126147]，“only”：[129]，“free”：[130]，“variables”：[131]，“x，y，”：[132]，“such”：[133163]，“for”：[135]，“terms”：[137]，“G（y）”：[138]，“which”：[139]，“also”：[141]，“following”：[149166]，“holds.”：[150]，“infinally”：[152]，“many”：%153]，“positive”：[154]，“integers”：[155]，“d，”：[156]，“\u2208”：[161196]，“two”：[167]，“statements”：[168]，“not”：%170]，“equivalent:”：[171]，“（i）”：[172]，“|=”：[174]，“\ u2203”：[175]，“x，”：%176]，“F（x，a），“：[177]，”（ii）“：[178]，”型号“：[180]，”G（a）=0.“：[181]，”输入“：[182]，”其他“：[183]，”单词“：[184]，“问题”：[186]，“是否”：[187]，“存在”：[189]，“语句”，：[190]，“依赖”：[191]，“参数”：[194]，“真”：[199]，“或”：[200]，“否”，“：[201]，“不能”：[202]，“决定”：[204]，“求值”：[206]，“表达式”：[209]，“at”：[210]，“a.”：[211]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1979394993”，“counts_by_year”：[｛“year”：2013，“cited_by_count”：1｝]，“updated_date”：“2024-08-14T01:31:19.743445”，“created_date”：“2016-06-24”｝