{"id":"W2118142335","doi":"10.1109/ismvl.2002.1011089","title":"On functions defined on free Boolean algebras","year":2002,"lang":"en","type":"article","venue":"","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Boolean function; Boolean algebra; Mathematics; Ternary operation; Two-element Boolean algebra; Binary number; Discrete mathematics; Binary relation; Boolean expression; Stone's representation theorem for Boolean algebras; Conjunction (astronomy); Parity function; Complete Boolean algebra; Boolean algebras canonically defined; Computer science; Algebra over a field; Arithmetic; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002887679,0.001320766,0.001034576,0.004396908,0.001435738,0.004568182,0.001274922,0.001042731,0.003306114],"category_scores_gemma":[0.009684199,0.0005872096,0.001606953,0.004195509,0.00342212,0.0112567,0.00234817,0.001858162,0.0007185086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002605841,"about_ca_system_score_gemma":0.0007304024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001108054,"about_ca_topic_score_gemma":0.0008130253,"domain_scores_codex":[0.9957332,0.001100012,0.0003089573,0.0006748904,0.001670304,0.0005126103],"domain_scores_gemma":[0.9934165,0.003633468,0.0009497795,0.0005394666,0.0009462044,0.0005145202],"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.00002499448,0.00001798691,0.000400788,0.00006067398,0.00002191447,0.00009456409,0.0002321962,0.002646287,0.001037588,0.9850138,0.0004133361,0.01003582],"study_design_scores_gemma":[0.000008832832,0.00003040455,0.0003096597,0.00004369987,0.0000173978,0.000203695,0.0000736267,0.01368631,0.001047928,0.9803073,0.004244864,0.00002636328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1196969,0.00313941,0.8539281,0.00066192,0.0002057123,0.000111762,0.0005316017,0.0003247045,0.02139987],"genre_scores_gemma":[0.7805563,0.002757992,0.2033446,0.0005271385,0.000724586,0.0004222279,0.0008341747,0.0002739677,0.01055896],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004568182,"threshold_uncertainty_score":0.01890677,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02451268730990267,"score_gpt":0.2053565651084609,"score_spread":0.1808438777985582,"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."}}