{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00006692903,0.00008816854,0.00005980355,0.0001036765,0.0001086539,0.0001800529,0.0008358974,0.00001854876,0.0009835322],"category_scores_gemma":[0.00002961217,0.00007077763,0.00003687006,0.000243832,0.00001265738,0.0003599149,0.0002461087,0.00006873244,0.005913897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001316943,"about_ca_system_score_gemma":0.00000192945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000122468,"about_ca_topic_score_gemma":0.00001082886,"domain_scores_codex":[0.9992396,0.00001333634,0.000087319,0.0002790391,0.0002067526,0.0001739364],"domain_scores_gemma":[0.9989557,0.00005056655,0.00002029482,0.0009089302,0.00001100628,0.00005355676],"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":[5.79616e-7,0.00006794134,0.00001028606,7.229398e-7,0.000005351172,0.00000473212,0.00001122759,0.00001416547,0.000002265847,0.5041003,0.4455295,0.05025299],"study_design_scores_gemma":[0.001875695,0.001204559,0.003651349,0.00003303034,0.00001919322,0.000005021524,0.00004045724,0.2987056,0.0004815263,0.08544932,0.6077491,0.0007850789],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001095218,0.0000125158,0.3865679,0.006765711,0.0006160481,0.00009901579,0.000005896391,0.0004527663,0.6043849],"genre_scores_gemma":[0.4246478,0.00003820899,0.07732496,0.02295681,0.0004619551,0.00004566475,0.00004160874,0.00003634442,0.4744466],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4235526,"threshold_uncertainty_score":0.9999297,"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."}}