{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001140867,0.0005458388,0.0006939244,0.002273214,0.002260282,0.007215367,0.001259497,0.001315341,0.01201956],"category_scores_gemma":[0.003376733,0.0005507061,0.000600484,0.002886638,0.0046194,0.01117346,0.002759197,0.002610033,0.001271219],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00136221,"about_ca_system_score_gemma":0.000789022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004739338,"about_ca_topic_score_gemma":0.0005649194,"domain_scores_codex":[0.9990155,0.0002590833,0.00005558544,0.0002083138,0.0003090315,0.0001524703],"domain_scores_gemma":[0.9972314,0.001157625,0.0003682633,0.0003886179,0.0003246841,0.0005293859],"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.00001902317,0.00001380164,0.00006246013,0.000009346953,0.000001273674,0.00003388635,0.000145653,0.0002108997,0.0001589901,0.996999,0.000406475,0.001939179],"study_design_scores_gemma":[0.00001681855,0.000009526596,0.00005698144,0.000005304676,0.000003992861,0.00007184681,0.0001797895,0.003172161,0.0003237699,0.993361,0.002792641,0.000006211691],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2909073,0.001280492,0.570155,0.002973378,0.0004844459,0.000133501,0.0007641192,0.001126609,0.1321752],"genre_scores_gemma":[0.9490635,0.0005142692,0.03041811,0.0002565902,0.0003475421,0.0001110161,0.0004185084,0.0001659237,0.01870454],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01201956,"threshold_uncertainty_score":0.04020941,"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."}}