{"id":"https://openalex.org/W19828094","doi":"https://doi.org/10.1007/978-3-642-35737-4_6","title":"Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics","display_name":"Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W19828094","doi":"https://doi.org/10.1007/978-3-642-35737-4_6","mag":"19828094"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-35737-4_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35737-4_6","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5002561394","display_name":"Mykola Nikitchenko","orcid":"https://orcid.org/0000-0002-4078-1062"},"institutions":[{"id":"https://openalex.org/I189238007","display_name":"Taras Shevchenko National University of Kyiv","ror":"https://ror.org/02aaqv166","country_code":"UA","type":"education","lineage":["https://openalex.org/I189238007"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Mykola S. Nikitchenko","raw_affiliation_strings":["Department of Theory and Technology of Programming, National Taras Shevchenko University of Kyiv, 64, Volodymyrska Street, 01033, Kyiv, Ukraine","Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"Department of Theory and Technology of Programming, National Taras Shevchenko University of Kyiv, 64, Volodymyrska Street, 01033, Kyiv, Ukraine","institution_ids":["https://openalex.org/I189238007"]},{"raw_affiliation_string":"Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine","institution_ids":["https://openalex.org/I189238007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014002749","display_name":"Valentyn G. Tymofieiev","orcid":null},"institutions":[{"id":"https://openalex.org/I189238007","display_name":"Taras Shevchenko National University of Kyiv","ror":"https://ror.org/02aaqv166","country_code":"UA","type":"education","lineage":["https://openalex.org/I189238007"]}],"countries":["UA"],"is_corresponding":false,"raw_author_name":"Valentyn G. Tymofieiev","raw_affiliation_strings":["Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine"],"affiliations":[{"raw_affiliation_string":"Department of Theory and Technology of Programming, Taras Shevchenko National University of Kyiv, 64, Volodymyrska Street, 01601, Kyiv, Ukraine","institution_ids":["https://openalex.org/I189238007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002561394"],"corresponding_institution_ids":["https://openalex.org/I189238007"],"apc_list":null,"apc_paid":null,"fwci":0.823,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69699367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/nominative-case","display_name":"Nominative case","score":0.7330028414726257},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6385309100151062},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5651710033416748},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5320960283279419},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.4900776147842407},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42235782742500305},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3800421357154846},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3512691259384155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29803186655044556},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28570252656936646},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.16918525099754333},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13740241527557373}],"concepts":[{"id":"https://openalex.org/C5468625","wikidata":"https://www.wikidata.org/wiki/Q131105","display_name":"Nominative case","level":3,"score":0.7330028414726257},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6385309100151062},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5651710033416748},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5320960283279419},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.4900776147842407},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42235782742500305},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3800421357154846},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3512691259384155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29803186655044556},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28570252656936646},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.16918525099754333},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13740241527557373},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.0},{"id":"https://openalex.org/C2776397901","wikidata":"https://www.wikidata.org/wiki/Q24905","display_name":"Verb","level":2,"score":0.0},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-35737-4_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-35737-4_6","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1481397690","https://openalex.org/W1487472891","https://openalex.org/W1549880792","https://openalex.org/W1586677474","https://openalex.org/W1969502728","https://openalex.org/W1984820433","https://openalex.org/W1999997706","https://openalex.org/W2022846948","https://openalex.org/W2035762555","https://openalex.org/W2100235980","https://openalex.org/W2102791214","https://openalex.org/W2126105250","https://openalex.org/W2137351629","https://openalex.org/W2180471721","https://openalex.org/W2395119740","https://openalex.org/W2488452832","https://openalex.org/W2753650850","https://openalex.org/W3021087975","https://openalex.org/W4234924236","https://openalex.org/W4247117798","https://openalex.org/W4300622081"],"related_works":["https://openalex.org/W19518518","https://openalex.org/W2370231096","https://openalex.org/W3163508128","https://openalex.org/W1593113169","https://openalex.org/W3013628578","https://openalex.org/W2356486219","https://openalex.org/W2355149807","https://openalex.org/W2362252932","https://openalex.org/W4400493539","https://openalex.org/W2145310422"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}