{“id”:“https://openalex.org/W2097654255“,”doi“:”https://doi.org/10.1109/lics.19991.151652“,”title“:“关于具有等式的存在二阶极小Godel句类的0-1定律”,”display_name“:”关于具有等量的存在二级极小Godels句类的0-1定律“,”publication_year“:2002,”publitation_date“:”2002-12-10“,”ids“:{”openalex“:”https://openalex.org/W2097654255“,”doi“:”https://doi.org/10.1109/lics.19991.151652“,”mag“:”2097654255“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1109/lics.19991.151652“,”pdf_url“:null,”source“:null,”license“:null',”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:“procesdings-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:false,”oa_status“:”closed“,”oa_url”:null“,”any_repository_has_fulltext“:false}”,”authorships“:[{”author_position“:”first“,”作者“:{”id“:”https://openalex.org/A5102886550“,”display_name“:”Leszek Pacholski“,”orcid“:”https://orcid.org/0000-0002-5096-1286},“机构”:[{“id”:https://openalex.org/I99542240“,”display_name“:”波兰科学院“,”ror“:”https://ror.org/01dr6c206“,”country_code“:”PL“,”type“:“政府”,”世系“:[”https://openalex.org/I99542240“]}],”国家“:[”PL“],”is_corresponding“:false,”raw_author_name“:”L.Pacholski“,”raw _ afiliation_strings“:[“波兰弗罗茨瓦夫波兰科学院数学研究所”],”affiliations“:[{”raw _affiliation_strong“:”波兰弗罗茨瓦夫波兰科院数学研究院“,”institution_ids“:[https://openalex.org/I99542240“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5019447672“,”display_name“:”Wies\u0142aw Szwast“,”orcid“:”https://orcid.org/0000-0001-9755-4672},“机构”:[{“id”:https://openalex.org/I170583851“,”display_name“:”Opole大学“,”ror“:”https://ror.org/04gbpnx96“,”country_code“:”PL“,”type“:“教育”,”世系“:[”https://openalex.org/I170583851“]},{”id“:”https://openalex.org/I4210137370“,”display_name“:”数学研究所“,”ror“:”https://ror.org/04hrrh248“,”国家代码“:”PL“,”类型“:”设施“,”沿袭“:[”https://openalex.org/I4210137370","https://openalex.org/I99542240“]}],”国家“:[”PL“],”is_corresponding“:false,”raw_author_name“:”W.Szwast“,”raw _ afiliation_strings“:[“波兰奥波尔师范大学数学研究所”],”affiliations“:[{”raw _affiliation_strong“:”波兰奥波尔多师范大学数学学院”,“institution_ids”:[“https://openalex.org/I170583851","https://openalex.org/I4210137370“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:3,”corresponding_author_ids“:[],”corresponding_institution_ids”:[]、“apc_list”:null,”apc_payed“:null、”fwci“:0.0、”has_fulltext“:true,”fulltext_origin“:”ngrams“,”cited_by_count,“is_in_top_10_percent”:错误},“cited_by_percentile_year“:{“min”:64,“max”:68},“biblio”:{”volume“:null,”issue“:nul,”first_page“:null,”last_page“:null},”is_retracted“:false,”is_paratext“:false,”primary_topic“:”{“id”:“https://openalex.org/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9987,”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/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9987,”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/quantifier网站“,”display_name“:”量词(语言学)“,”score“:0.7904856},{”id“:”https://openalex.org/keywords/unit-interval网站“,”display_name“:”单位间隔“,”score“:0.5231156},{”id“:”https://openalex.org/keywords/regular-expressions网站“,”display_name“:”正则表达式“,”score“:0.458835}],”concepts“:[{”id“:”https://openalex.org/C2778523021,“wikidata”:https://www.wikidata.org/wiki/Q5532504“,”display_name“:”量词(语言学)“,”level“:2,”score“:0.7904856},{”id“:”https://openalex.org/C2777212361,“wikidata”:https://www.wikidata.org/wiki/Q5127848“,”display_name“:”类(哲学)“,”级别“:2,”分数“:0.69078606},{”id“:”https://openalex.org/C127882523,“wikidata”:https://www.wikidata.org/wiki/Q38066“,”display_name“:”存在主义“,”level“:2,”score“:0.6863078},{”id“:”https://openalex.org/C2781302003,“wikidata”:https://www.wikidata.org/wiki/Q3294091“,”display_name“:”G\u00f6del“,”level“:2,”score“:0.63613546},{”id“:”https://openalex.org/C182306322,“wikidata”:https://www.wikidata.org/wiki/Q1779371“,”display_name“:”Order(exchange)“,”level“:2,”score“:0.55822045},{”id“:”https://openalex.org/C128394911,“wikidata”:https://www.wikidata.org/wiki/Q1987578“,”display_name“:”单位间隔“,”level“:2,”score“:0.5231156},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.50765693},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.40593344},{”id“:”https://openalex.org/C114614502,“wikidata”:https://www.wikidata.org/wiki/Q76592“,”display_name“:”组合数学“,”level“:1,”score“:0.34036744},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.30957216},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.29843387},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.28996512},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.22653624},{”id“:”https://openalex.org/C111472728,“wikidata”:https://www.wikidata.org/wiki/Q9471“,”display_name“:”认识论“,”level“:1,”score“:0.09865126},{”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“:1,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1109/lics.19991.151652“,”pdf_url“:null,”source“:nul,”license“:null:”license_id“:nulse,”version“:null,”is_accepted“:false,”is_published“:false}],”best_oa_location“:nuld,”sustainable_development_goals“:[{”display_name“:”和平、正义和强大的机构“,”score“:0.79,”id“:”https://metadata.un.org/sdg/16“}],”grants“:[],”datasets“:[],”versions“:[】,”referenced_works_count“:12,”referrenced_works“:【”https://openalex.org/W1524356214","https://openalex.org/W1814710822","https://openalex.org/W1985072883","https://openalex.org/W2008527519","https://openalex.org/W2034198367","https://openalex.org/W2085536555","https://openalex.org/W2104881994","https://openalex.org/W2140992830","https://openalex.org/W2170743240","https://openalex.org/W3192359381","https://openalex.org/W4235934183网址","https://openalex.org/W4237879150“],”related_works“:[”https://openalex.org/W4210465737","https://openalex.org/W3041624257","https://openalex.org/W2974802953","https://openalex.org/W2625646796","https://openalex.org/W2474767644","https://openalex.org/W2385364491","https://openalex.org/W2356175078","https://openalex.org/W219899776","https://openalex.org/W2158722153","https://openalex.org/W2097654255“],”abstract_inverted_index“:{”It“:[0,58],”is“:[1,21,59],”已证明“:[2,61],”that“:[3,62],”the“:[4,11,23,29,45,54,74],”0-1“:[5,55],”law“:[6,56],”do“:[7],”not“:[8],”hold“:[9],”for“:[10,52],”class“:[12],”of“:[13,34,77,65,73],”presental“:[14,41,48],“第二个”:[15,49],“句子”:[16,51,66],“其”:[17],“第一个”:[18],“顺序”:[19,50],“部分”:[20],“在”:[22],“最小”:[24],“哥德尔”:[25],“类”:[26],“即”:[27],“有”:[28],“量词”:[30],“prenex”:[31],“由”:[32],“两个”:[34],“通用”:[35],“量词”:[36],“后接”:[37],“由”:[38],“仅”:[39],“一个”:[40],“量词。”:[42],“This”:[43],“completes”:[44],“分类”:[46],“哪个”:[53],“成立”:[57],“也是”:[60],“渐近”:[63],“概率”:[64],“作为”:[67],“上面”:[68],“形式”:[69],“a”:[70],“密集”:[71],“子集”:[72],“单位”:[75],“间隔。<”:[76],“>“:[79]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2097654255“,”counts_by_year“:[],”updated_date“:”2024-09-10T20:15:43.474862“,”created_date“:”2016-06-24“}