{"id":"W1585415359","doi":"10.1023/a:1021966832558","title":"A Compendium of Continuous Lattices in MIZAR","year":2002,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Compendium; Mathematical proof; Programming language; Computer science; Correctness; Simple (philosophy); Proof assistant; Calculus (dental); Mathematics; Linguistics; Philosophy; Epistemology","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.006177136,0.001185896,0.001635625,0.003060834,0.001819697,0.007282186,0.004219651,0.001527709,0.01781217],"category_scores_gemma":[0.01149307,0.001962051,0.001714925,0.005596951,0.005383983,0.01220356,0.00352143,0.00675331,0.01093648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002013397,"about_ca_system_score_gemma":0.002308282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001248109,"about_ca_topic_score_gemma":0.002517286,"domain_scores_codex":[0.9954063,0.001252547,0.0007272982,0.0006805633,0.001725134,0.0002081995],"domain_scores_gemma":[0.992855,0.003457969,0.0002086472,0.001690596,0.001511374,0.000276367],"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.00005995283,0.00004275134,0.0001338275,0.0007030226,0.00003227554,0.0001091949,0.0004206308,0.003540808,0.0009669923,0.6695907,0.07021901,0.2541809],"study_design_scores_gemma":[0.00001983584,0.00004445486,0.0001468463,0.0001941795,0.00003379594,0.0002894808,0.00007213465,0.008307036,0.001148524,0.3748091,0.6148694,0.00006532466],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001899504,0.02432115,0.9155048,0.00514775,0.00506813,0.0001245386,0.001007957,0.002997286,0.04392894],"genre_scores_gemma":[0.03468683,0.02157741,0.8977556,0.002344901,0.008161903,0.0002601872,0.001892966,0.002928782,0.03039142],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01781217,"threshold_uncertainty_score":0.0595876,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01328968098320752,"score_gpt":0.2462505761073052,"score_spread":0.2329608951240977,"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."}}