{"doi":"10.1007/3-540-54317-1_85","title":"Testing confluence of nonterminating rewriting systems","abstract":null,"journal":"Lecture Notes in Computer Science","year":1991,"id":45928,"datarank":0.249684611060934,"base_score":1.0986122886681096,"endowment":1.0986122886681096,"self_citation_contribution":0.16479184330021646,"citation_network_contribution":0.08489276776071755,"self_endowment_contribution":0.16479184330021646,"citer_contribution":0.08489276776071755,"corpus_percentile":null,"corpus_rank":null,"citation_count":2,"citer_count":1,"citers_with_citation_signal":1,"citers_with_endowment":1,"datacite_reuse_total":0,"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":213742,"name":"Michael J. O'Donnell","orcid":null,"position":1,"is_corresponding":false},{"id":213741,"name":"Yiyun Chen","orcid":null,"position":0,"is_corresponding":false}],"reference_count":0,"raw_metadata":{"has_enrichment":true,"base_score":1.0986122886681096,"endowment":1.0986122886681096,"datacite_reuse_total":0,"file_count":0,"downloads":0,"views":0,"has_version_chain":false,"is_dataset":false,"is_oa":false,"pmid":"42399492","pmcid":null,"openalex_id":"https://openalex.org/W1592756229","authors":[],"funders":[],"total_grants":0,"fwci":1.1007,"citation_percentile":0.76485356,"influential_citations":0,"citation_trend":[],"oa_status":"closed","license":null,"oa_locations":[{"url":"http://link.springer.com/content/pdf/10.1007/3-540-54317-1_85.pdf","host_type":"publisher"},{"url":"https://doi.org/10.1007/3-540-54317-1_85","host_type":"book series"}],"fields_of_study":["Logic, programming, and type systems","Software Testing and Debugging Techniques","semigroups and automata theory","Mathematics","Computer Science","Humans","Male","Child","Psychometrics","Aggression","Feasibility Studies","Virtual Reality","Pilot Projects","Reproducibility of Results","Conflict, Psychological","Peer Group","Child Behavior","Problem Behavior"],"mesh_terms":["Humans","Male","Child","Psychometrics","Aggression","Feasibility Studies","Virtual Reality","Pilot Projects","Reproducibility of Results","Conflict, Psychological","Peer Group","Child Behavior","Problem Behavior"],"keywords":["Confluence","Rewriting","Compiler","Programming language","Computer science","Equational logic","Term (time)","Mathematics","Theoretical computer science","Algebra over a field","Discrete mathematics","Pure mathematics","Aggressive behavior","Assessment","Children","Psychometric properties","Virtual reality"],"sdg_mappings":[],"linked_datasets":[],"clinical_trials":[],"software_tools":[],"database_accessions":[],"source":"live","citation_network_status":"fetched"},"created_at":"2026-07-04T19:22:50.707672Z","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":[]}