{"id":"W2082624313","doi":"10.2478/s11533-010-0014-7","title":"The isomorphism relation between tree-automatic Structures","year":2010,"lang":"en","type":"article","venue":"Open Mathematics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Commutative property; Isomorphism (crystallography); Nilpotent; Class (philosophy); Axiom; Relation (database); Tree (set theory)","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001018076,0.0001412612,0.0001918578,0.00003499709,0.0004499535,0.001222023,0.003229814,0.00008144123,0.00006940927],"category_scores_gemma":[0.0001772076,0.00008746043,0.00005068086,0.0002025278,0.00008274727,0.0005612262,0.0007510324,0.0002533698,0.0001905687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001237469,"about_ca_system_score_gemma":0.00004427443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001024425,"about_ca_topic_score_gemma":0.00001998149,"domain_scores_codex":[0.9988672,0.00005144661,0.0003384705,0.0002108078,0.0003010301,0.0002310503],"domain_scores_gemma":[0.9978067,0.0007208133,0.0002224879,0.001137476,0.00004152036,0.00007097347],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[3.465043e-7,0.00002026213,0.0001184284,0.00001389696,0.00001792963,0.00000203304,0.0009064766,0.000001533473,0.0009117431,0.9008455,0.001754547,0.09540733],"study_design_scores_gemma":[0.0002114051,0.0000242289,0.007253245,0.00002596843,0.0000158754,0.00002635244,0.00009540186,0.07756539,0.001455381,0.9073355,0.005801023,0.0001902407],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4918553,0.0001040828,0.4379117,0.00602424,0.001595851,0.001608737,0.00001131265,0.0006417809,0.06024703],"genre_scores_gemma":[0.6918947,0.000005710162,0.3065957,0.0001648139,0.0001288554,0.0000291652,0.000004787778,0.00002223691,0.001154053],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2000394,"threshold_uncertainty_score":0.9998148,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02130993675815469,"score_gpt":0.2735118164798898,"score_spread":0.2522018797217351,"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."}}