{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001607137,0.001576146,0.001154753,0.002858112,0.001483845,0.002324953,0.001621083,0.00151697,0.01899837],"category_scores_gemma":[0.005351344,0.0007065638,0.001321626,0.001370097,0.002800659,0.007197324,0.005530888,0.005170789,0.002270092],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008100372,"about_ca_system_score_gemma":0.0005919755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007524825,"about_ca_topic_score_gemma":0.0005850827,"domain_scores_codex":[0.9993134,0.0001427091,0.00004204768,0.0001580016,0.0002525837,0.00009132075],"domain_scores_gemma":[0.9981901,0.0009225806,0.0001096017,0.0002338709,0.0003296866,0.0002140611],"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.00002181724,0.00002646122,0.0001539771,0.0001046364,0.00001852556,0.0002893808,0.000185471,0.0005695383,0.001665453,0.983925,0.003385924,0.009653796],"study_design_scores_gemma":[0.00002429714,0.00002597025,0.0004495835,0.00004128867,0.00002569586,0.000478541,0.0001174064,0.004405499,0.002062084,0.9689937,0.0233475,0.00002842173],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1011407,0.00611588,0.5646117,0.0143928,0.003973528,0.0001488584,0.0008722757,0.0007963309,0.3079478],"genre_scores_gemma":[0.7692822,0.005240608,0.1160445,0.003063663,0.002339611,0.000200898,0.0006003197,0.0005756927,0.1026525],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01899837,"threshold_uncertainty_score":0.06355584,"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."}}