{“id”：“https://openalex.org/W20839445571“，”doi“：”https://doi.org/10.1093/log.com/exp040“，”title“：”直觉主义逻辑的Eskolemization“，”display_name“：”直观主义逻辑的eskolemi化“，”publication_year“：2009，”publiation_date“：”2009-08-25“，”ids“：{”openalex“：”https://openalex.org/W2083944571“，”doi“：”https://doi.org/10.1093/log.com/exp040“，”mag“：”2083944571“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log.com/exp040“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955.792X“、”1465-363X“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”host_organization_name“：”牛津大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”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://dspace.library.uu.nl/bitstream/handle/1874/33721/preprint273.pdf？序列=1&isAllowed=y“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5035315045“，”display_name“：”Matthias Baaz“，”orcid“：”https://orcid.org/0000-0002-7815-2501“｝，”机构“：[｛”id“：”https://openalex.org/I145847075“，”display_name“：”TU Wien“，”ror“：”https://ror.org/04d836q62“，”country_code“：”AT“，”type“：“教育”，”世系“：[”https://openalex.org/I145847075“]｝]，”countries“：[”AT“]，”is_corresponding“：false，”raw_author_name“：”M.Baaz“，”raw_affiation_string“：[”维也纳工业大学离散数学与几何研究所，Wiedner Hauptstrasse 8-10，1040 Vienna，Austria。电子邮件：“]，”affiliations“：[｛”raw_affiation_string“：”奥地利维也纳，维也纳1040，Wiedner Hauptstrasse 8-10，维也纳技术大学离散数学和几何研究所。电子邮件：“，”institution_ids“：[”https://openalex.org/I145847075“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5087051979“，”display_name“：”Rosalie Iemhoff“，”orcid“：”https://orcid.org/0000-0001-9975-9604“｝，”机构“：[｛”id“：”https://openalex.org/I193662353“，”display_name“：”乌得勒支大学“，”ror“：”https://ror.org/04pp8hn57“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I193662353“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”R.Iemhoff“，”raw _ afiliation_strings“：[“荷兰乌得勒支海德堡大学哲学系83584 CS Utrecht。电子邮箱：”]，”affiliations“：[{”raw _affiliation_string“：”荷兰乌得勒支海德堡大学哲学系，邮编83584。电子邮件：“，”institution_ids“：[”https://openalex.org/I193662353“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{”value“：4151，”currency“：”USD“，”value_USD“：4161，”provenance“：”doaj“}，”“apc_payed”：null，“fwci”：0.473，“has_fulltext”：true，“全文_origin“：”pdf“，”cited_by_count“：5，”引用_规范化_percentile“：{”value“：0.812532，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：79，“max”：80}，“biblio”：{“volume”：“21”，“issue”：“4”，“first_page”：“625”，“last_page”：”“638”}、“is_retracted”：false、“is_paratext”：false，“primary_topic”：{id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9906，”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.9906，”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.9707，”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/T10258“，”display_name“：”意识和现象经验“，”score“：0.9496，”subfield“：｛”id“：”https://openalex.org/subfields/3205“，”display_name“：”实验与认知心理学“}，”field“：{”id“：”https://openalex.org/fields/32“，”display_name“：”心理学“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/instentionistic-logic“，”display_name“：”直觉主义逻辑“，”score“：0.74300504}，{”id“：”https://openalex.org/keywords/谓词逻辑“，”display_name“：”谓词逻辑“，”score“：0.730786}，{”id“：”https://openalex.org/keywords/annals网站“，”display_name“：”Annals“，”score“：0.67209363}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.593391}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.521616}，{”id“：”https://openalex.org/keywords/谓词“，”display_name“：”谓词（数学逻辑）“，”score“：0.44228643}，{”id“：”https://openalex.org/keywords/哲学逻辑“，”display_name“：”逻辑哲学“，”score“：0.4206821}]，”concepts“：[{”id“：”https://openalex.org/C178421362，“wikidata”：https://www.wikidata.org/wiki/Q176786“，”display_name“：”直觉主义逻辑“，”level“：3，”score“：0.74300504}，{”id“：”https://openalex.org/C19689857，“wikidata”：https://www.wikidata.org/wiki/Q4055684“，”display_name“：”谓词逻辑“，”level“：3，”score“：0.730786}，{”id“：”https://openalex.org/C2780708616，“wikidata”：https://www.wikidata.org/wiki/Q193866“，”display_name“：”Annals“，”level“：2，”score“：0.67209363｝，｛”id“：”https://openalex.org/C150889026，“wikidata”：https://www.wikidata.org/wiki/Q185502“，”display_name“：”多值逻辑“，”level“：3，”score“：0.6127739}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.57744277}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5234729}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538（网址：https://www.wikidata.org/wiki/Q11538）“，”display_name“：”数学证明“，”level“：2，”score“：0.51751566}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.49465558}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.48975587}，{”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.4672444}，{”id“：”https://openalex.org/C140146324，“wikidata”：https://www.wikidata.org/wiki/Q1144319“，”display_name“：”谓词（数学逻辑）“，”level“：2，”score“：0.44228643}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.42950976}，{”id“：”https://openalex.org/C101874905，“wikidata”：https://www.wikidata.org/wiki/Q2476757“，”display_name“：”逻辑哲学“，”level“：2，”score“：0.4206821｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.35644054}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.24438536}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.19006985}，{”id“：”https://openalex.org/C28077239，“wikidata”：https://www.wikidata.org/wiki/Q841728“，”display_name“：”线性逻辑“，”level“：2，”score“：0.16241884}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C195244886，“wikidata”：https://www.wikidata.org/wiki/Q41493“，”display_name“：”古代历史“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128（网址：https://www.wikidata.org/wiki/Q12128）“，”display_name“：”牙科“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log/exp040“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955.792X“、”1465-363X“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”host_organization_name“：”牛津大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”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://dspace.library.uu.nl/handle/1874/33721，“pdf_url”：https://dspace.library.uu.nl/bitstream/handle/1874/33721/preprint273.pdf？sequence=1&isAllowed=y，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”host_organization_name“：”荷兰皇家艺术与科学学院“，”host_organization_lineage“：[”https://openalex.org/I1322597698“]，”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://dspace.library.uu.nl/handle/1874/33721，“pdf_url”：https://dspace.library.uu.nl/bitstream/handle/1874/33721/preprint273.pdf？sequence=1&isAllowed=y，“源”：{“id”：https://openalex.org/S4306401843“，”“display_name”“：”“数据存档和网络服务（DANS）”“，”https://openalex.org/I1322597698“，”host_organization_name“：”荷兰皇家艺术与科学学院“，”host_organization_lineage“：[”https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”Royal Netherlands Academy of Arts and Sciences“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1570226938网址","https://openalex.org/W2027917524","https://openalex.org/W2029517118","https://openalex.org/W2080694187","https://openalex.org/W2136357238","https://openalex.org/W2529348856","https://openalex.org/W3023954237","https://openalex.org/W981129589“]，”related_works“：[”https://openalex.org/W616844449","https://openalex.org/W428185970","https://openalex.org/W362162902","https://openalex.org/W3201792443","https://openalex.org/W2506419265","https://openalex.org/W2071436802","https://openalex.org/W1652051049","https://openalex.org/W1580894698","https://openalex.org/W1518114393","https://openalex.org/W11378686“]，”abstract_inverted_index“：{“In”：[0,75]，“Baaz”：[1,61]，“and”：[2,8,24,62,68]，“Iemhoff”：[3,63]，“（2006，”：[4,64]，“Annals”：[5,65]，“of”：[6,40,66,81,84]，“Pure”：[7,67]，“Applied”：[9,69]，“Logic”：[10,70]，“142，”：[11,71]，“269\u2013295），“：[12]，“an”：[13,44]，“alternative”：[14]，“skolemization”：[15,51]，“method”：[16,52]，“call”：[17]，“eskolemization“：[18,48,85]，”was“：[19]，”introduced“：[20]，”that“：[21]，”is“：[22,36,91]，”sound“：[23]，”complete“：[25]，”for“：[26,53]，”existence“：/27,45]，”logic“：[28,35,42,55]，”with“：:29,86]，”respect“：[30,87]，”to“：[31,88]，”presistent“：[32,89]，”quantifiers。“：[33]，”存在“：[34]，”a“：[37，50，78]，”保守“：[38]，”扩展“：[39]，”直觉“：[41，54]，”by“：[43]，”谓词。“：[46]，”因此，“：[47]，”提供“：[49]，”作为“：[56]，”well。“：[57]，”All“：[58]，”proof“：[59]，”in“：[60]，”269\u2013295）“：[72]，”were“：[73]，”semantical。“：[74]，”this“：[76]，”article“：[77]，”proof-theoretic“：[79]，”证明“：[80]，”the“：[82]，”complete“：[83]，”quantifiers“：[90]，”presented。“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2083944571“，”counts_by_year“：[{年：2019，”cited_by_count“：1}，{年“：2016，”cited_by_count”：1}，{“年”：2014，”citecd_by_count“：1}]，”updated_date“：”2024-09-26T22:56:24.098760“，”created_dates“：”2016-06-24“}