{"id":"W1978603650","doi":"10.4153/cmb-2011-038-7","title":"An Extension of Craig's Family of Lattices","year":2011,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Digital Image Processing Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Lattice (music); Extension (predicate logic); Prime (order theory); Integer (computer science); Combinatorics; Physics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000295586,0.00009836395,0.0002075214,0.0001493099,0.00002545951,0.00004427394,0.000867795,0.00005991454,0.0004148968],"category_scores_gemma":[0.0001931301,0.00008795709,0.00004279818,0.0001684502,0.0001558124,0.0001979165,0.00006926693,0.0000618749,0.0002700354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000184159,"about_ca_system_score_gemma":0.0001351041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009224316,"about_ca_topic_score_gemma":0.00008363918,"domain_scores_codex":[0.9990786,0.00002804976,0.0002947808,0.0002108643,0.0001705022,0.0002171436],"domain_scores_gemma":[0.9987783,0.00005712826,0.0001077746,0.0006113199,0.0001660061,0.0002794747],"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.000008953817,0.0004807399,0.0001432527,0.0005309735,0.0000229271,0.0001002775,0.002772923,6.832319e-7,0.01107807,0.9146758,0.008401388,0.06178402],"study_design_scores_gemma":[0.0002300296,0.0005853881,0.00337846,0.0006773578,0.00002641137,0.00004981987,0.0001865406,0.006130591,0.09752761,0.8844745,0.006167795,0.0005655527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1368483,0.000182676,0.5735533,0.0009852956,0.00007268128,0.000324241,0.00001429397,0.0003284853,0.2876908],"genre_scores_gemma":[0.7130695,0.000001130439,0.2865749,0.0002359889,0.000004300865,0.000003948172,4.743951e-7,0.000008214314,0.0001015518],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5762213,"threshold_uncertainty_score":0.4542829,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04190924831135096,"score_gpt":0.2518423085294738,"score_spread":0.2099330602181229,"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."}}