{"id":"W4247773467","doi":"10.1007/978-1-4939-7131-2_100616","title":"Logical Algebra","year":2018,"lang":"en","type":"book-chapter","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Algebra over a field; Computer science; Programming language; 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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00007103539,0.0002723254,0.0002630182,0.00007395569,0.00007358191,0.0000800124,0.001126061,0.0002822741,0.00645555],"category_scores_gemma":[0.00000968585,0.0001969705,0.000137353,0.00002702187,0.0001256284,0.000180256,0.0005271987,0.0002408017,0.007432866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002776996,"about_ca_system_score_gemma":0.00003894622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.452865e-7,"about_ca_topic_score_gemma":0.000002122543,"domain_scores_codex":[0.9986844,0.000006628442,0.0002068528,0.0005934779,0.0002595249,0.0002491255],"domain_scores_gemma":[0.9988911,0.00005356726,0.00009348289,0.0007730974,0.00006906028,0.0001197489],"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":[7.842208e-7,0.00000438493,3.171691e-7,0.000002592255,0.000008842478,0.00003855323,0.00001665127,3.047192e-7,0.000002769771,0.9719069,0.01373513,0.01428279],"study_design_scores_gemma":[0.0000420795,0.00007478346,0.000003770514,0.00001004225,0.000002776919,0.00001980835,3.964869e-7,0.000109483,0.00001973621,0.5919139,0.407605,0.0001982355],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000001774224,0.0001279202,0.3571477,0.0002061561,0.0002889586,0.0000661312,8.985831e-7,0.000285286,0.6418751],"genre_scores_gemma":[0.0004907222,0.0000479283,0.0493836,0.002001792,0.0004282068,0.000002908416,0.000004679674,0.00001834918,0.9476218],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3938699,"threshold_uncertainty_score":0.9944527,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02851499898668784,"score_gpt":0.240425272228717,"score_spread":0.2119102732420292,"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."}}