{"id":"W2015894831","doi":"10.1016/j.topol.2012.07.013","title":"A proof of the Edwards–Walsh resolution theorem without Edwards–Walsh CW-complexes","year":2012,"lang":"en","type":"preprint","venue":"Topology and its Applications","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Nipissing University","funders":"","keywords":"Resolution (logic); Generalization; Extension (predicate logic); Mathematics; Walsh function; Pure mathematics; Discrete mathematics; Mathematical analysis; Computer science; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008904284,0.0004286848,0.0008515375,0.0001335199,0.0004900659,0.00001530463,0.0009098275,0.001156327,0.0004451773],"category_scores_gemma":[0.0003513161,0.000324448,0.0002258599,0.0001846216,0.001595133,0.00005898651,0.001130472,0.001109175,0.00003175705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005958478,"about_ca_system_score_gemma":0.0002422991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006075061,"about_ca_topic_score_gemma":0.0001169362,"domain_scores_codex":[0.9971865,0.0006015425,0.0007999759,0.0006496023,0.0002074667,0.0005549481],"domain_scores_gemma":[0.9968297,0.0006599094,0.000784698,0.001386936,0.0002181899,0.0001204995],"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.00003780684,0.0003093106,0.0007860513,0.0003080957,0.0002018571,5.226569e-7,0.00107341,0.000004770464,0.0005929659,0.9936759,0.001120528,0.001888817],"study_design_scores_gemma":[0.0003439821,0.00005535699,0.001872922,0.00007363323,0.000442003,0.0001267363,0.0002040371,0.00009448121,0.007325519,0.978395,0.0107122,0.0003541007],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7577405,0.0155312,0.07358367,0.03847743,0.003264735,0.01457672,0.001163058,0.0008073948,0.09485529],"genre_scores_gemma":[0.9924879,0.0002022769,0.002313123,0.0003826174,0.0004981552,0.001650232,0.0000494306,0.00004888703,0.002367344],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2347474,"threshold_uncertainty_score":0.9999208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03861358368205199,"score_gpt":0.3275521179534018,"score_spread":0.2889385342713499,"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."}}