{"id":"W1678981692","doi":"10.1017/cbo9780511809835.019","title":"Confluence proofs","year":2012,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Epistemology, Ethics, and Metaphysics","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Confluence; Mathematical proof; Computer science; Mathematics; Programming language; Geometry","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.005254067,0.002064655,0.00185202,0.004219754,0.00399984,0.008963007,0.003228838,0.002167328,0.300121],"category_scores_gemma":[0.0292283,0.001092358,0.003337017,0.004574522,0.002959581,0.01477486,0.007594397,0.007122271,0.1509537],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004411079,"about_ca_system_score_gemma":0.003477697,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001949436,"about_ca_topic_score_gemma":0.002183262,"domain_scores_codex":[0.9923033,0.001762118,0.0005718571,0.001506893,0.003101747,0.0007542042],"domain_scores_gemma":[0.9825667,0.006480698,0.0004359169,0.003951791,0.005859361,0.0007055038],"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.00006744941,0.00005205951,0.0002433465,0.0005373099,0.00004425638,0.0001936863,0.0002389117,0.0004696408,0.0006254545,0.6743315,0.2694373,0.05375913],"study_design_scores_gemma":[0.00003958053,0.00001743151,0.0001930642,0.0001869436,0.00004266343,0.0002981375,0.0001029693,0.001135259,0.001386661,0.6767614,0.3198032,0.00003273677],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002122385,0.004373223,0.2036678,0.01367682,0.005081864,0.0003545695,0.008432245,0.006618389,0.7556728],"genre_scores_gemma":[0.1805441,0.0121225,0.1821571,0.01422499,0.009461368,0.00169056,0.03036406,0.02155017,0.5478852],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.300121,"threshold_uncertainty_score":0.9982925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07376159514462419,"score_gpt":0.2181981839112513,"score_spread":0.1444365887666271,"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."}}