{"id":"W182869891","doi":"","title":"Sequent Calculus Viewed Modulo","year":2000,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Cut-elimination theorem; Sequent calculus; Sequent; Natural deduction; Modulo; Calculus (dental); Mathematics; Proof calculus; Algebra over a field; Discrete mathematics; Pure mathematics; Mathematical proof; 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":[],"consensus_categories":[],"category_scores_codex":[0.001243832,0.0005327153,0.0006089059,0.001005215,0.002208492,0.003959217,0.0009234247,0.001185565,0.005321905],"category_scores_gemma":[0.001536192,0.0003522499,0.0007094591,0.0009951603,0.004894079,0.00658095,0.001579558,0.002726923,0.00185859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001693086,"about_ca_system_score_gemma":0.00125786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002400774,"about_ca_topic_score_gemma":0.001206313,"domain_scores_codex":[0.9990687,0.0001975774,0.00004002989,0.0002028122,0.0003856561,0.000105286],"domain_scores_gemma":[0.9995611,0.0001425907,0.00003718353,0.00009941487,0.0001047544,0.00005497866],"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.000004960852,0.000002630882,0.00001687392,0.00001145763,0.000001909014,0.00003801312,0.0001361736,0.0001264096,0.0001954354,0.9969234,0.0008612907,0.00168154],"study_design_scores_gemma":[0.000009607087,0.00000719749,0.00005216117,0.00001056109,0.000006177441,0.00006976342,0.00003888182,0.0007623882,0.0004122937,0.968575,0.03005151,0.000004537088],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02643436,0.009210162,0.4306906,0.01098818,0.001797794,0.0001027692,0.0005924515,0.001837271,0.5183464],"genre_scores_gemma":[0.7553935,0.00572376,0.1530053,0.003418213,0.002762754,0.0001919492,0.0006466268,0.0004695332,0.0783883],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005321905,"threshold_uncertainty_score":0.01780349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02331493686788732,"score_gpt":0.2475692723454903,"score_spread":0.224254335477603,"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."}}