{“id”：“https://openalex.org/W1974730038“，”doi“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”title“：“空间中的进程”，”display_name“：”空间中的过程“，”publication_year“：2012，”publiation_date“：”2012-05-01“，”ids“：{”openalex“：”https://openalex.org/W1974730038“，”doi“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”mag“：”1974730038“｝，”language“：”en“，”primary_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5013220584“，”display_name“：”Luca Cardelli“，”orcid“：”https://orcid.org/0000-0002-8705-8488}，“机构”：[{“id”：https://openalex.org/I4210164937“，”display_name“：”Microsoft Research（英国）“，”ror“：”https://ror.org/05k87vq12“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I1290206253","https://openalex.org/I4210164937“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Luca Cardelli“，”raw _affiliation_strings“：[“Microsoft Research Cambridge，United Kingdom”]，”affiliations“：[{”raw _affiliation_string“：”Microsoft Research-Carbridge（英国），“institution_ids”：[“https://openalex.org/I4210164937“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Philippa Gardner“，”raw _affiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_string“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5047951273“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2680，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”cited_by_percentile_year“：”{“min”：87，“max”：88}，“biblio”：{“volume”：“431”，“issue”：null，“first_page”：“40”，“last_page”年龄“：”55“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9805，”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.9805，”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/T13062“，”“display_name”：“认知信息学和计算智能的理论框架”，“score”：0.9711，“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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9649，”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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.464837}]，”concepts“：[{”id“：”https://openalex.org/C180671464，“wikidata”：https://www.wikidata.org/wiki/Q1186649“，”display_name“：”几何代数“，”level“：4，”score“：0.6054699}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.54827434}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5420935}，{”id“：”https://openalex.org/C92757383，“wikidata”：https://www.wikidata.org/wiki/Q382497“，”display_name“：”仿射变换“，”level“：2，”score“：0.53449434}，{”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.51956034}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.47458908}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.4424605}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.43290186}，{”id“：”https://openalex.org/C182419690，“wikidata”：https://www.wikidata.org/wiki/Q205464“，”display_name“：”代数结构“，”level“：2，”score“：0.42595428｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.32661933}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.28603077}，{”id“：”https://openalex.org/C14394260，“wikidata”：https://www.wikidata.org/wiki/Q4723980“，”display_name“：”代数表示“，”level“：3，”score“：0.16579601}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.15312624}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.14500657}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2011.12.051“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1547397200","https://openalex.org/W1603799276","https://openalex.org/W1964514022","https://openalex.org/W2000690667","https://openalex.org/W2028613837","https://openalex.org/W2055229738","https://openalex.org/W2072048176","https://openalex.org/W2159545748","https://openalex.org/W2564511534","https://openalex.org/W4212790255“]，”related_works“：[”https://openalex.org/W4301466310","https://openalex.org/W2964290513","https://openalex.org/W2950460772","https://openalex.org/W2917086374","https://openalex.org/W2351578128","https://openalex.org/W2342017063","https://openalex.org/W2131767845","https://openalex.org/W1760503723","https://openalex.org/W1529494625","https://openalex.org/W1482404553“]，”ngrams_url“：”https://api.openalex.org/works/W1974730038/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,24]，“introduce”：[1]，“a”：[2,26]，“geometry”：[3,19]，“process”：[4]，“algebral”：[5]，“based”：[6]，“on”：[7]，“affine”：[8]，“几何”：[9]，进化”：[17]，“结构”：[20]，“in”：[21]，“3D”：[22]，“空间”：[23]，“证明”：[25]，“相对性”：[27]，“定理”：[28]，“陈述”：[29]，“that”：[30]，“代数”：[31]，“方程”：[32]，“are”：[33]，“不变量”：[34]，“under”：[35]，“刚性”：[36]，“body”：[37]，“变换”：[38]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W1974730038“，”counts_by_year“：[{”year“:2019，”cited_by_count“：1}，{”year“：2018，”cited_by_count”：2}，“{”年“：2017，”citecd_by_count“：1}，”{“年”：2015，”citesd_by_count“:3}，日期：“2024-06-17T18:24:50.245981”，“创建日期”：“2016-06-24”}