{"id":"https://openalex.org/W2055586839","doi":"https://doi.org/10.1007/s00500-004-0431-2","title":"A 16-classification partition of formula set F(S) in revised Kleene system $$\\bar W$$","display_name":"A 16-classification partition of formula set F(S) in revised Kleene system $$\\bar W$$","publication_year":2005,"publication_date":"2005-07-07","ids":{"openalex":"https://openalex.org/W2055586839","doi":"https://doi.org/10.1007/s00500-004-0431-2","mag":"2055586839"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-004-0431-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-004-0431-2","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102120884","display_name":"Cheng Han","orcid":null},"institutions":[{"id":"https://openalex.org/I4210141689","display_name":"Yancheng Teachers University","ror":"https://ror.org/042k5fe81","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210141689"]},{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Cheng Han","raw_affiliation_strings":["Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","Yancheng Teachers College, Jiangsu, 224002, People\u2019s Republic of China","Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China and Yancheng Teachers College, Jiangsu, 224002, People\u2019s Republic of China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Yancheng Teachers College, Jiangsu, 224002, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210141689"]},{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China and Yancheng Teachers College, Jiangsu, 224002, People\u2019s Republic of China#TAB#","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100386726","display_name":"Guojun Wang","orcid":"https://orcid.org/0000-0001-9875-4182"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guojun Wang","raw_affiliation_strings":["Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China#TAB#","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102120885","display_name":"Wenyan Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenyan Xu","raw_affiliation_strings":["Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, Xi\u2019an, 710062, People\u2019s Republic of China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Institute of Mathematics, Shaanxi Normal University, 710062, Xi\u2019an, People\u2019s Republic of China#TAB#","institution_ids":["https://openalex.org/I88830068"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102120884"],"corresponding_institution_ids":["https://openalex.org/I4210141689","https://openalex.org/I88830068"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14377801,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":"2","first_page":"115","last_page":"118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.6653956770896912},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.625433623790741},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5803982615470886},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5141473412513733},{"id":"https://openalex.org/keywords/kleenes-recursion-theorem","display_name":"Kleene's recursion theorem","score":0.5024251937866211},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4087424874305725},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33932650089263916}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6653956770896912},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.625433623790741},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5803982615470886},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5141473412513733},{"id":"https://openalex.org/C123260079","wikidata":"https://www.wikidata.org/wiki/Q1933521","display_name":"Kleene's recursion theorem","level":2,"score":0.5024251937866211},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4087424874305725},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33932650089263916}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-004-0431-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-004-0431-2","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1931043128","https://openalex.org/W1968661412","https://openalex.org/W1983382657","https://openalex.org/W1999500055","https://openalex.org/W2014816111","https://openalex.org/W2018982361","https://openalex.org/W2025671038","https://openalex.org/W2029423932","https://openalex.org/W2055167058","https://openalex.org/W2058214461","https://openalex.org/W2075115375","https://openalex.org/W2086302824","https://openalex.org/W2094744502","https://openalex.org/W2110182592","https://openalex.org/W2112660043","https://openalex.org/W3144270825"],"related_works":["https://openalex.org/W2888918612","https://openalex.org/W2166285859","https://openalex.org/W3213392216","https://openalex.org/W3030465535","https://openalex.org/W2928935854","https://openalex.org/W2095282951","https://openalex.org/W4288376543","https://openalex.org/W2122650439","https://openalex.org/W2086979258","https://openalex.org/W1792667814"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}