{"id":"W2050117528","doi":"10.1007/s000120050178","title":"A note on the equational theory of modular ortholattices","year":2000,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brandon University","funders":"","keywords":"Mathematics; Modular design; Equational logic; Algebra over a field; Pure mathematics; Rewriting; Programming language; 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.0002375012,0.0001009872,0.0001007607,0.00005791351,0.0001273714,0.00002817776,0.000750168,0.00003848299,0.0007045888],"category_scores_gemma":[0.00004131691,0.00006853657,0.00007161201,0.0003284949,0.000112193,0.000403367,0.00006214694,0.0001041631,0.0001180723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001879444,"about_ca_system_score_gemma":0.00004067842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009283994,"about_ca_topic_score_gemma":0.000002948394,"domain_scores_codex":[0.9991112,0.0001329941,0.0001226037,0.000219758,0.0002535013,0.0001599905],"domain_scores_gemma":[0.998863,0.0005049426,0.00006772888,0.0004808038,0.00004412525,0.00003941424],"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.00001389451,0.00002790728,0.00002148319,0.000001623535,0.00001329866,0.000007774046,0.0007511608,0.0009864697,0.0001601003,0.9608536,0.00005355217,0.03710912],"study_design_scores_gemma":[0.0004142716,0.0001826432,0.00326744,0.0000287565,0.00001917722,0.000007298368,0.0001714162,0.01731773,0.002868368,0.9623528,0.01312234,0.0002477838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5234731,0.0001413209,0.4277502,0.003689986,0.0001352836,0.0002154762,0.00001045327,0.0001604585,0.04442373],"genre_scores_gemma":[0.9944586,0.00002352145,0.003476512,0.0009852215,0.00002904341,0.000002183116,0.000002694335,0.000005614017,0.001016634],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4709855,"threshold_uncertainty_score":0.7714753,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01648590486670444,"score_gpt":0.2247258632793729,"score_spread":0.2082399584126684,"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."}}