{"id":"https://openalex.org/W2033561430","doi":"https://doi.org/10.1007/bf00247667","title":"Constructing finite algebras with FALCON","display_name":"Constructing finite algebras with FALCON","publication_year":1996,"publication_date":"1996-08-01","ids":{"openalex":"https://openalex.org/W2033561430","doi":"https://doi.org/10.1007/bf00247667","mag":"2033561430"},"language":"en","primary_location":{"id":"doi:10.1007/bf00247667","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00247667","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","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/A5100752420","display_name":"Jian Zhang","orcid":"https://orcid.org/0000-0002-9523-5296"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I84653119","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784","country_code":"TW","type":"facility","lineage":["https://openalex.org/I84653119"]}],"countries":["CN","TW","US"],"is_corresponding":true,"raw_author_name":"Jian Zhang","raw_affiliation_strings":["Dept. of Computer Science, Univ. of Iowa, 52242, Iowa City, IA, U.S.A","Institute of Software, Academia Sinica, 100080, Beijing, P.R. China","Dept. of Computer Science, Univ. of Iowa, Iowa City, U.S.A","Institute of Software, Academia Sinica, Beijing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Univ. of Iowa, 52242, Iowa City, IA, U.S.A","institution_ids":["https://openalex.org/I126307644"]},{"raw_affiliation_string":"Institute of Software, Academia Sinica, 100080, Beijing, P.R. China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Dept. of Computer Science, Univ. of Iowa, Iowa City, U.S.A","institution_ids":["https://openalex.org/I126307644"]},{"raw_affiliation_string":"Institute of Software, Academia Sinica, Beijing, P.R. China","institution_ids":["https://openalex.org/I84653119"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100752420"],"corresponding_institution_ids":["https://openalex.org/I126307644","https://openalex.org/I4210128818","https://openalex.org/I84653119"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":3.9214,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.93996226,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9904999732971191,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/falcon","display_name":"Falcon","score":0.8083046674728394},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4761412441730499},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4568861126899719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4470337927341461},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.425004780292511},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34923142194747925},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34529390931129456}],"concepts":[{"id":"https://openalex.org/C2775845381","wikidata":"https://www.wikidata.org/wiki/Q43489","display_name":"Falcon","level":2,"score":0.8083046674728394},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4761412441730499},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4568861126899719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4470337927341461},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.425004780292511},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34923142194747925},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34529390931129456}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00247667","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00247667","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W22657303","https://openalex.org/W77935731","https://openalex.org/W103157418","https://openalex.org/W163012990","https://openalex.org/W592225295","https://openalex.org/W1480656721","https://openalex.org/W1527757483","https://openalex.org/W1689813061","https://openalex.org/W1791728543","https://openalex.org/W2013434344","https://openalex.org/W2038464985","https://openalex.org/W2047274827","https://openalex.org/W2062897452","https://openalex.org/W2065048938","https://openalex.org/W2082167089","https://openalex.org/W2312958069","https://openalex.org/W2329054075"],"related_works":["https://openalex.org/W2559910745","https://openalex.org/W1996171346","https://openalex.org/W3012004699","https://openalex.org/W2316698445","https://openalex.org/W73822458","https://openalex.org/W3029030103","https://openalex.org/W2478859663","https://openalex.org/W2954058429","https://openalex.org/W4251274518","https://openalex.org/W3155425594"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}