{"id":"https://openalex.org/W2102074804","doi":"https://doi.org/10.1016/s0747-7171(88)80006-3","title":"Complexity of deciding Tarski algebra","display_name":"Complexity of deciding Tarski algebra","publication_year":1988,"publication_date":"1988-02-01","ids":{"openalex":"https://openalex.org/W2102074804","doi":"https://doi.org/10.1016/s0747-7171(88)80006-3","mag":"2102074804"},"language":"en","primary_location":{"id":"doi:10.1016/s0747-7171(88)80006-3","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0747-7171(88)80006-3","pdf_url":null,"source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","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/A5109223126","display_name":"D. Yu. Grigor'ev","orcid":null},"institutions":[{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"D. Yu Grigor'ev","raw_affiliation_strings":["Leningrad Department of Steklov Mathematical Institute of the Academy of Sciences of the USSR, Fontanka embankment 27, Leningrad 191011, USSR","Leningrad Department of Steklov Mathematical Institute of the Academy of Sciences of the USSR, Fontanka embankment 27, Leningrad 191011, USSR#TAB#"],"affiliations":[{"raw_affiliation_string":"Leningrad Department of Steklov Mathematical Institute of the Academy of Sciences of the USSR, Fontanka embankment 27, Leningrad 191011, USSR","institution_ids":["https://openalex.org/I2801160905"]},{"raw_affiliation_string":"Leningrad Department of Steklov Mathematical Institute of the Academy of Sciences of the USSR, Fontanka embankment 27, Leningrad 191011, USSR#TAB#","institution_ids":["https://openalex.org/I2801160905"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109223126"],"corresponding_institution_ids":["https://openalex.org/I2801160905"],"apc_list":{"value":2770,"currency":"USD","value_usd":2770},"apc_paid":null,"fwci":9.3208,"has_fulltext":false,"cited_by_count":206,"citation_normalized_percentile":{"value":0.97905603,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"5","issue":"1-2","first_page":"65","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9997000098228455,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11797","display_name":"graph theory and CDMA systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8977431058883667},{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.7824284434318542},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.550195574760437},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5041464567184448},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4887557029724121},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4228893220424652},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4131961762905121},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2698698043823242}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8977431058883667},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.7824284434318542},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.550195574760437},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5041464567184448},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4887557029724121},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4228893220424652},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4131961762905121},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2698698043823242},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0747-7171(88)80006-3","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0747-7171(88)80006-3","pdf_url":null,"source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1549235090","https://openalex.org/W1556844982","https://openalex.org/W1558198085","https://openalex.org/W1590407118","https://openalex.org/W1828839365","https://openalex.org/W1970836040","https://openalex.org/W1972307820","https://openalex.org/W1991581432","https://openalex.org/W2003972653","https://openalex.org/W2013504313","https://openalex.org/W2013955593","https://openalex.org/W2016390696","https://openalex.org/W2035153735","https://openalex.org/W2055909024","https://openalex.org/W2082387287","https://openalex.org/W2095461769","https://openalex.org/W2139480317","https://openalex.org/W2318268489","https://openalex.org/W3113536675","https://openalex.org/W3217399827","https://openalex.org/W4212914765","https://openalex.org/W6633400801","https://openalex.org/W6638588722","https://openalex.org/W6651372189"],"related_works":["https://openalex.org/W3095068681","https://openalex.org/W2035631589","https://openalex.org/W1813686459","https://openalex.org/W2039279140","https://openalex.org/W1617297050","https://openalex.org/W3217399827","https://openalex.org/W2049666462","https://openalex.org/W2589479599","https://openalex.org/W2034907872","https://openalex.org/W2964221993"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}