{"id":"W1529889279","doi":"10.1007/s00153-017-0545-8","title":"Equimorphy: the case of chains","year":2017,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Corollary; Isomorphism (crystallography); Mathematics; Chain (unit); Class (philosophy); Algebra over a field; Pure mathematics; Combinatorics; Discrete mathematics; Computer science; Crystal structure; Crystallography; Artificial intelligence","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.003316056,0.0005931298,0.0011834,0.00254095,0.005428979,0.008809981,0.002062436,0.00383613,0.03039886],"category_scores_gemma":[0.01950196,0.001016022,0.001111483,0.00453667,0.01040213,0.02548042,0.007011547,0.00484409,0.002079901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002101278,"about_ca_system_score_gemma":0.001405018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002993505,"about_ca_topic_score_gemma":0.001943937,"domain_scores_codex":[0.9969964,0.0009577089,0.0002140447,0.0007556852,0.0006011309,0.0004750482],"domain_scores_gemma":[0.9846949,0.008677321,0.001162066,0.002948258,0.001418045,0.001099386],"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.000009065325,0.000003629322,0.00006832287,0.000008377918,0.000001686742,0.00003638973,0.0001103063,0.0002406537,0.00002721828,0.9980904,0.0002659141,0.001137937],"study_design_scores_gemma":[0.00000368021,0.000001823846,0.00001661837,0.00001037616,0.000001991531,0.00003134835,0.00006752956,0.001515727,0.00004561015,0.9963961,0.001906549,0.000002724238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1481034,0.002749587,0.5414215,0.009087377,0.0004321488,0.0001155407,0.0006545145,0.0004100819,0.2970258],"genre_scores_gemma":[0.8725178,0.001622233,0.08597805,0.0009764771,0.0004239417,0.0002152844,0.0005129451,0.000345419,0.03740786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03039886,"threshold_uncertainty_score":0.1016943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0625853413362719,"score_gpt":0.3267031561761004,"score_spread":0.2641178148398285,"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."}}