{"id":"W2577435553","doi":"10.29007/2ksh","title":"Proof Support for Common Logic","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Deutsche Forschungsgemeinschaft; European Commission","keywords":"Computer science; Extension (predicate logic); Bunched logic; Higher-order logic; Description logic; Set (abstract data type); Programming language; Philosophy of logic; Theoretical computer science; Multimodal logic; Autoepistemic logic","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.005952349,0.0007582197,0.0009247076,0.002292993,0.001432969,0.004024139,0.003153888,0.001028343,0.009721697],"category_scores_gemma":[0.01457839,0.0009308042,0.002325839,0.001492463,0.003541265,0.01192393,0.007979244,0.003125725,0.001578415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001310176,"about_ca_system_score_gemma":0.002078599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009694262,"about_ca_topic_score_gemma":0.001039213,"domain_scores_codex":[0.9936452,0.001521024,0.0007395514,0.001127708,0.002204963,0.0007616034],"domain_scores_gemma":[0.9843163,0.006945043,0.0007551045,0.005341569,0.002152414,0.0004897134],"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.0001013983,0.00004872561,0.0007195954,0.0002190363,0.00005513126,0.0004103178,0.0006098178,0.002111776,0.005835338,0.9442852,0.00228449,0.04331918],"study_design_scores_gemma":[0.00008199739,0.00009756134,0.0004186195,0.0001473273,0.000126048,0.0006790242,0.0002644201,0.02970983,0.02242628,0.8856831,0.06031254,0.00005315955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03287617,0.0005575981,0.9391212,0.001218988,0.0002365171,0.0001487226,0.0006010405,0.004128617,0.02111115],"genre_scores_gemma":[0.6242487,0.0006165199,0.3640074,0.0009744787,0.000325359,0.000188145,0.001244325,0.001006734,0.007388405],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009721697,"threshold_uncertainty_score":0.03252232,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04035383119222104,"score_gpt":0.3012005958831883,"score_spread":0.2608467646909673,"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."}}