{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009137231,0.0002982992,0.0004668314,0.000841663,0.001365216,0.002550137,0.0008134255,0.001047361,0.01846036],"category_scores_gemma":[0.002846096,0.0002268354,0.0006502158,0.001221495,0.004586639,0.007660312,0.001975426,0.003057456,0.002044187],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001319013,"about_ca_system_score_gemma":0.0006834923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002337648,"about_ca_topic_score_gemma":0.001944888,"domain_scores_codex":[0.9995798,0.0001579681,0.00001960982,0.00006078666,0.0001194783,0.00006219561],"domain_scores_gemma":[0.9987846,0.0006939361,0.00007672302,0.0001443841,0.0002070202,0.00009335682],"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.000005857041,0.000001833682,0.00003388013,0.00001388613,0.000001558954,0.00001883276,0.00004045257,0.00006700268,0.00006259396,0.9956255,0.002583326,0.001545296],"study_design_scores_gemma":[0.000003907396,0.000004135291,0.00008612519,0.00001996808,0.000002201495,0.0000250911,0.00008171162,0.0001965334,0.00008240828,0.9900678,0.009426943,0.000003099258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.06121097,0.01154006,0.1084504,0.05984735,0.005312691,0.00003693012,0.0007028483,0.0004202659,0.7524785],"genre_scores_gemma":[0.8411402,0.009804492,0.02679643,0.01015088,0.00312124,0.00008740502,0.0005258048,0.0002783743,0.1080951],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01846036,"threshold_uncertainty_score":0.06175607,"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."}}