{"id":"W2007323998","doi":"10.1016/j.jpaa.2006.03.008","title":"Truncated resolution model structures","year":2006,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Resolution (logic); Pure mathematics; Artificial intelligence; Computer science","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.0007602789,0.000928193,0.001294051,0.002212432,0.002487153,0.004764039,0.001354158,0.001976178,0.02539601],"category_scores_gemma":[0.002401476,0.0005790429,0.0008809642,0.00123579,0.003142987,0.01128003,0.003774524,0.005059686,0.004034091],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001458022,"about_ca_system_score_gemma":0.0006674706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006787993,"about_ca_topic_score_gemma":0.0007238573,"domain_scores_codex":[0.9992815,0.0001325868,0.00003656647,0.0001553912,0.0002418456,0.0001522028],"domain_scores_gemma":[0.9989648,0.0001936593,0.0001117625,0.0002685782,0.0002169285,0.0002441834],"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.00001026815,0.00001089757,0.00003230192,0.00001023898,0.000003234287,0.00003399982,0.00007290806,0.0001105954,0.0002841164,0.9971969,0.001086098,0.001148451],"study_design_scores_gemma":[0.000007225178,0.000006775333,0.0000603294,0.00000680686,0.000004737935,0.0001162139,0.00007732631,0.001132189,0.0003394611,0.9945386,0.003703368,0.000006960682],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2228477,0.00190691,0.1693774,0.007583767,0.001877509,0.0001187365,0.0008484936,0.001266777,0.5941727],"genre_scores_gemma":[0.8380736,0.0008884969,0.01699084,0.001099008,0.0008234191,0.00007638419,0.0007566652,0.0004334907,0.1408581],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02539601,"threshold_uncertainty_score":0.08495814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01804818839989279,"score_gpt":0.2657443088159432,"score_spread":0.2476961204160504,"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."}}