{"id":"W7029361193","doi":"","title":"The Logic of UTP2","year":2012,"lang":"en","type":"other","venue":"Arrow@dit (Dublin Institute of Technology)","topic":"Historical Studies on Reproduction, Gender, Health, and Societal Changes","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trinity College","funders":"Science Foundation Ireland; Canada Millennium Scholarship Foundation","keywords":"Soundness; Automated theorem proving; Gas meter prover; Proof theory; Focus (optics); Hoare logic; Calculus (dental); Logic programming; Substitution (logic)","routes":{"ca_aff":true,"ca_fund":true,"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.002301694,0.0005916957,0.0004325014,0.00113012,0.001755508,0.0036104,0.001397538,0.0008154064,0.01660139],"category_scores_gemma":[0.004323994,0.0006245848,0.001174954,0.001089241,0.003442307,0.004237422,0.003030858,0.002345532,0.003003305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00152366,"about_ca_system_score_gemma":0.001709245,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003801781,"about_ca_topic_score_gemma":0.002378611,"domain_scores_codex":[0.9975607,0.0009596416,0.0001398743,0.0004602503,0.0006242273,0.0002552861],"domain_scores_gemma":[0.9984188,0.0009672752,0.00009668168,0.0002067371,0.0002461443,0.00006435004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002433964,0.000009072119,0.00009980402,0.00009790052,0.00000683015,0.000111192,0.0003734486,0.0005208023,0.0005254367,0.9634083,0.01014956,0.02467325],"study_design_scores_gemma":[0.00003242021,0.00004041264,0.0001753243,0.0001238091,0.00002605024,0.0004459983,0.0002241188,0.0105224,0.00696029,0.6922132,0.2892039,0.00003202842],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.007156956,0.0008969074,0.8413967,0.002424373,0.0006533047,0.0001822703,0.001305394,0.004784865,0.1411993],"genre_scores_gemma":[0.4281737,0.001642292,0.4690937,0.003348253,0.0006361562,0.0006838664,0.002070266,0.001946098,0.09240572],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01660139,"threshold_uncertainty_score":0.05553716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05880608957389512,"score_gpt":0.2643840768998347,"score_spread":0.2055779873259395,"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."}}