{"doi":"10.1016/j.jlamp.2022.100749","title":"Proving and disproving confluence of context-sensitive rewriting","abstract":null,"journal":"Journal of Logical and Algebraic Methods in Programming","year":2022,"id":23205,"datarank":0.20794415416798362,"base_score":1.3862943611198906,"endowment":1.3862943611198906,"self_citation_contribution":0.20794415416798362,"citation_network_contribution":0.0,"self_endowment_contribution":0.20794415416798362,"citer_contribution":0.0,"corpus_percentile":null,"corpus_rank":null,"citation_count":3,"citer_count":0,"citers_with_citation_signal":0,"citers_with_endowment":0,"datacite_reuse_total":1,"is_dataset":false,"is_dataset_confidence":null,"is_data_producer":false,"deposit_databanks":null,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":null,"fair_score":null,"fair_percentile":null,"algorithm_id":"datarank_citation_only_1hop_v6","ranking_scope":"data_only","authors":[{"id":143285,"name":"Miguel Vítores","orcid":null,"position":1,"is_corresponding":false},{"id":143286,"name":"Raúl Gutiérrez","orcid":null,"position":2,"is_corresponding":false},{"id":143284,"name":"Salvador Lucas","orcid":"0000-0001-9923-2108","position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":1.3862943611198906,"endowment":1.3862943611198906,"datacite_reuse_total":1,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"21071399","pmcid":null,"openalex_id":"https://openalex.org/W4206221271","authors":[],"funders":[{"funder_name":"España Ministerio de Ciencia e Innovación","grant_id":"RTI2018-094403-B-C32","title":null},{"funder_name":"Generalitat Valenciana","grant_id":"PROMETEO/2019/098","title":null}],"total_grants":2,"fwci":0.4163,"citation_percentile":0.66375749,"influential_citations":0,"citation_trend":[{"year":2022,"count":1},{"year":2023,"count":1},{"year":2025,"count":1}],"oa_status":"hybrid","license":"cc-by","oa_locations":[{"url":"https://www.sciencedirect.com/science/article/pii/S2352220822000025","host_type":"journal"},{"url":"https://doi.org/10.1016/j.jlamp.2022.100749","host_type":"HYBRID"},{"url":"https://www.sciencedirect.com/science/article/pii/S2352220822000025","host_type":"publisher"},{"url":"https://api.elsevier.com/content/article/PII:S2352220822000025?httpAccept=text/xml","host_type":"publisher"},{"url":"https://api.elsevier.com/content/article/PII:S2352220822000025?httpAccept=text/plain","host_type":"publisher"},{"url":"http://hdl.handle.net/10251/194829","host_type":"repository"}],"fields_of_study":["Logic, programming, and type systems","Natural Language Processing Techniques","Formal Methods in Verification","Computer Science","Mathematics"],"mesh_terms":[],"keywords":["Confluence","Rewriting","Context (archaeology)","Computer science","Term (time)","Class (philosophy)","Reduction (mathematics)","Function (biology)","Property (philosophy)","Programming language","Theoretical computer science","Mathematics","Algorithm","Artificial intelligence","Philosophy","Epistemology","Geometry","History","Physics"],"sdg_mappings":[{"sdg_number":0,"sdg_label":"Reduced inequalities"}],"linked_datasets":[{"doi":"10.4230/lipics.csl.2024.37","title":"Confluence of Conditional Rewriting Modulo","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","resource_type":"ConferencePaper"}],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-06-07T18:37:10.298540Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"fair_f":null,"fair_a":null,"fair_i":null,"fair_r":null,"fair_zscore":null,"fair_rationale":null,"fair_model":null,"fair_agent_version":null,"fair_fulltext_source":null,"fair_has_llm":null,"fair_computed_at":null,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}