{“id”:“https://openalex.org/W2016722102“,”doi“:”https://doi.org/10.1007/bf02023019“,”title“:”Die Unentscheidbarkeit der einstelligen enendlichwertigen Pr\u00e4dikatenlogik“,”display_name“:”Die Unentschidbarkeite der einstalligen enedlichwerTigen Pr \u00e 4dikadenlogik”,“publication_year”:1983,“publiction_date”:“1983-12-01”,“ids”:{“openalex”:“https://openalex.org/W2016722102“,”doi“:”https://doi.org/10.1007/bf02023019“,”mag“:”2016722102“},”language“:”de“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/bf02023019“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S188076996“,”display_name“:”数理逻辑存档“,”issn_l“:”0933-5846“,”isn“:[”09335-5846“,”1432-0665“],”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/P4310319965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],url“:null,”any_repository_has_fulltext“:false},”作者身份“:[{”作者位置“:”第一个“,”作者“:{”id“:”https://openalex.org/A5056833627“,”display_name“:”Matthias Ragaz“,”orcid“:null},”institutions“:[],”countries“:[],”is_corresponding“:true,”raw_author_name“:”Matthias-Ragaz“,”raw _affiliation_strings“:【”Bederstra\u00dfe 97,CH-8002,Z\u00fcrich,Schweiz“]}】,“countries_distinact_count”:0,“institutions_distiction_count“:0,”corresponding_author_ids“:[”https://openalex.org/A5056833627“],”corresponding_institution_ids“:[],”apc_list“:{”value“:2390,”currency“:”EUR“,”value_usd“:2990,”provenance“:”doaj“},”apc _payed“:{”value”:2390,“currency:”EUR”,“value_usd:2990,“provenance”:“doaj”},“has_fulltext”:false,“cited_by_count”:12,“citected_by_percentile_year”:{“min”:83,“max”:84},“biblio”:{“volume”:“23”,“issue”:“1”,“first_page”:“129”,“last_page“:”139“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.9992,”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/T11727“,”display_name“:”模糊逻辑和剩余格“,”score“:0.9992,”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/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9989,”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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9915,“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/keywords/nonmonotonic-reasoning(https://openalex.org/keywords/nonmonotonic-reasoning)“,”display_name“:”非单调推理“,”score“:0.610235},{”id“:”https://openalex.org/关键词/认知逻辑“,”display_name“:”认知逻辑“,”score“:0.57967},{”id“:”https://openalex.org/keywords/temoral-logic网站“,”display_name“:”时态逻辑“,”score“:0.573678},{”id“:”https://openalex.org/keywords/selection-logic“,”display_name“:”分离逻辑“,”score“:0.566359},{”id“:”https://openalex.org/keywords/mathematical-fuzzy-logic网站“,”display_name“:”数学模糊逻辑“,”score“:0.54334}],”concepts“:[{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.67691636},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”display_name“:”字段上的代数“,”level“:2,”score“:0.37909192},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯粹数学“,”level“:1,”score“:0.20907593}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/bf02023019“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S188076996“,”display_name“:”数理逻辑存档“,”issn_l“:”0933-5846“,”isn“:[”09335-5846“,”1432-0665“],”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/P4310319965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“journal”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”best_oa_location“:null”,“sustainable_development_goals”:[{“display_name”:“减少不平等”,“id”:”https://metadata.un.org/sdg/10“,”score“:0.65}],”grants“:[],”datasets“:[],”versions“:[】,”referenced_works_count“:8,”referrenced_works“:【”https://openalex.org/W1989632075","https://openalex.org/W2119094149","https://openalex.org/W2129409778","https://openalex.org/W2150732096","https://openalex.org/W2156452084","https://openalex.org/W2170862108","https://openalex.org/W2531550006","https://openalex.org/W4239833221“],”related_works“:[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694“],”ngrams_url“:”https://api.openalex.org/works/W2016722102/ngrams网站“,”abstract_inverted_index“:空,”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2016722102“,”counts_by_year“:[{“年份”:2021,”cited_by_count“:1},{“年度”:2015,”cited_by_count”:1}],”updated_date“:”2024-05-22T01:17:20.277735“,”created_date:“2016-06-24”}