{"id":"W1559028082","doi":"10.26686/ajl.v12i5.3891","title":"First degree formulas in quantified S5","year":2015,"lang":"en","type":"article","venue":"The Australasian Journal of Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Degree (music); Context (archaeology); Mathematics; Modal logic; Modal; Algebra over a field; Algorithm; Calculus (dental); Pure mathematics; Physics; Chemistry; Geography; Medicine","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001659233,0.0001285948,0.0002503442,0.0001292878,0.00006912874,0.0001602342,0.001393055,0.00007161569,0.000008648559],"category_scores_gemma":[0.00009754863,0.00007137864,0.0001108634,0.0003640942,0.00006723613,0.0004092625,0.0001018725,0.0003075738,0.0000831783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006540531,"about_ca_system_score_gemma":0.0001142274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003681237,"about_ca_topic_score_gemma":0.00009132055,"domain_scores_codex":[0.9985754,0.0001381183,0.0004807652,0.0001347937,0.0003515414,0.0003193961],"domain_scores_gemma":[0.9988871,0.00007634964,0.0003676834,0.0003733192,0.0001341881,0.0001613692],"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.000139175,0.0004281874,0.03230931,0.00006708794,0.0001187294,0.001699763,0.01393525,0.002373807,0.0001581211,0.8963097,0.01145486,0.04100598],"study_design_scores_gemma":[0.005403124,0.003356684,0.05711808,0.0001060986,0.00006187138,0.006804964,0.003503979,0.006115839,0.0009914123,0.8622296,0.05347507,0.0008332136],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.225506,0.001887458,0.7077808,0.02460267,0.005576737,0.0008370534,8.049456e-7,0.0001637738,0.03364476],"genre_scores_gemma":[0.99646,0.00001005142,0.002862329,0.00008922843,0.0001863394,0.000001829572,1.525515e-7,0.000005606252,0.0003844297],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7709541,"threshold_uncertainty_score":0.2910737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1232084964079367,"score_gpt":0.2971933102502508,"score_spread":0.1739848138423142,"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."}}