{"id":"W2059149325","doi":"10.1007/s10474-007-6054-1","title":"Notes on sectionally complemented lattices. IV How far does the Atom Lemma go?","year":2007,"lang":"en","type":"article","venue":"Acta Mathematica Academiae Scientiarum Hungaricae","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brandon University; University of Manitoba","funders":"","keywords":"Mathematics; Lattice (music); Lemma (botany); Atom (system on chip); Complement (music); Ideal (ethics); Pure mathematics; Combinatorics; Physics; Chemistry; Computer science","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.002717281,0.000433177,0.0004026078,0.0002966149,0.00113429,0.0005662359,0.003157244,0.0002294272,0.000140961],"category_scores_gemma":[0.0005483684,0.0002416311,0.0002189424,0.001496292,0.0004084306,0.001035649,0.000837734,0.001006945,0.0002901503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001199228,"about_ca_system_score_gemma":0.00007796875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004287102,"about_ca_topic_score_gemma":0.00003815686,"domain_scores_codex":[0.995783,0.0001493937,0.0006113238,0.0009645693,0.001392731,0.001099039],"domain_scores_gemma":[0.9957939,0.002029737,0.000470542,0.001252951,0.0001695579,0.0002833012],"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":[0.00001947853,0.0003162687,0.0004817741,0.00006766571,0.000112553,0.0000207739,0.001736129,0.0000349811,0.009988886,0.9643388,0.01302217,0.00986054],"study_design_scores_gemma":[0.001694426,0.000359135,0.01702951,0.0002387048,0.0001501605,0.0001922215,0.0008984191,0.04123915,0.03145212,0.3503912,0.5545285,0.001826424],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04694566,0.0001064821,0.8744678,0.06728616,0.001635694,0.000917513,0.00001785031,0.0006475505,0.007975316],"genre_scores_gemma":[0.9566871,0.00002484883,0.03627472,0.004584967,0.0003095877,0.00003642916,0.000009051255,0.00003312083,0.002040165],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9097415,"threshold_uncertainty_score":0.985343,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02839771297113551,"score_gpt":0.284080443659751,"score_spread":0.2556827306886155,"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."}}