{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001544612,0.0001805126,0.0002951276,0.001176697,0.001437005,0.0024422,0.0006345922,0.0007942943,0.004085867],"category_scores_gemma":[0.005207856,0.0003467572,0.00061002,0.0008068786,0.002955922,0.006093414,0.002524216,0.00108272,0.0004405231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001091131,"about_ca_system_score_gemma":0.0005451626,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006235235,"about_ca_topic_score_gemma":0.0004344476,"domain_scores_codex":[0.9972329,0.0008612245,0.0002531027,0.000641503,0.0007116343,0.0002996771],"domain_scores_gemma":[0.9941896,0.003253765,0.000541353,0.0008916366,0.0007557349,0.0003678378],"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":[0.00004834937,0.00003989152,0.001676143,0.00002682116,0.00001390047,0.000216643,0.000798229,0.001097518,0.004749964,0.982141,0.0003160301,0.008875477],"study_design_scores_gemma":[0.00001882809,0.00004585883,0.001274048,0.00001952397,0.00001799912,0.0003519767,0.000548548,0.008651857,0.005726464,0.9782005,0.005121609,0.00002291189],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7246592,0.0003536804,0.2403924,0.0005147866,0.000064746,0.00006490044,0.0002103542,0.0003441731,0.03339577],"genre_scores_gemma":[0.9802509,0.0000822151,0.01707899,0.00006321941,0.00003682316,0.00003714067,0.0001786396,0.00003015222,0.002242026],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004085867,"threshold_uncertainty_score":0.0136686,"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."}}