{"id":"W4413972839","doi":"10.70930/tac/qiwseicr","title":"An Equational Metalogic for Monadic Equational Systems","year":2013,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Equational logic; Computer science; Programming language; Mathematics; Rewriting","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002997303,0.0006263345,0.0007861715,0.001714799,0.002169101,0.004896181,0.001595895,0.001576099,0.007055843],"category_scores_gemma":[0.003706347,0.000745345,0.002108187,0.001397397,0.006699305,0.01195897,0.005553669,0.006667292,0.00131533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00309743,"about_ca_system_score_gemma":0.001855822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001335833,"about_ca_topic_score_gemma":0.001709396,"domain_scores_codex":[0.9969682,0.0007017675,0.0003154582,0.0007215905,0.0009396715,0.000353291],"domain_scores_gemma":[0.9976283,0.0008570301,0.0001722314,0.0005275847,0.0006317187,0.0001832198],"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.00000456473,0.000006694397,0.00007288412,0.0000324207,0.000003834317,0.00003399656,0.0001896581,0.0001763087,0.0003884498,0.9964228,0.0004348187,0.002233581],"study_design_scores_gemma":[0.00001231512,0.00002497143,0.0001580841,0.00004566551,0.00002424809,0.0002376197,0.0001542339,0.003672371,0.00126312,0.9574172,0.03696655,0.00002353642],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01342255,0.001458052,0.9261451,0.003918859,0.0008096402,0.0001340524,0.0002861564,0.0005369079,0.05328857],"genre_scores_gemma":[0.5354705,0.00174223,0.4307813,0.002735038,0.001238352,0.0003279503,0.0004266287,0.0005092791,0.02676862],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007055843,"threshold_uncertainty_score":0.02360415,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02260760888868378,"score_gpt":0.2623857375797741,"score_spread":0.2397781286910903,"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."}}