{"id":"W2017672011","doi":"10.1016/j.jlap.2007.10.002","title":"Distributive contact lattices: Topological representations","year":2007,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"St. Francis Xavier University; Brock University","funders":"","keywords":"Mathematics; Axiom; Topological space; Algebraic structure; Complement (music); Distributive property; Generalization; Distributive lattice; Relation algebra; Complete Boolean algebra; Lattice (music); Algebra over a field; Pure mathematics; Two-element Boolean algebra; Algebra representation","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":[],"consensus_categories":[],"category_scores_codex":[0.00159464,0.0001169964,0.0001985751,0.00005620628,0.0002784282,0.00008670537,0.0005795786,0.00005158034,0.000008739283],"category_scores_gemma":[0.0002559806,0.00006174485,0.00007757584,0.0002881643,0.0001727431,0.0003996061,0.0001687607,0.0003052077,0.000003120489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002483267,"about_ca_system_score_gemma":0.00002842688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005153501,"about_ca_topic_score_gemma":0.000004010794,"domain_scores_codex":[0.9988123,0.0001115726,0.0003939444,0.0001338671,0.0002326323,0.0003156485],"domain_scores_gemma":[0.9983833,0.0008108038,0.0003674215,0.0001916647,0.0001184363,0.0001283546],"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.00006306236,0.0001111884,0.003396462,0.000008306827,0.00005797431,0.0001832668,0.00158075,0.00001594962,0.0005159654,0.7647047,0.00006104192,0.2293013],"study_design_scores_gemma":[0.001715701,0.002392943,0.08715095,0.00009753745,0.0001425428,0.003502569,0.007097828,0.0005046116,0.001971777,0.8836022,0.01129349,0.0005278682],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1469154,0.001517122,0.8484676,0.002109986,0.0001719274,0.0001231199,5.213956e-7,0.000039944,0.000654414],"genre_scores_gemma":[0.9741975,0.0001099728,0.0251186,0.0004106796,0.0001218614,0.000001092844,5.508947e-7,0.000003070541,0.00003669141],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8272821,"threshold_uncertainty_score":0.2517882,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02540209756872319,"score_gpt":0.3030405959196174,"score_spread":0.2776384983508942,"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."}}