{"id":"W2136212246","doi":"10.1007/s00012-004-1902-0","title":"Automated discovery of single axioms for ortholattices","year":2005,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematical proof; Axiom; Mathematics; Algebra over a field; Discrete mathematics; Theoretical computer science; Computer science; Pure mathematics","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.002828103,0.0009433177,0.001662887,0.003330627,0.002552347,0.004701281,0.003426651,0.001717152,0.008833667],"category_scores_gemma":[0.01756142,0.001565436,0.003694585,0.00204569,0.002442045,0.01262779,0.005933302,0.004026836,0.002660251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001603854,"about_ca_system_score_gemma":0.003325956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002591164,"about_ca_topic_score_gemma":0.008372904,"domain_scores_codex":[0.9952518,0.0007522501,0.0005120749,0.001457303,0.00155792,0.0004686412],"domain_scores_gemma":[0.9838411,0.008904009,0.0007650756,0.003646918,0.002413495,0.0004294389],"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.00036502,0.0003744337,0.008910662,0.001166303,0.0003189608,0.001219138,0.001539668,0.009536612,0.0184929,0.619989,0.01952993,0.3185575],"study_design_scores_gemma":[0.00007473326,0.00005822375,0.001481567,0.0001774163,0.0002466112,0.0007252541,0.0008404914,0.1226884,0.03852868,0.807856,0.02722546,0.00009715677],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07325939,0.0005202938,0.9023525,0.001585276,0.0002568818,0.0003381436,0.0022674,0.009054535,0.01036557],"genre_scores_gemma":[0.3903049,0.0003905459,0.5979087,0.0003675281,0.0001382699,0.0001546348,0.00447654,0.001193898,0.005065049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008833667,"threshold_uncertainty_score":0.02955157,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0121958295514266,"score_gpt":0.2549839530227904,"score_spread":0.2427881234713638,"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."}}