{“id”：“https://openalex.org/W2963271462“，”doi“：”https://doi.org/10.1017/s096012951500432“，”title“：“有序组合代数与可实现性”，”display_name“：”有序组合代数和可实现性“，”publication_year“：2015，”publitation_date“：”2015-09-10“，”ids“：{”openalex“：”https://openalex.org/W2963271462“，”doi“：”https://doi.org/10.1017/s096012951500432“，”mag“：”2963271462“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500432“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://arxiv.org/pdf/1410.5034“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5050651194“，”display_name“：”Walter Ferrer Santos“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I180910786“，”display_name“：”Universidad de la Rep\u00fablica“，”ror“：”https://ror.org/030bbe882“，”country_code“：”UY“，”type“：“教育”，”世系“：[”https://openalex.org/I180910786“]}]，”国家“：[”UY“]，”is_corresponding“：false，”raw_author_name“：”WALTER FERRER SANTOS“，”raw_affiliation_strings“：[“Centro de Matem\u00e1tica.Facultad de Ciencias.Universidad de la Rep\u00fabrica，Montevideo，乌拉圭”]，“afliations”：[{“raw_affilition_string”：“Matem\u00e1tica中心。Ciencias学院。乌拉圭蒙得维的亚代表大学“，“institution_ids”：[“https://openalex.org/I180910786“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5090942799“，”display_name“：”Jonas Frey“，”orcid“：”https://orcid.org/0000-0001-8745-8468“}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“：”JONAS FREY“，”raw _affiliation_strings“：【”哥本哈根大学计算机科学系。University of Copenhagen 1。K\u00f8benhavn\u00d8“]，“affiliations”：[{“raw_affiliation_string”：“哥本哈根大学计算机科学系。K\u00f8benhavn\u00d8“，”institution_ids“：[]}]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5085931960“，”display_name“：”Mauricio Guillermo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I180910786“，”display_name“：”Universidad de la Rep\u00fablica“，”ror“：”https://ror.org/030bbe882“，”country_code“：”UY“，”type“：“教育”，”世系“：[”https://openalex.org/I180910786“]}]，”国家“：[”UY“]，”is_corresponding“：false，”raw_author_name“：”MAURICIO GUILLERMO“，”raw _ afiliation_strings“：[“Instituto de Matem\u00e1tica y Estad\u00edstica Rafael Laguardia.Facultad de Ingenier \u00eda.Universidad de la Rep\u00fabrica，Montevideo，乌拉圭”]，“afiliations”：[{”raw _affiliation_string“：”拉瓜迪亚·拉斐尔·马特姆研究所。工程学院。乌拉圭蒙得维的亚共和国大学“，”机构“：[”https://openalex.org/I180910786“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5009974119“，”display_name“：”Octavio Malherbe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I180910786“，”display_name“：”Universidad de la Rep\u00fablica“，”ror“：”https://ror.org/030bbe882“，”country_code“：”UY“，”type“：“教育”，”世系“：[”https://openalex.org/I180910786“]}]，”国家“：[”UY“]，”is_corresponding“：false，”raw_author_name“：”OCTAVIO MALHERBE“，”raw _ afiliation_strings“：[“Instituto de Matem\u00e1tica y Estad\u00edstica Rafael Laguardia.Facultad de Ingenier \u00eda.Universidad de la Rep\u00fabrica，Montevideo，乌拉圭”]，“afiliations”：[{“raw _ ffiliation_string”：“拉瓜迪亚·拉斐尔·马特姆研究所。工程学院。乌拉圭蒙得维的亚代表大学“，“institution_ids”：[“https://openalex.org/I180910786“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023882792“，”display_name“：”Alexandre Miquel“，”orcid“：”https://orcid.org/0000-0003-2853-6862}，“机构”：[{“id”：https://openalex.org/I180910786“，”display_name“：”Universidad de la Rep\u00fablica“，”ror“：”https://ror.org/030bbe882“，”country_code“：”UY“，”type“：“教育”，”世系“：[”https://openalex.org/I180910786“]}]，”国家“：[”UY“]，”is_corresponding“：false，”raw_author_name“：”ALEXANDRE MIQUEL“，”raw _ affiliation_strings“：[“Institute de Matem \u00e1tica y Estad\u00edstica Rafael Laguardia.Facultad de Ingenier \u00eda.Universidad de la Rep \u00 fabrica，Montevideo，乌拉圭”]，“affiliation”：[{“raw_affiliation_string”：“拉瓜迪亚·拉斐尔·马特姆研究所。工程学院。乌拉圭蒙得维的亚代表大学“，“institution_ids”：[“https://openalex.org/I180910786“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：1.336，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count 805，“is_in_top_1_percent”：假，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：“27”，“issue”：“3”，“first_page”：“428”，“last_page”：”458“}，‘is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9989，”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.9984，”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/realizability网站“，”display_name“：”Realizability“，”score“：0.9725808}，{”id“：”https://openalex.org/keywords/categorial-variable“，”display_name“：”类别变量“，”score“：0.51299876}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.4497}]，”concepts“：[{”id“：”https://openalex.org/C2776378722，“wikidata”：https://www.wikidata.org/wiki/Q3454417“，”display_name“：”Realizability“，”level“：2，”score“：0.9725808}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.6124398}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.51299876｝，｛”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.50528795}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.49525085}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”display_name“：”解释（哲学）“，”级别“：2，”分数“：0.45300686}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.44498894}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44122294}，{”id“：”https://openalex.org/C182306322，“wikidata”：https://www.wikidata.org/wiki/Q1779371“，”display_name“：”Order（exchange）“，”level“：2，”score“：0.43947625}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.22275975}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.11416495}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.10984549}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.08723739}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.06607947}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”Economics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500432“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/pdf/1410.5034，“pdf_url”：https://arxiv.org/pdf/1410.5034，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/1410.5034.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/pdf/1410.5034，“pdf_url”：https://arxiv.org/pdf/1410.5034，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.51，”id“：”https://metadata.un.org/sdg/10“，”display_name“：”简化不等式“}，{”score“：0.46，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”refernced_works“：[”https://openalex.org/W1525647423网址","https://openalex.org/W1535521146","https://openalex.org/W158226905","https://openalex.org/W1608607427","https://openalex.org/W1908473049","https://openalex.org/W1971613396","https://openalex.org/W1990564510网址","https://openalex.org/W2043566933","https://openalex.org/W2056300881","https://openalex.org/W2085642842","https://openalex.org/W2091708223","https://openalex.org/W2096877663","https://openalex.org/W2099684400","https://openalex.org/W2107393062","https://openalex.org/W2135287414","https://openalex.org/W2579454697","https://openalex.org/W3098060485","https://openalex.org/W4243933121","https://openalex.org/W4248166369网址","https://openalex.org/W624912723","https://openalex.org/W629880895“]，”related_works“：[”https://openalex.org/W4298120007","https://openalex.org/W3173554384","https://openalex.org/W2963559218","https://openalex.org/W2321910655","https://openalex.org/W2136737082","https://openalex.org/W2051968535","https://openalex.org/W2033443491","https://openalex.org/W1857750633","https://openalex.org/W1603488308","https://openalex.org/W1517224694“]，”abstract_inverted_index“：{”We“：[0,28]，”propose“：[1]，”the“：[2,16,41,48,56,65,70,77102116123126]，”new“：[3]，”concept“：[4]，”of“：[5,19,43,59,72,79,89101105125]，”Krivine“：[6,38]，”ordered“：[7]，”colombinary“：[8]，”algebrary“：[9]，”（“：[10]，”$\\mathcal{^KOCA}$“：[11,31,74112127]，“）”：[12]，“as”：[13,23]，“foundation”：[14]，“for”：[15,40]，“categorical”：[17]，“研究”：[18]，“克里文”：[20]，“经典”：[21]，“可实现性”：[22]，“发起”：[24]，“由”：[25122]，”斯特里彻“：[26]，”（2013）。“：[27]，”显示“：[29]，”那“：[30,51,69119]，”的“：[32]，”是“：[33,87]，”等价“：[34]，”到“：[35,55]，”斯特里彻“：[36]，”抽象“：[37]，“结构”：[39]，“用途”：[42]，“建模”：[44]，“高阶”：[45]，“逻辑”：[46]，“in”：[47,91110]，“精确”：[49]，“意义”：[50]，“他们”：[52]，“给予”：[53,97]，“上升”：[54]，“相同”：[57]，“类”：[58]，“三脚架”：[60]，“.”：[61128]，“The”：[62]，“difference”：[63]，“between”：[64]，“two”：[66]，“representations”：[67]，“is”：[68120]，“elements”：[1124]，“a”：[73,98106111]，“游戏”：[75]，“两者”：[76]，“角色”：[78118]，“真相”：[80,85]，“值”：[81,86]，“和”：[82]，“realizers，”：[83]，“which”：[84]，“sets”：[88]，“realizers”：[90]，“$\\mathcal｛AKS｝$”：[92]，“s.”：[93]，“To”：[94]，“结束语”：[95]，“we”：[96]，“direct”：[99]，“presentation”：[100]，“realizability”：[103]，“interpretation”：[104]，“higher”：[107]，“order”：[108]，“language”：[109]，“，”：[113]，“哪个”：[114]，“展示”：[115]，“双重”：[117]，“播放”：[121]}，“cited_by_api_url”:"https://api.openalex.org/works？filter=cites:W2963271462“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2021，”“cited_by_cunt”：1\n，{”“年”：2020，”“cited_by-count”“：1}，{年”：2019，“cited_by-cunt”日期“：”2024-09-13T22:24:45.653605“，”创建日期“：“2019-07-30”}