{"id":"W4214602829","doi":"10.1002/0471469882.ch2","title":"Boolean Algebras","year":2003,"lang":"en","type":"other","venue":"","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; University of Waterloo","funders":"","keywords":"Free Boolean algebra; Stone's representation theorem for Boolean algebras; Boolean algebras canonically defined; Complete Boolean algebra; Boolean algebra; Two-element Boolean algebra; Mathematics; Interior algebra; Algebra over a field; Set (abstract data type); Boolean expression; Representation (politics); Discrete mathematics; Algebra representation; Pure mathematics; Jordan algebra; Computer science; Boolean function; Programming language","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.0009987801,0.001187585,0.0008356479,0.002712046,0.002027152,0.004627515,0.001262818,0.001155477,0.03194469],"category_scores_gemma":[0.002112935,0.0004819657,0.0009306889,0.003044893,0.002732519,0.007082432,0.001750528,0.002972136,0.01084629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002167549,"about_ca_system_score_gemma":0.001378311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001471332,"about_ca_topic_score_gemma":0.001409256,"domain_scores_codex":[0.9982979,0.0003419155,0.0001404315,0.0003042031,0.00076025,0.0001553534],"domain_scores_gemma":[0.9993773,0.0002399511,0.0000524389,0.00008707383,0.0001916862,0.0000515737],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005118799,0.00001017509,0.00004505048,0.00008229375,0.000004479072,0.00004084035,0.0001463198,0.000244859,0.0002769347,0.9718692,0.01076761,0.01650706],"study_design_scores_gemma":[0.00000415066,0.000009094173,0.00006192754,0.00007005435,0.000004967092,0.0001915421,0.00005513457,0.000629783,0.0003258095,0.6852677,0.3133713,0.000008528865],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004007054,0.03946425,0.2880986,0.005010446,0.002610302,0.0002443561,0.001815162,0.001121662,0.6576282],"genre_scores_gemma":[0.2415342,0.09082305,0.2946181,0.007704492,0.008441118,0.001335863,0.005939504,0.0009888557,0.3486148],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03194469,"threshold_uncertainty_score":0.1068656,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01001629896097512,"score_gpt":0.2273788717954791,"score_spread":0.217362572834504,"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."}}