{"id":"W1531333150","doi":"10.1007/3-540-36494-3_42","title":"The Complexity of Resolution with Generalized Symmetry Rules","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Homomorphism; Homogeneous space; Injective function; Resolution (logic); Symmetry (geometry); Mathematical proof; Pure mathematics; Mathematics; Discrete mathematics; Computer science; Artificial intelligence; Geometry","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.005786786,0.0009892201,0.002811421,0.002300903,0.003370309,0.01158125,0.00525734,0.003779695,0.02060647],"category_scores_gemma":[0.03671834,0.001730805,0.003652414,0.005320183,0.006917392,0.04015521,0.006643164,0.00822093,0.002084792],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003598636,"about_ca_system_score_gemma":0.002606655,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003521867,"about_ca_topic_score_gemma":0.002215348,"domain_scores_codex":[0.9903483,0.003261191,0.0006204818,0.001179583,0.003624744,0.0009656273],"domain_scores_gemma":[0.9561433,0.03560919,0.001467366,0.004820881,0.001265442,0.0006939108],"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.0001672675,0.00007432579,0.000587853,0.00020545,0.00006873724,0.0001386626,0.0003762572,0.01319133,0.0003561472,0.9567974,0.006140985,0.02189551],"study_design_scores_gemma":[0.0000290986,0.000004658236,0.00008174348,0.00001204506,0.00001946259,0.00005096682,0.0000436196,0.01532524,0.0001847818,0.9829794,0.001258067,0.00001099421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2623926,0.008470741,0.4892465,0.02846839,0.0007273434,0.0003467892,0.002521965,0.001463674,0.206362],"genre_scores_gemma":[0.8769639,0.004015843,0.09622848,0.001040882,0.001260837,0.0003702458,0.001923683,0.0005033182,0.01769269],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02060647,"threshold_uncertainty_score":0.06893557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03060092413681015,"score_gpt":0.244010406006072,"score_spread":0.2134094818692618,"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."}}