{“id”:“https://openalex.org/W4367189348“,”doi“:”https://doi.org/10.48550/arxiv.2304.12827“,”title“:“证据结构调查”,”display_name“:”证据结构调查“,”publication_year“:2023,”publiation_date“:”2023-01-01“,”ids“:{”openalex“:”https://openalex.org/W4367189348“,”doi“:”https://doi.org/10.48550/arxiv.2304.12827“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://arxiv.org/abs/2304.12827“,”pdf_url“:空,”源“:{”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”:“other-oa”,“licence_id”:“https://openalex.org/licenses/other-oa网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”type“:”预印本“,”type_crossref“:”发布的内容“,”indexed_in“:[”arxiv“,”datacite“],”open_access“:{”is_oa“:true,”oa_status“:”green“,”oa_url“:”https://arxiv.org/abs/2304.12827“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5037774973“,”display_name“:”Michael Benedikt“,”orcid“:”https://orcid.org/0000-0003-2964-0880“},”机构“:[],”国家“:[[],”is_corresponding“:false,”raw_author_name“:”Wernhard,Christoph“,”raw _ afiliation_strings“:[],“从属关系”:[]},{“author_position”:“last”,“author”:{“id”:“https://openalex.org/A5025467738“,”display_name“:”Wolfgang Bibel“,”orcid“:”https://orcid.org/0000-0003-3892-0171“},”机构“:[],”国家“:[[],”is_corresponding“:false,”raw_author_name“:”Bibel,Wolfgang“,”raw_affiliation_strings“:[],“隶属关系”:[]}],“countries_distict_count”:0,“institutions_disticent_count”:零,“corresponding_author_ids”:[】,“correcponding_institution_ids“:[】”,“apc_list”:null,“apc_payed”:nul,“fwci”:2.753,“has_fulltext”:假,“cited_by_count“:1,”cited_by_percentile_year“:{“min”:77,“max”:86},“biblio”:{”volume“:null,“issue”:null、“first_page”:null,“last_page”:null},”is_retracted“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T12504“,”display_name“:”几何数学基础“,”score“:0.9103,”subfield“:{”id“:”https://openalex.org/subfields/2608“,”display_name“:”几何和拓扑“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T12504“,”display_name“:”几何数学基础“,”score“:0.9103,”subfield“:{”id“:”https://openalex.org/subfields/2608“,”display_name“:”几何和拓扑“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T12170“,”“display_name”:“教育和研究中的数学史”,“score”:0.9065,“subfield”:{“id”:“https://openalex.org/subfields/2614“,”display_name“:”理论计算机科学“},”字段“:{”id“:”https://openalex.org/fields/26“,”display_name“:”Mathematics“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”Physical Sciences“}}],”keywords“:[{”id“:”https://openalex.org/keywords/teaching-methods网站“,”display_name“:”教学方法“,”score“:0.484262}],”concepts“:[{”id“:”https://openalex.org/C108710211,“wikidata”:https://www.wikidata.org/wiki/Q11538“,”display_name“:”数学证明“,”level“:2,”score“:0.9663894},{”id“:”https://openalex.org/C73301696,“wikidata”:https://www.wikidata.org/wiki/Q5469984“,”display_name“:”形式主义(音乐)“,”level“:3,”score“:0.7534027},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.5807303},{”id“:”https://openalex.org/C94461902,“wikidata”:https://www.wikidata.org/wiki/Q2762418“,”display_name“:”形式证明“,”level“:3,”score“:0.5164073},{”id“:”https://openalex.org/C2777431735,“wikidata”:https://www.wikidata.org/wiki/Q1535975“,”display_name“:”举证责任“,”level“:2,”score“:0.5134879},{”id“:”https://openalex.org/C124978682,“wikidata”:https://www.wikidata.org/wiki/Q1201019“,”display_name“:”概念证明“,”level“:2,”score“:0.508852},{”id“:”https://openalex.org/C161505775,“wikidata”:https://www.wikidata.org/wiki/Q3240280“,”display_name“:”直接校对“,”level“:2,”score“:0.4164272},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.4005142},{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.38982144},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.32431984},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.30448037},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.15812701},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.13715729},{”id“:”https://openalex.org/C199539241,“wikidata”:https://www.wikidata.org/wiki/Q7748“,”display_name“:”Law“,”level“:1,”score“:0.064391464},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.050145537},{”id“:”https://openalex.org/C142362112,“wikidata”:https://www.wikidata.org/wiki/Q735“,”display_name“:”Art“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C558565934,“wikidata”:https://www.wikidata.org/wiki/Q2743“,”display_name“:”Musical“,”level“:2,”score“: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“,”display_name“:”牙科“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C17744445,“wikidata”:https://www.wikidata.org/wiki/Q36442“,”display_name“:”政治学“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C153349607,“wikidata”:https://www.wikidata.org/wiki/Q36649“,”display_name“:”视觉艺术“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C111919701,“wikidata”:https://www.wikidata.org/wiki/Q9135“,”display_name“:”操作系统“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:3,”location“:[{”is_oa“:true,”landing_page_url“:”https://arxiv.org/abs/2304.12827“,”pdf_url“:空,”源“:{”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”:“other-oa”,“licence_id”:“https://openalex.org/licenses/other-oa网站“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url“:”http://arxiv.org/abs/2304.12827,“pdf_url”:网址:http://arxiv.org/pdf/2304.1827,“源”:{“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”:false,“landing_page_url”:“https://api.datacite.org/dois/10.48550/arxiv.2304.12827“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4393179698“,”display_name“:”DataCite API“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I4210145204“,”“host_organization_name”:“DataCite”,“host_organization_lineage”:[“https://openalex.org/I4210145204“],”host_organization_lineage_names“:[”DataCite“],“type”:“metadata”},“license”:null,“licence_id”:null,“version”:null}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://arxiv.org/abs/2304.12827“,”pdf_url“:空,”源“:{”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”:“other-oa”,“licence_id”:“https://openalex.org/licenses/other-oa网站“,”版本“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”可持续发展目标“:[],”授予“:[],”数据集“:[],”版本“:[],”referenced_works_count“:0,”referenced_works“:[],”related_works“:[”https://openalex.org/W4387322292","https://openalex.org/W3037184231","https://openalex.org/W3036179535","https://openalex.org/W2393453016","https://openalex.org/W2389870170","https://openalex.org/W2376254602","https://openalex.org/W2354521390","https://openalex.org/W2349405618","https://openalex.org/W1981603292","https://openalex.org/W1576106079“],”ngrams_url“:”https://api.openalex.org/works/W4367189348/ngrams“,”“abstract_inverted_index”:{“We”:[0],“introduce”:[1],“and”:[2,10,45,49,88],“depective”:[3],“a”:[4,17,43,55100],“novel”:[5],“formasm”:[6,25],“for”:[7],“the”:[8,24,65,75,81,85,93],“manipulation”:[9],“analysis”:[11,50],“of”:[12,51,54,71,77,83102],“proof”:[13,53],“as”:[14],“objects”:[15],“in”:[16,38,74],“global”:[18],“way.”:[19],“in”:[20],“this“:[21,98],“first”:[22],“approach”:[23,63],“is”:[26,36109],“restricted”:[27],“to”:[28,42,59,80],“一阶”:[29],“problems”:[30],“characterized”:[31],“by”:[32117],“condented”:[33],“detachment”。“:[34],”It“:[35],”applied“:[37],”an“:[39],”exampleive“:[40],”ways“:[41],”conherence“:44],”comprehesive“:[46],”formal“:[47],”reconstruction“:[48],”historical“:[52],”widely-studied“:[56],”problem“:[57104],”due“:[58],”{\\L}-ukasiewicz。“:[60],”The“:[61],”underful“:[62],”opens“:[64],”door“:[66],”towards“:/67],”new“:[68],”systemal“:[69],”ways“:%70],”generating“:[72],”lemmas“:[73],”course“:[76],”proof“:[78101114],”search“:[79,86],”effects“:+82],”reducing“:+84],”efforce“:[87],”finding“:+89],”shorter“:[90111],”校样。“:[91],”中间“:[92],”众多“:[94],”报告“:[95],”实验“:[96],”沿“:[97],”行“:[99],”{\\L}ukasiewicz的“:[103],”是“:[105],”自动“:[106],”发现“:[107],”那“:[108],”很多“:[110],”比“:[112],”任何“:[113],”找到“:[115],”之前“:[116],”男人“:[118],“或”:[119],“机器。“:[120]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W4367189348“,”counts_by_year“:[{”year“:2023,”cited_by_count“:1}],”updated_date“:”2024-06-27T04:32:42.548459“,”created_date:“2023-04-28”}“