{"id":"W1982912460","doi":"10.1016/s0304-3975(99)00300-x","title":"Algebraic characterizations of trace and decorated trace equivalences over tree-like structures","year":2001,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Homomorphism; TRACE (psycholinguistics); Bisimulation; Mathematics; Algebraic number; Equivalence (formal languages); Bounded function; Tree (set theory); Transition system; Pure mathematics; Discrete mathematics; Algebra over a field; Combinatorics; Algorithm","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001214089,0.0001864219,0.0002356197,0.0002369617,0.0002941522,0.0002946302,0.001793685,0.00007007859,0.0000529867],"category_scores_gemma":[0.0001516712,0.0001542324,0.00004243577,0.001774347,0.00288084,0.001377685,0.0004824789,0.0001570342,0.000006444016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002776344,"about_ca_system_score_gemma":0.00008750698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004520435,"about_ca_topic_score_gemma":0.000001053575,"domain_scores_codex":[0.9977553,0.0001817409,0.000387526,0.000641874,0.0006104896,0.0004229957],"domain_scores_gemma":[0.9984862,0.0002257895,0.0001718703,0.0007004847,0.0002047656,0.0002108861],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001036109,0.00003773414,0.0003496005,0.000009493085,0.000003334292,0.000003044732,0.0008330875,0.00005917859,0.008067123,0.9063686,0.000005242002,0.08425317],"study_design_scores_gemma":[0.0002395883,0.0002606894,0.1062113,0.00003128912,0.000008596962,0.00009211514,0.00001264695,0.7541732,0.01339321,0.1251688,0.0001403908,0.0002683127],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3660482,0.00005260208,0.6328161,0.0001987479,0.000335833,0.0001130623,0.000001790823,0.00008478615,0.0003489178],"genre_scores_gemma":[0.6456568,0.00002529481,0.354155,0.0001100295,0.00003629527,0.000003547545,5.833331e-7,0.00000482936,0.000007580429],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7811999,"threshold_uncertainty_score":0.9998327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01835743076514056,"score_gpt":0.2906331165185059,"score_spread":0.2722756857533654,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}