｛“id”：“https://openalex.org/W2169621444“，”doi“：”https://doi.org/10.1007/3-540-57887-0_117“，”title“：”Abstract pre-orders“，”display_name“：”抽象预订单“，”publication_year“：1994，”publiation_date“：”1994-01-01“，”ids“：{”openalex“：”https://openalex.org/W2169621444“，”doi“：”https://doi.org/10.1007/3-540-57887-0_117“，”mag“：”2169621444“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_117“，”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/A5003999840“，”display_name“：”Kim Ritter Wagner“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210126338“，”display_name“：”软件能力中心Hagenberg（奥地利）“，”ror“：”https://ror.org/02ks3nr96“，”country_code“：”AT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210126338“]}]，”国家“：[”AT“]，”is_corresponding“：true，”raw_author_name“：”Kim Ritter Wagner“，”raw _affiliation_strings“：[“Schlo\u00df Hagenberg，Carnegie Mellon University/RISC-Linz，A-4232，Hagenberg-，Austria”]，“affiliations”：[{“raw_affilition_string”：“Schlo\ u00df-Hagenberg/RISC-Linz，A-432，Hagenbenberg，Australia”，“机构ID“：[”https://openalex.org/I4210126338“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5003999840“]，”对应的机构ID“：[”https://openalex.org/I4210126338“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：null，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{“min”：0，“max”：57}，“biblio”：{“volume”：null、“issue”：null、“first_page”：“598”、“last_page”：“617”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10126“，”“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9991，”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.9984，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.503296}]，”concepts“：[{”id“：”https://openalex.org/C17231256，“wikidata”：https://www.wikidata.org/wiki/Q5156540“，”display_name“：”完备性（序理论）“，”level“：2，”score“：0.6425779}，{”id“：”https://openalex.org/C187062830，“wikidata”：https://www.wikidata.org/wiki/Q1617044网址“，”display_name“：”Heyting代数“，”level“：3，”score“：0.5493073}，{”id“：”https://openalex.org/C198043062，“wikidata”：https://www.wikidata.org/wiki/Q180953“，”display_name“：”公制空间“，”level“：2，”score“：0.54410833｝，｛”id“：”https://openalex.org/C18648836，“wikidata”：https://www.wikidata.org/wiki/Q381892“，”display_name“：”压缩空格“，”level“：2，”score“：0.5279683}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.5212867}，{”id“：”https://openalex.org/C151201525，“wikidata”：https://www.wikidata.org/wiki/Q177239“，”display_name“：”极限（数学）“，”level“：2，”score“：0.4952313}，{”id“：”https://openalex.org/C176217482，“wikidata”：https://www.wikidata.org/wiki/Q860554“，”display_name“：”公制（单位）“，”级别“：2，”分数“：0.48346597}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44455323}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.40698075}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3517476}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0791876}，{”id“：”https://openalex.org/C21547014，“wikidata”：https://www.wikidata.org/wiki/Q1423657“，”display_name“：”操作管理“，”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“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-57887-0_117“，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.41，“id”：“https://metadata.un.org/sdg/10“，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：15，”referrenced_works“：【”https://openalex.org/W121111270","https://openalex.org/W127839926","https://openalex.org/W1529384059","https://openalex.org/W1582269801","https://openalex.org/W2020879982","https://openalex.org/W2020890916","https://openalex.org/W2024873396","https://openalex.org/W2040810354","https://openalex.org/W2140920629","https://openalex.org/W2490719060","https://openalex.org/W4210926195","https://openalex.org/W4234059506","https://openalex.org/W4239316923","https://openalex.org/W4243544101","https://openalex.org/W4291439952“]，”related_works“：[”https://openalex.org/W4352979319","https://openalex.org/W4297851895","https://openalex.org/W4252969132","https://openalex.org/W2785558381","https://openalex.org/W2402800040","https://openalex.org/W2121543990","https://openalex.org/W2041295491","https://openalex.org/W2008917324","https://openalex.org/W2000020320","https://openalex.org/W1981078319“]，”ngrams_url“：”https://api.openalex.org/works/W2169621444/ngrams“，”“abstract_inverted_index”：{“We”：[0,25]，“estimate”：[1]，“a”：[2,36]，“theory”：[3]，“of”：[4,21,79,96,98115]，“pre-dorders”：[5,30,45,48,64100]，“generalized”：[6,67]，“to”：[7,17106]，“include”：[8]，“interface”：[9]，“other”：[10]，“structures，”：[11]，“metric”：[2123]，“spaces，”，“和”：[14,85125]，“强”：[15]，“足够”：[16]，“支持”：[18]，““：[19,54,62,72,77,93]，”解“：[20]，”递归“：[22]，”域“：[23]，”等式。“：[24]，”do“：[26]，”this“：[27116]，”by“：[28]，”considering“：[29]，”defined“：[31]，”internally“：[32,46]，”in“：[33]，”sheaves“：[34]，”over“：[35]，”complete“：[37,99]，”Heyting“：[38,59]，”algebral“：[39,60]，”\u03a9.“：[40111]，”When“：[41]，”\ u03a9“：[42,52]，“is”：[43,53]，“two-valued”，“：[44]，“are”：[47]，“external”，“:[49]，”but“：[50]，”When“：[51]，”non-negative“：[55]，”reals“：[56]，”with“：[57101]，”suitable“：[58]，”operations“，：[61]，”internal“：/63,73]，”turn“：[65]，”into“：[66]，”ultremetric“：68]，”spaces“：[69]，”external“。“：[70]，”In“：[71]，”logic“：[74]，”we“：/75]，”define“：[76]，”concepts“：[78]，”chain“：[80]，”收敛“：[81]，”complete“：[82]，”compactness“：[83]，”etc.“：[84]，”it“：[86]，”turns“：[87]，”out“：[88]，”that“：[89]，”Scott“：[90]，”定理“：[91117]，”about“：“limit/colimit”：[94]，“concerrence”：[95]，“chains”：/97]，“mediating”：[102]，“continuous”：[103]，“撤回“：[104]，”概括“：[105]，”工作“：[107]，”对于“：[108128]，”任何“：[109]，”cHa“：[110]，”The“：[112]，”external“：%11]，”versions“：[114]，”then“：[118]，”become“：[119]，”its“：[120]，”well“：[121]，”known“：/122]，”variations，“：[124]，”responsiver“：[126]，”定理“：[127]，”as“：[129]，”然而，“：[130]，”未探索“：[131]，”结构。“：[132]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2169621444“，”counts_by_year“：[]，”updated_date“：”2024-06-21T05:17:011.161539“，”created_dates“：”2016-06-24“}“