{"id":"W2324179043","doi":"10.7151/dmgaa.1036","title":"The semantical hyperunification problem","year":2001,"lang":"en","type":"article","venue":"Discussiones Mathematicae - General Algebra and Applications","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Mathematics; Kernel (algebra); Variety (cybernetics); Homomorphism; Invariant (physics); Discrete mathematics; Congruence (geometry); Type (biology); Algebra over a field; Pure mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002962771,0.0001492229,0.0001371448,0.00003890895,0.0008227783,0.0003081837,0.0006541256,0.00004965121,0.00001973322],"category_scores_gemma":[0.0000159492,0.00007586905,0.00005674096,0.0003532405,0.0001365577,0.0002377621,0.0002148656,0.00008958574,0.0001318329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000100708,"about_ca_system_score_gemma":0.00001973213,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001887339,"about_ca_topic_score_gemma":0.000001710391,"domain_scores_codex":[0.9988434,0.00004905508,0.0002996288,0.0003423154,0.0002063383,0.0002592535],"domain_scores_gemma":[0.9988425,0.0001702878,0.0000917945,0.0007275989,0.00004535873,0.0001224614],"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.000001093907,0.00006911959,0.0000378168,0.00001136772,0.000007621401,5.717972e-7,0.000154941,0.000002239149,0.0014628,0.909824,0.0003449452,0.08808351],"study_design_scores_gemma":[0.0001439731,0.00001742104,0.001839155,0.0000223619,0.00001629648,0.00008953951,0.000188063,0.03099431,0.0004974243,0.9235337,0.04244193,0.0002158058],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03772496,0.0004695639,0.933513,0.02082472,0.00005420966,0.0007725818,0.000003779286,0.0003641997,0.006272953],"genre_scores_gemma":[0.8952116,0.0008978617,0.0945223,0.0008142464,0.0003959771,0.001705584,0.00002097993,0.0000398343,0.006391601],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8574867,"threshold_uncertainty_score":0.6328229,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00875509974983129,"score_gpt":0.2351069330189382,"score_spread":0.2263518332691069,"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."}}