{"id":"W4366288312","doi":"10.21203/rs.3.rs-2817928/v1","title":"On a Property of Congruence Lattices of Slim, Planar, Semimodular Lattices","year":2023,"lang":"en","type":"preprint","venue":"Research Square","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Congruence (geometry); Lemma (botany); Planar; Mathematics; Combinatorics; Property (philosophy); Pure mathematics; Computer science; Geometry; Epistemology; Philosophy","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.001651314,0.0004147773,0.0005934366,0.0009641924,0.001769189,0.002788532,0.0006072237,0.0006243893,0.004217678],"category_scores_gemma":[0.005770354,0.0004454012,0.001216347,0.001141631,0.005202157,0.004202798,0.002916869,0.002644229,0.0007203714],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001536121,"about_ca_system_score_gemma":0.001070988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002501023,"about_ca_topic_score_gemma":0.001758679,"domain_scores_codex":[0.9987229,0.0002214666,0.00008627956,0.0002689206,0.0004485947,0.0002517747],"domain_scores_gemma":[0.9964349,0.001657664,0.0002726782,0.000478078,0.0006734089,0.0004832698],"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.000135006,0.00002944836,0.0009754664,0.0000648483,0.000008630705,0.0002574789,0.0005534883,0.000950631,0.006830579,0.9803072,0.00119556,0.008691721],"study_design_scores_gemma":[0.00009454567,0.0001383177,0.001325969,0.00002842004,0.00002133672,0.0006816187,0.0005967718,0.00911878,0.01719239,0.9542544,0.01649967,0.00004783534],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4816122,0.0009895558,0.4043555,0.002246619,0.0004374169,0.0001722441,0.0008520231,0.0007231262,0.1086113],"genre_scores_gemma":[0.931753,0.0004422537,0.06048646,0.0004569218,0.0002815118,0.00008256274,0.0005036254,0.000159775,0.005833867],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004217678,"threshold_uncertainty_score":0.01410955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1159051564004103,"score_gpt":0.3908540182348879,"score_spread":0.2749488618344776,"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."}}