{"id":"W1120761376","doi":"10.1201/9781315273686","title":"Universal Algebra and Applications in Theoretical Computer Science","year":2018,"lang":"en","type":"book","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":134,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Algebra over a field; Computer science; Universal algebra; Computational science; Mathematics; Pure mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0002289875,0.0001854624,0.0001959704,0.0002689701,0.0001760713,0.0001398313,0.001244791,0.0001206517,0.00006249149],"category_scores_gemma":[0.000007665507,0.0001491082,0.00002918439,0.0003380067,0.002109149,0.0003685358,0.0009206761,0.0002129991,0.00008102132],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001128571,"about_ca_system_score_gemma":0.0003102184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001125188,"about_ca_topic_score_gemma":0.000004497809,"domain_scores_codex":[0.9985462,0.00001819431,0.0001603244,0.0007231307,0.0002590023,0.0002930804],"domain_scores_gemma":[0.9990082,0.0001443201,0.00005568901,0.0005771519,0.00008104864,0.0001335372],"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":[5.395596e-7,0.00001089777,0.000009058585,0.000004724073,0.000001548844,0.000006184277,0.00006183723,0.000002324894,0.000001905267,0.9878577,0.000585384,0.01145792],"study_design_scores_gemma":[0.0001383938,0.0000774052,0.0001525057,0.00002500535,0.000003404147,0.00002000149,0.00000511499,0.01166906,0.00002354302,0.9467167,0.04089715,0.0002716985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002967177,0.00003942576,0.692736,0.00008916794,0.00007897183,0.0001777882,0.000001093971,0.0000885315,0.3067593],"genre_scores_gemma":[0.05728201,0.000180007,0.6427557,0.002735696,0.001610491,0.00006789688,0.00003326532,0.00007498368,0.29526],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05725234,"threshold_uncertainty_score":0.7771246,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00669435618951095,"score_gpt":0.2273005559057519,"score_spread":0.2206061997162409,"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."}}