{"id":"W2019631532","doi":"10.1007/s00012-012-0211-2","title":"Remarks on contact relations on Boolean algebras","year":2012,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Mathematics; Relation (database); Binary relation; Relation algebra; Stone's representation theorem for Boolean algebras; Algebra over a field; Free Boolean algebra; Representation (politics); Complete Boolean algebra; Interior algebra; Boolean algebras canonically defined; Algebraic number; Space (punctuation); Boolean algebra; Representation theorem; Pure mathematics; Two-element Boolean algebra; Discrete mathematics; Algebra representation; Jordan algebra; Computer science; Mathematical analysis","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.002674066,0.0007819932,0.001137932,0.001816044,0.003884476,0.003145444,0.00219463,0.002892571,0.02814534],"category_scores_gemma":[0.007524481,0.0005442192,0.001563542,0.003050936,0.006262925,0.01810721,0.003375161,0.005166006,0.001579274],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00248931,"about_ca_system_score_gemma":0.0007479453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003233135,"about_ca_topic_score_gemma":0.002554942,"domain_scores_codex":[0.9983581,0.00046525,0.0001035697,0.0003187229,0.0005431216,0.0002112677],"domain_scores_gemma":[0.9951013,0.003526401,0.0001886169,0.0004941223,0.0004545413,0.0002350939],"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.000009219352,0.000006312129,0.00002829847,0.00002000355,0.000002322722,0.00002635024,0.0001084901,0.0002094602,0.00007087052,0.9954007,0.002715341,0.001402683],"study_design_scores_gemma":[0.000006437618,0.000003632252,0.00005887112,0.00000678497,0.000002961506,0.00001760048,0.00004939012,0.0007205522,0.0000934616,0.9938583,0.00517772,0.000004295697],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05552587,0.003773,0.4792166,0.06825097,0.003032338,0.0001300865,0.001513182,0.000825668,0.3877323],"genre_scores_gemma":[0.831933,0.00486098,0.07057783,0.01484019,0.006311653,0.0005149007,0.001216209,0.0005311,0.06921412],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02814534,"threshold_uncertainty_score":0.09415555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01023500338288745,"score_gpt":0.2188643782949062,"score_spread":0.2086293749120187,"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."}}